Centre for Mathematics, University of Coimbra - Algebra, Logic and Topology (Seminars)

Speaker	Title	Date
Isabel Oitavem (Universidade Nova de Lisboa)	Esquemas de recursão e classes de complexidade computacional	2005-05-03
Isar Stubbe (CMUC)	Categorical structures enriched in a quantaloid: results, projects, ideas and dreams	2005-09-09
Maria Manuel Clementino (CMUC)	Torsion theories in normal categories	2005-09-20
Paulo Saraiva (CMUC/Fac. Economia, UC)	Sobre as álgebras de Malcev generalizadas	2005-10-18
Lurdes Sousa (CMUC/IPViseu)	Quasi-equational Logic	2005-10-18
Guillaume BrÌmmer (Univ. Cape Town)	Completing functorial quasi-uniformities on spaces	2005-11-30
Teresa Martins (CMUC, U. Coimbra)	Congruências em Álgebras Dinâmicas	2006-02-07
Isar Stubbe (CMUC, U. Coimbra)	Abstract projective geometry and the origin of the logico-algebraic approach to quantum theory	2006-03-07
Harold Simmons (Manchester Univ., UK)	Boolean reflections for frames	2006-05-16
Oliver Kullmann (Swansea)	Identification of inconsistencies in low-level translations of user queries	2006-05-18

Number of registers: 388<< previous 5,6,7,8,9,10,11,12 next >>