


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 
URL: 
http://www.mat.uc.pt/~kahle/dl06/

Start Date: 
20060119 
End Date: 
20060121 
Research Groups: 
Algebra, Logic and Topology

See more: 
<Main>










