Days in Logic '06
19-21 January 2006
Coimbra
Aim and Scope
This meeting aims at bringing together mathematicians and computer
scientists from Portugal (but also elsewhere) with interests in
Logic. It is specially directed to graduate students. It consists of
four introductory courses and a small section for contributed talks.
Invited Speakers
Contributed Talks
- Daniel Graça, Algarve
On the evolution of systems defined by
computable Initial Value Problems
- David Pereira, Porto
Towards a Framework for Reasoning About
Emotional BDI Agents
- Gilda Ferreira, Lisbon
An Embedding of the Predicate Calculus
- João Rasga, Lisbon
Some Complexity Results on Cut Elimination in
First Order Based Logics
- José Espírito Santo, Braga
Issues in a calculus of multiary
sequent terms
- Luís Antunes, Porto
Time-Bounded Universal Distributions
- Mario Florido, Porto
Type-Based Linearization of the Lambda Calculus
- Pedro Quaresma, Coimbra
Automated Production of Readable Proofs
for Theorems in Euclidean Geometry - poverGCLC & GeoThms
- Sabine Broda, Porto
Decidability of combinatory completeness for
finite sets of porper combinators
- Tarmo Uustalu, Tallinn
Proof Search and Countermodel
Construction in Bi-intuitionistic Propositional Logic
PDF file
The general time schema follows:
Thursday, 19th Jan: 9h - 18:30
Friday, 20th Jan: 9h - 18:30
Saturday, 21st Jan: 9:30 - 12:45
A conference dinner is planned for Friday evening.
Location
The conference will take place in room 2.4 (second floor) of
the Department of Mathematics,
University of Coimbra.
Travel
information
Organizers
Sponsored by
