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
Invited Speakers:
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:
https://www.easychair.org/conferences/?conf=tbillc2013
or sent to Agata Ciabattoni (agata@logic.at) and Rosalie Iemhoff
(R.Iemhoff@uu.nl) no later than May 30th, 2013.