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
