Days in Logic '08


January 16 – 18, 2008
IST, Lisbon




Aims and Scope

This conference aims at bringing together mathematicians, computer scientists and other scientists from Portugal (but also elsewhere) with interest in Logic. It is specially directed to graduate students. The two previous editions were held in Coimbra (2006) and in Braga (2004).


Programme

The conference is composed of two invited keynote courses, and contributed talks. The invited courses, with the duration of three hours each, are organized in four sessions of forty five minutes. The contributed talks will have the duration of twenty minutes including discussion. The programme and timetable (after some last minute changes) are the following:
Invited keynote courses
Dick de Jongh, University of Amsterdam, Modal and intuitionistic logic and the use of universal models.
Wolfram Pohlers, Westfalische Wilhelms-University of Muenster, An introduction to ordinally informative proof theory.

Contributed talks

Sandra Alves, University of Porto, Minimality in a linear calculus with iteration.
Luís Antunes, University of Porto, Depth as randomness deficiency.
Sabine Broda, University of Porto, Combinatory vs axiomatic completeness.
Tiago Carvalho, Technical University of Lisbon, Spatial types for concurrency.
Jorge Coelho, University of Porto, Sequence disunification and one aplication to collaborative schema construction.
Patrícia Engrácia, University of Lisbon, A logical view of the Banach-Steinhaus and the open mapping theorems II.
Fernando Ferreira, University of Lisbon, A logical view of the Banach-Steinhaus and the open mapping theorems I.
Ricardo Gonçalves, Technical University of Lisbon, Algebraic study of Exogenous Probabilistic Propositional Logic.
Reinhard Kahle, University of Coimbra, Understanding functional self-application.
Alexandre Madeira, University of Aveiro, The observational stepwise refinement process.
Kerry Ojakian, Technical University of Lisbon, Computable analysis and analog computation.
David Pereira, University of Porto, Ebdi in Coq.
Luís Pinto, University of Braga, Strong normalization via CPS translations for intuitionistic proof systems.
João Rasga, Technical University of Lisbon, Generalized negative translations and interpolation.
André Souto, University of Porto, Quantum mastermind.
Andreia Teixeira, University of Porto, On a relationship between non-deterministic communication complexity and instance complexity.

Timetable

pdf


Registration

There are no registration fees, but registration is requested: please send an email to dil2008@math.ist.utl.pt with your name and affiliation.


Accomodation

Hotels with special rates for the conference (map): Reservations and payments should be made directly with the hotel. Confirm with the hotel the good reception of the reservation form. Reservations should be made as soon as possible (the block of rooms reserved by the hotels for the conference may become full).


Venue Information

The conference will be located in the Anfiteatro of Complexo Interdisciplinar in Instituto Superior Técnico. The Complexo Interdisciplinar is the building 3 in the campus map.

Useful maps:

If you arrive in Lisbon by train and leave at Oriente Station: by airplane: Sightseeing:

Organizers

Carlos Caleiro, SQIG-IT, IST, Technical University of Lisbon
Isabel Oitavem, CMAF and New University of Lisbon
João Rasga, SQIG-IT, IST, Technical University of Lisbon


Scientific Committee

Carlos Caleiro, SQIG-IT, IST, Technical University of Lisbon
Isabel Oitavem, CMAF and New University of Lisbon
João Rasga, SQIG-IT, IST, Technical University of Lisbon


Sponsors

Caixa Geral de Depósitos
Centro de Matemática e Aplicações Fundamentais
Departamento de Matemática do Instituto Superior Técnico
EU FEDER POCI and POCTI Programs
Fundação para a Ciência e Tecnologia
Reitoria da Universidade Técnica de Lisboa
Security and Quantum Information Group - Instituto de Telecomunicações