23-27 Sep 2013
Tbilisi, Georgia
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) and Kazushige Terui (University of Kyoto). Anyone interested in giving a talk at the workshop can send a 1 page abstract to Agata Ciabattoni (agata@logic.at) and Rosalie Iemhoff (R.Iemhoff@uu.nl) no later than May 30th, 2013. The website of the Symposium can be found at http://www.illc.uva.nl/Tbilisi/Tbilisi2013/