Days in Logic '06
 
  Logo
 
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
URL:  http://www.mat.uc.pt/~kahle/dl06/
Start Date:   2006-01-19
End Date:   2006-01-21
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support