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.

18-20 April 2013, Algebra and Coalgebra meet Proof Theory (ALCOP 2013), Utrecht University

Date: 18-20 April 2013
Location: Utrecht University

The fourth issue of the workshop Algebra and Coalgebra meet Proof Theory (ALCOP 2013), will take place in Utrecht, The Netherlands on April 18 - 20, 2013.

ALCOP brings together experts in algebraic logic, coalgebraic logic, and proof theory with the goal of sharing new results and developing mutually beneficial relationships between these fields.

More details can be found on the workshop webpage: http://www.phil.uu.nl/~iemhoff/Conferenties/ALCOP/

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