| |
 |
| |
|
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>
|
|
