\n

An Algebraic Proof Theory Workshop will\n take place at the Tenth Tbilisi Symposium on Language, Logic and\n Computation that is held in Ge orgia on 23 - 27 September 2013.\n The work shop centers around the connection between proof t heory\n and algebraic logic, a connection t hat is still not completely\n understood an d has received increasing attention over the last\ n years.

\nWorkshop organizer s: Agata Ciabattoni and Rosalie Iemhoff.\n Invited Speakers: Matthias Baaz (Vienna Universit y of Technology),\n Alessio Guglielmi (Univ ersity of Bath) and\n Kazushige Terui (Univ ersity of Kyoto).

\n \n \nFo r more information, see the Tbilisi Symposium webs ite at http://www.illc.uva.nl/ Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/495
2/23---27-September-2013-Algebraic-Proof-Theory-W0
rkshop-Gudauri-Georgia
END:VEVENT
END:VCALENDAR
Anyone intereste d in giving a talk at the workshop can send a 1 pa ge\n abstract to Agata Ciabattoni (agata at logic.at ) and Rosalie Iemhoff\n (R.Iemhoff at uu.nl) no later than May 30th, 2013.

\n