Groupe de travail de Réalisabilité Classique
2005-2006
- 22/06/06 : Axiome du Choix II - Jean-Louis Krivine
- 08/06/06 : Axiome du Choix - Jean-Louis Krivine
- 11/05/06 : Réalisabilité et contre-exemples à l'axiome du choix - Jean-Louis Krivine
- 06/04/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité III - Mauricio Guillermo
- 30/03/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité II - Mauricio Guillermo
- 16/03/06 : Des jeux en calcul du premier ordre avec quantification existentielle intuitioniste et égalité - Mauricio Guillermo
- 02/03/06 : De la réalisabilité dans les jeux II - Olivier Laurent
- 19/01/06 : De la réalisabilité dans les jeux - Olivier Laurent
- 05/01/06 : Des jeux dans la réalisabilité - Jean-Louis Krivine
- 08/12/05 : Comment extraire des programmes non-triviaux de formules equationelles sans alternance de quantificateur - Philippe Hesse
- 01/12/05 : Instructions pour l'axiome du choix dépendant IV - Jean-Louis Krivine
- 17/11/05 : Instructions pour l'axiome du choix dépendant III - Jean-Louis Krivine
- 27/10/05 : Instructions pour l'axiome du choix dépendant II - Jean-Louis Krivine
- 20/10/05 : Instructions pour l'axiome du choix dépendant - Jean-Louis Krivine
2004-2005
- 14/04/05 : Forcing IV - Jean-Louis Krivine
- 24/03/05 : Forcing III - Jean-Louis Krivine
- 17/03/05 : Forcing II - Jean-Louis Krivine
- 17/02/05 : Forcing - Jean-Louis Krivine
- 27/01/05 : Contrôle concurrent en lambda-calcul - Emmanuel Beffara
- 20/01/05 : Sur la méthode des priorités - Mauricio Guillermo
- 25/11/04 : Réalisabilité linéaire et concurrente en pi-calcul - Emmanuel Beffara
- 21/10/04 : Un programme pour l'axiome du choix dépendant - Jean-Louis Krivine
2003-2004
- 04/03/04 : Buveur, le retour - Jean-Louis Krivine
- 05/02/04 : Programme générique - Jean-Louis Krivine
- 11/12/03 : Réalisabilité et types récursifs - Jérôme Vouillon
- 20/11/03 : Types de données et stratégies d'évaluation - Emmanuel Beffara
2002-2003
- 13/03/03 : Un théorème de normalisation forte pour ZF intuitionniste II - Alexandre Miquel
- 27/02/03 : Un théorème de normalisation forte pour ZF intuitionniste I - Alexandre Miquel
- 06/02/03 : Symbole de choix et édition de liens dynamique - Georges Gonthier
- 23/01/03 : Modèles avec des threads - Jean-Louis Krivine
- 16/01/03 : Les formes normales disjonctives spécifient des multi-exceptions (notes de l'exposé en pdf) - Emmanuel Beffara
- 09/01/03 : Axiome du choix II - Jean-Louis Krivine
- 28/11/02 : Axiome du choix I (instruction "
quote" et horloge) - Jean-Louis Krivine
- 14/11/02 : Le contenu computationnel des preuves dans l'arithmétique classique - Denis Bonnay
- 31/10/02 : Tautologies Classiques et Combinateurs de Contrôle - Emmanuel Beffara
- 17/10/02 : Formalisation du théorème de complétude - Edouard Maurel-Segala
2001-2002
- 24/06/02 : Réalisabilite de ZF sans axiome de fondation - Georges Gonthier
- 17/06/02 : Théorie des ensembles II - Jean-Louis Krivine
- 10/06/02 : Théorie des ensembles I - Jean-Louis Krivine
- 27/05/02 : Réalisabilité classique III - Jean-Louis Krivine
- 21/05/02 : Réalisabilité classique II - Jean-Louis Krivine
- 02/05/02 : Réalisabilité classique I - Jean-Louis Krivine
Pour toute information, contactez l'organisateur.