Days in Logic '2008

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):

Hotel AS Lisboa (10 minutes walking)
Av. Almirante Reis, 188, 1000-055 Lisboa - Portugal
email: info@hotel-aslisboa.com, tel: +351 218 429 360, fax: +351 218 429 374
- Single Room - 50,05 euros B&B
- Double Room - 55,52 euros B&B
for reservation in Hotel AS Lisboa fill the booking request form and send it by mail or fax to the hotel before the 7th of January, 2008
Hotel Olissippo Marquês de Sá (15 minutes walking)
Avenida Miguel Bombarda, 130, 1050-167 Lisboa - Portugal
email: grupos1@olissippohotels.com, tel: +351 213 182 790, fax: +351 213 182 799
- Single Room - 56 euros B&B
- Double Room - 64 euros B&B
for reservation in Hotel Olissippo Marquês de Sá fill the booking request form and send it by mail or fax to the hotel before the 5th of January, 2008

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:

detailed map around Instituto Superior Técnico
central Lisbon map
underground network map with a local detailed map around each station
bus network map (pdf)

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

to go to the Hotel Marquês de Sá you can use a taxi; or bus 44 - direction Cais Sodré or Marquês de Pombal - get off at Avenida da República, turn right at Avenida Miguel Bombarda, and walk approximately 10 minutes to the hotel.
to go to AS Lisboa Hotel you can use a taxi; or bus 708 - direction Martim Moniz or Praça do Chile - or the subway line - direction Alameda - and get off at Alameda Afonso Henriques.

by airplane:

to go to the Hotel Marquês de Sá you can use a taxi; or the aerobus, bus 44 - direction Cais Sodré or Marquês de Pombal - or bus 45 - direction Cais Sodré - get off at Avenida da República, turn right at Avenida Miguel Bombarda, and walk approximately 10 minutes to the hotel.
to go to the Hotel AS Lisboa you can use a taxi; or the bus 22 - direction Marquês de Pombal - get off at Avenida Manuel da Maia, and walk down Alameda Afonso Henriques to the hotel.

Sightseeing:

turismo de Lisboa - a guide of Lisbon
touristic Tramway Hills Tour - a trip through the historical part of the city made in traditional tramways

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