13-14 Jul 2017
Paris, France
Workshop Logic in Question 7 - June 13 and 14, 2017 House of Research, University Paris-Sorbonne http://www.logic-in-question.org Every Spring people meet in Paris to discuss about logic ... This year there will be in particular talks by Pierre Cartier: "This is not a proof, QED" Saul Kripke: "A Model Theoretic Approach to Gödel's Theorem" Entrance if free but if you want to attend send an e-mail to: liq7@logic-in-question.org For safety reasons the house of research will ask identity documents at the entrance. -- [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