Bonjour, je me permets de faire suivre cette annonce. Pour information, je serai sûrement présent ladite journée. À bientôt, — Luc

Fédérer la Logique sur la Région Parisienne

Depuis un certain moment nous nous sommes retrouvé à discuter avec plusieurs collègues du projet de constitution d’une sorte de une fédération des logiciens parisiens. Ce qui nous semble très utile serait notamment la constitution d’un espace d’interaction commun entre les différentes équipes de logique parisiennes ou les logiciens gravitant sur Paris. C’est pou lancer une discussion la plus large et ouverte possible sur ce thème qu’on a pris l’initiative de convoquer une journée d’étude et réflexion pour

Samedi 26 septembre à l’amphi Turgot de la Sorbonne (17, Rue de la Sorbonne, 75005 Paris) de 9h30 à 18h00

Programme 9h30 - 10h00 Bienvenue aux participants et introduction à la journée 10 - 11h15 Jouko Väänänen (Helsinki), On Logic without borders 11h30 - 12h45 Gilles Dowek (Paris), La déraisonnable efficacité de la logique en informatique Pause déjeuner 15h00 - 16h15 Boris Zilber (Oxford), On Syntax-Semantic Dualities in Logic, Geometry, and Physics 16h30 - 17H45 Volker Halbach (Oxford), The predicate approach to modality and possible worlds

17h45 - 19h00 Discussion à propos du projet de constitution d’une fédération de logique sur la région parisienne. Alberto Naibo Marco Panza Boban Velickovic