Title | Start Date | End Date |
---|---|---|
Categorical Methods in Algebra, Topology and Computer Science | 2007-10-26 | 2007-10-28 |
Category Theory 2007 | 2007-06-17 | 2007-06-23 |
Portuguese Category Seminar | 2006-12-11 | |
Simpósio de Matemática: Centenário do nascimento de Kurt Gödel | 2006-04-28 | |
Days in Logic '06 | 2006-01-19 | 2006-01-21 |
Intensive Course on Functorial Quasi-uniformities on Spaces | 2005-12-02 | 2005-12-07 |
Category Theory Seminar | 2005-11-19 | |
81st Peripatetic Seminar on Sheaves and Logic | 2005-04-09 | 2005-04-10 |
Workshop on Categorical Methods in Algebra, Topology and Logic | 2005-04-08 | 2005-04-15 |
Category Theory Seminar | 2004-06-18 | 2004-06-22 |