This is a call for the Algebraic Proof Theory Workshop that will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013.
The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.
Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff
Matthias Baaz (Vienna University of Technology),
Alessio Guglielmi (University of Bath)
Kazushige Terui (University of Kyoto).
Abstracts (1 page) should be submitted via EasyChair, using the following link:
or sent to Agata Ciabattoni (email@example.com) and Rosalie Iemhoff
(R.Iemhoff@uu.nl) no later than May 30th, 2013.