![]() |
Algebra and Coalgebra meet Proof TheoryUtrecht University April 18-20, 2013 Organizers
Nick Bezhanishvili
(Utrecht University)
|
(From the Utrecht Archive) |
The aim of this workshop is to bring together experts in algebra, coalgebra,
Everybody is welcome to attend the workshop. Giving a talk and
attending
This is the fourth issue of this workshop. Previous meetings were
held in
and proof theory to share ideas and methods.
the conference dinner is by invitation only.
London,
Bern and
Prague.