25-27 Sep 2017
Tbilisi, Georgia
Call for Participation Thirteenth International Tbilisi Summer School in Logic and Language *September 25 - 27, 2017 * Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia https://www.logic.at/tbilisi17/ Registration is now open! The Kurt Gödel Society (https://kgs.logic.at/) will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia from September 25 to September 29 2017. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students. The school will feature the following lectures: * _Federico Aschie_ri <http://dmg.tuwien.ac.at/aschieri/> (Vienna): Curry-Howard correspondence * Matthias Baaz <http://dmg.tuwien.ac.at/baaz/> (Vienna): Gödel Logics: proof theory and semantics * Guram Bezhanishvili <http://sierra.nmsu.edu/gbezhani/> (New Mexico): A semantic hierarchy for Intuitionistic Logic * Uwe Egly (Vienna): Quantifier handling in QBF * Carles Noguera (Prague): Reasoning with graded predicates in Mathematical Fuzzy Logic *Michel Parigot (Paris): Deep Inference For more information and registration, see https://www.logic.at/tbilisi17/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam