Les ateliers reprennent du service!

L'atelier "Techniques Formelles" se tiendra chaque mercredi de 13h30 à 15h30.
Au programme : (poursuite de) la métathéorie de la logique de premier ordre, avec l'inépuisable Smullyan, First-Order Logic, Dover.

Prochaine séance : mercredi 27 septembre. Reprise à la partie II, p.41.

Révision des Croyances

L'été s'est avéré propice. Avec Cédric l'infatigable, nous avons mis sur pied un programme qui promet une année aussi riche que studieuse :

Mardi 19 septembre 2006 Séance Préliminaire (présentation du séminaire, objectifs, organisation)
Mardi 3 octobre 2006 Séance introductive 1 : AGM (S. Konieczny)
Mardi 17 octobre 2006 Séance introductive 2a : AGM (S. Konieczny)
Mardi 24 octobre 2006 Séance introductive 2b : AGM (S. Konieczny)
Mardi 31 octobre 2006 Séance introductive 3 : Approche de la révision de croyances de l'apprentissage rationnel en économie (F. Jouneau)
Mardi 14 novembre 2006 Séance introductive 4 : Logiques de la conversation, SDRT [veille de la Toussaint] déplaçable le lundi 30.. (L. Keiff)
Mardi 21 novembre 2006 Séance introductive 5 : Révision et jeux (B. Walliser, sous réserve)
Mardi 28 novembre 2006 Séance introductive 5 : Fusion des croyances (S. Konieczny)
Mardi 12 décembre 2006 Séance introductive 6 : Révision itérée (S. Konieczny)
Mardi 16 janvier 2007 Séances récapitulatives et de présentation du cycle de conférences à suivre [période d'examen, session 1] déplaçable le 16 janvier
Mardi 23 janvier 2007 Première conférence : Erik Olsson
Mardi 6 février 2007 Deuxième conférence : Gabriella Pigozzi
Mardi 20 février 2007 Troisième conférence : Frédéric Jouneau
Mardi 6 [ou 13] mars 2007 Quatrième conférence : Nicholas Asher (sous réserve) [Période d'examen, session 2] (déplaçable le 13 mars).
Mardi 20 mars 2007 Cinquième conférence : Salem Benferhat
Mardi 3 avril 2007 Sixième conférence : Philippe Preux
Mercredi 11 avril 2007 Septième conférence : S. Konieczny et P. Marquis
Mercredi 2 mai 2007 : Révision et jeux (sous réserve) (B. Walliser)
Mardi 15 mai 2007 [période d'examen!] : Fréderic Jouneau
Mardi 29 mai 2007 [Dispositif pédagogique] : M. Cozic
Mardi 12 juin 2007 Closing lecture (sous réserve) [Dispositif pédagogique] : David Makinson, Johan van Benthem, Hans Rott, Shahid Rahman

Je comprends votre émotion. Vous avez de la chance, vous êtes à Lille 3.