Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

27- 28 November 2010, 91st Peripatetic Seminar on Sheaves and Logic

Date: 27- 28 November 2010
Location: Doelenzaal, Universiteitsbibliotheek, Singel 425, Amsterdam

The Peripatetic Seminar on Sheaves and Logic (PSSL) is one of the oldest and longest lasting periodic seminars in mathematics. The scope of the PSSL is not limited to sheaves and logic; but more to category theory and its applications.

Category theory constitutes a research field of considerable interest, not only for its applications to computer science and physics, but also because of its rich mathematical theory which has unraveled deep connections between algebra, topology, logic and computer science.

For more information, see http://staff.science.uva.nl/~ciancia/PSSL91/

Please note that this newsitem has been archived, and may contain outdated information or links.