Path:  Home   >  Days in Logic '06
Days in Logic '06
Description: This meeting aims at bringing together mathematicians and computer scientists from Portugal (but also elsewhere) with interests in Logic. It is specially directed to graduate students. It consists of four introductory courses and a small section for contributed talks.
Speaker(s): Invited Speakers: * Fernando Ferreira, University of Lisbon: Proof Interpretations * Peter Koepke, University of Bonn: Computations with Ordinals, and Models of Set Theory * Maria Manuel Clementino, University of Coimbra: Category Theory * Stan Wainer, University of Leeds: Provable Recursion and Arithmetical Independence Results
Area(s): Logic, Algebra, Category Theory
Place:   Departamento de Matemática, Universidade de Coimbra
Start Date:   2006-01-19
End Date:   2006-01-21
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
© 2012 Centre for Mathematics, University of Coimbra, funded by

Science and Technology Foundation

Powered by: rdOnWeb v1.4 | technical support