Logic List Mailing Archive
Days in Logic 2006: Coimbra, Portugal, January 2006
--------------------------------------------------
Call for Contributed Talks:
Days in Logic - 2006
Coimbra, Portugal
19-21 January 2006
http://www.mat.uc.pt/~kahle/dl06/
Background
----------
This meeting aims at bringing together mathematicians and computer
scientists with interests in Logic. It is specially directed for
graduate students. It consists of four introductory courses and
contributed talks.
Courses
-------
=09Maria Manuel Clementino (U. Coimbra, Portugal)
=09- Category Theory
=09Fernando Ferreira, (U. Lisbon, Portugal)
=09- Proof Interpretations
=09Peter Koepke (U. Bonn, Germany)
=09- Computations with Ordinals, and Models of Set Theory
=09Stan Wainer (U. Leeds, United Kingdom)
=09- Provable Recursion and Arithmetical Independence Results
Contributed Talks
-----------------
Participants wishing to give a talk at the meeting are requested to
submit an abstract of 1 page (LaTeX or plain text, or ps or pdf) to
kahle@mat.uc.pt by 30 November 2005. The abstracts of the accepted
contributions will be available at the workshop.
Organization
------------
This event is organized by Reinhard Kahle (University of Coimbra and
CENTRIA), Isabel Oitavem (New University of Lisbon and CMAF), and
Gon?alo Gutierres (University of Coimbra and CMUC), and sponsored by:
Centro de Matem?tica da Universidade de Coimbra; Departamento de
Matem?tica da Universidade de Coimbra; CMAF-Centro de Matem?tica e
Aplica??es Fundamentais; POCTI/FCT; FEDER; Caixa Geral de Dep?sitos.
Registration
------------
There are no registration fees, but registration is requested before
the 5th of January, 2006: please send an email to kahle@mat.uc.pt with
your name and affiliation.
Further Information
-------------------
Further information may be requested by e-mail to kahle@mat.uc.pt,
or obtained directly from the event webpage available at
http://www.mat.uc.pt/~kahle/dl06/.