\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

URL:/NewsandEvents/Archives/2013/newsitem/4952/23-
--27-September-2013-Algebraic-Proof-Theory-W0rksho
p-Gudauri-Georgia
END:VEVENT
END:VCALENDAR
Anyone interested in g iving a talk at the workshop can send a 1 page\n abstract to Agata Ciabattoni (agata at logic.at) and Rosalie Iemhoff\n (R.I emhoff at uu.nl) no la ter than May 30th, 2013.

\n