18-20 Apr 2013
Utrecht, The Netherlands
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/