[FOM] Logic in Question 7 - with Pierre Cartier and Saul Kripke - Paris- Sorbonne, June 13-14

[jean-yves beziau]

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 at logic-in-question.org
For safety reasons the house of research will ask identity documents at the
entrance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170605/34236f78/attachment.html>