16-18 January 2008
Lisbon, Portugal
Call for Contributed Talks:
Days in Logic - 2008
IST, Lisbon, Portugal
16-18 January 2008
http://www.math.ist.utl.pt/~dil2008/
Background
----------
This meeting aims at bringing together mathematicians and computer
scientists from Portugal (but also elsewhere) with interests in Logic. It
is specially directed for graduate students. It consists of four
introductory courses and contributed talks.
Courses
-------
Amilcar Sernadas (TU Lisbon, Portugal)
- Exogenous quantum logic
Dick de Jong, (U. Amsterdam, Netherlands)
- Modal and intuitionistic logic and the use of universal models
Mario Florido (U. Porto, Portugal)
- Linear calculi
Wolfram Pohlers (U. Munster, Germany)
- An introduction to ordinally informative proof theory
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
dil2008@math.ist.utl.pt by 31 October 2007. The abstracts of the accepted
contributions will be available at the workshop.
Organization
------------
This event is organized by Carlos Caleiro (Thecnical University of Lisbon
and SQIG-IT, IST), Isabel Oitavem (New University of Lisbon and CMAF),
and
Joao Rasga (Thecnical University of Lisbon, SQIG-IT and CLC, IST),
sponsored by: Center of Logic and Computation; CMAF-Centro de Matematica e
Aplicacoes Fundamentais; POCI and POCTI/FCT; EU FEDER; Security and
Quantum Information Group - Instituto de Telecomunicacoes.
Registration
------------
There are no registration fees, but registration is requested before the
31st of December, 2007: please send an email to dil2008@math.ist.utl.pt
with your name and affiliation.
Further Information
-------------------
Further information may be requested by e-mail to
dil2008@math.ist.utl.pt, or obtained directly from the event webpage
available at http://www.math.ist.utl.pt/~dil2008/.