LIQ7 - com Pierre Cartier e Saul Kripke - Paris- Sorbonne, 13 e 14 de junho

[jean-yves beziau]

Chaque printemps on va à Paris pour discuter de logique ...

Every Spring people meet in Paris to discuss about logic ...

Logic in Question - 7 -  La Logique en Question  

13 et 14 juin, Maison de la Recherche, Université Paris-Sorbonne

http://www.logic-in-question.org

Cette année il y aura en particulier les conférences de:

This year there will be in particular talks  by: 

Pierre Cartier: "Ceci n'est pas une démonstration, QED"

Saul Kripke: "A Model Theoretic Approach to Gödel's Theorem"

L'entrée est libre mais si vous voulez assister, envoyez un courriel à:

Entrance if free but if you want to attend send an e-mail to:

li...@logic-in-question.org

Pour des raisons de sécurité, une pièce d'identité  sera exigée à l'entrée.

For safety reasons the house of research will ask an identity document at the entrance.