Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 

 

 

 

 

2006

Days in Logic '06
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
January 19-21, 2006
Departamento de Matemática, Universidade de Coimbra

Portuguese Category Seminar
Francis Borceux (Univ. Catholique de Louvain), Carlos Caleiro (IST), Marino Gran (Univ. Littoral, Calais), Gonçalo Gutierres (Univ. Coimbra), Dirk Hofmann (Univ. Aveiro), Marco Mackaay, Diana Rodelo (Univ. Algarve), Ana Helena Roque (Univ. Aveiro), Amílcar Sernadas (IST), Christophe Van Olmen (Univ. Antwerp & CMUC).
December 11, 2006
Sala 2.5

Simpósio de Matemática: Centenário do nascimento de Kurt Gödel
Augusto Franco de Oliveira, Vida e Obra de Kurt Gödel - Uma cronologia incompleta
Reinhard Kahle, Os teoremas de incompletude
Amílcar Sernadas, Lógica de demonstrabilidade
Fernando Ferreira, Dialectica e teoria de conjuntos
April 28, 2006
Sala Pedro Nunes, 14:00-18:00

 

 

· recent/forthcoming events

past events
· 2010
· 2009
· 2008
· 2007
· 2006
· 2005
· 2004
· 2003
· 2001
· 1999

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia