Wiki du Groupe de Travail Logique

Attention, changement de date: le GdT se tient désormais le jeudi à 19h.

La troisième saison du GdT Logique de l'ENS continue en 2012, et vous souhaite la bonne année.

Organisé par des étudiant-e-s en informatique, mathématiques et philosophie, on y découvrira des sujets de la recherche actuelle en théorie de la démonstration et en informatique théorique, le tout dans un cadre convivial et décontracté. Il n'y a bien sûr aucune obligation de présenter un exposé pour venir au groupe de travail et chacun-e y est bienvenu-e.

Les séances auront lieu les jeudis de 19h00 à 20h30 en salle W.

La première séance était une séance de présentation de l'histoire et des enjeux de la théorie de la démonstration, sans contenu technique. Maintenant, on suit une alternance de séances "d'initiation", destinées à celles et ceux qui n'ont pas ou peu de connaissances en logique, permettant d'acquérir les concepts de base du domaine ; et de séances "avancées", où l'on traitera de sujets plus difficiles.

Quelques thèmes qu'on abordera : logique linéaire, réalisabilité classique, réseaux de preuve, calcul synchrone ou encore géométrie de l'interaction (voir la liste prévisionnelle pour plus de détails).

Ce wiki, en gestation, sera probablement un lieu pour centraliser les informations concernant le groupe de travail.

• Les sujets des exposés.
• La liste des organisateurs et organisatrices.
• Les différents documents (slides et résumés) écrits par les exposant-e-s.
• Des références bibliographiques.
• Comment rejoindre (ou quitter...) notre mailing-list.

Si vous cherchez de l'aide pour l'édition du Wiki, consultez le Guide de l’utilisateur de MediaWiki.

Prochaines Séances

Jeudi 24 mai 2012 à 19h, en salle W (ENS, 45 rue d'Ulm) : Silvain Rideau --- Introduction à la théorie des modèles 2

Jeudi 17 mai 2012 à 19h, en salle W (ENS, 45 rue d'Ulm) : Relâche (Ascension)

Séances passées

• Jeudi 10 mai 2012 : Silvain Rideau --- Introduction à la théorie des modèles

• Jeudi 3 mai 2012 : Baptiste Mélès --- Logique hegelienne et théorie des catégories

• Jeudi 19 avril 2012 : Charles Grellois --- Sémantique des jeux et schémas de récursion d'ordre supérieur

• Jeudi 12 avril 2012 : Charles Grellois --- Monades à arité 2/2

• Jeudi 5 avril 2012 : Charles Grellois --- Monades à arité 1/2

• Jeudi 29 mars 2012 : Guillaume Munch --- Calcul L pour les séquents (2)

• Jeudi 22 mars 2012 : Marc Bagnol --- Catégories monoidales à trace

• Jeudi 15 mars 2012 : Anne-Sophie De Suzzoni --- Un modèle de logique linéaire inspiré du transport optimal

• Jeudi 8 mars 2012 : Marc Bagnol --- Introduction à la GdI: Multiplicatives

• Jeudi 1er mars 2012 : Anne-Sophie De Suzzoni --- Un modèle de logique linéaire inspiré du transport optimal

• Jeudi 23 février 2012 : Charles Grellois --- Introduction à la théorie des catégories 2/2

• Jeudi 16 février 2012 : Charles Grellois --- Introduction à la théorie des catégories 1/2

• Jeudi 9 février 2012 : Guillaume Munch --- Calcul L pour les séquents

• Jeudi 26 janvier 2012 : Guillaume Brunerie --- Théorie des types homotopiques 2

• Jeudi 19 janvier 2012 : Guillaume Brunerie --- Théorie des types homotopiques

• Jeudi 5 janvier 2012 : Guillaume Allais --- Ornements en théorie des types

• Lundi 12 décembre 2011 : Adrien Guatto --- Langages synchrones à flots de données

• Lundi 5 décembre 2011 : Marc Bagnol --- Réseaux de démonstration

• Lundi 28 novembre 2011 : Gabriel Scherer --- Une théorie des types dépendants : jugements d'égalité et cohérence

• Lundi 21 novembre 2011 : Marc Bagnol --- Logique linéaire

• Lundi 14 novembre 2011 : Aloïs Brunel --- Réalisabilité classique

• Lundi 7 novembre 2011 : Maël Pégny --- Correspondance de Curry-Howard

• Lundi 31 octobre 2011 : Gabriel Scherer --- Théorie des types

• Lundi 24 octobre 2011 : Guillaume Munch --- λ-calcul, machines et orthogonalité

• Lundi 17 octobre 2011 : Marc Bagnol --- La boîte à outils de Gentzen: déduction naturelle et calcul des séquents

• Lundi 10 octobre 2011 : Exposé collectif --- Séance de rentrée du GdT Logique: histoire et enjeux de la théorie de la démonstration