Program committee: » Matthias Baaz (Vienna - proof theory) » Michael Benedikt (Oxford - computer science) » Mário Edmundo (Lisbon - model theory - organizing committee) » Sakae Fuchino (Kobe - set theory) » Valentina Harizanov (Washington DC - computability) » Paolo Mancosu (Berkeley - philosophy) » Katrin Tent (Muenster - model theory) » Boban Velickovic (Paris - set theory - chair) Local organizing committee: » Sandra Alves (Univ. Porto and LIACC) » Imme van den Berg (Univ. Évora and CIMA) » Mário Edmundo (Univ. Aberta and CMAF - chair) » Fernando Ferreira (Univ. Lisboa and CMAF) » Daniel Graça (Univ. Algarve and SQIG Instituto de Telecomunicações) » Marcello Mamino (CMAF) » Manuel Martins (Univ. Aveiro and CIDMA) » Luıs Pinto (Univ. Minho and CMAT) » Pedro Quaresma (Univ. Coimbra and CISUC) » João Rasga (IST-UTL and SQIG Instituto de Telecomunicações)