On the unification of functional interpretations
Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).
Por Bruno Dinis (FCUL e CMAFcIO, Universidade de Lisboa).
Por Luís Trabucho (FCT-UNL).
Resumo: Nesta palestra analisar-se-á a vida e a obra de Leonardo da Vinci e tentar-se-á mostrar a razão pela qual é considerado o maior artista/cientista do Renascimento Italiano.
Por Pieter Roffelsen (SISSA).
Por Hugo Tavares (CMAFcIO e FCUL).
Por Ana Margarida Melo (Univ. de Roma e Univ. de Coimbra).
Por Boris Zilber, University of Oxford
I. Principles of geometric stability theory and classication of formal theories
1. dimensions and ranks
2. saturation and homogeneity
3. types: syntactic and Galois
4. beyond first-order languages
5. the landscape of mathematics and the classication grid
Por Susana Carreira (Universidade do Algarve & UIDEF, Instituto de Educação, Universidade de Lisboa).
Por Ugo Bruzzo (SISSA & Universidade Federal da Paraíba).
Por Vanessa Barros (University of Porto/Federal University of Bahia-Brazil).
Por Lucio Boccardo (Sapienza Università di Roma).