Accueil

De Wiki du Gdt Logique

Sommaire

Wiki du Groupe de Travail Logique

Par.png

Les séances auront à priori lieu en Salle 3052 du laboratoire PPS, 3ème étage du batiment Sophie Germain, à Paris 7 Diderot.

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.

Quelques thèmes qu'on abordera autour de la logique : curry-howard sous ces formes variées (calculs classiques et réalisabilité), la ludique calculatoire et ses automates, la théorie des types homotopiques (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.

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

Prochaines Séances

Les séances ont lieu en salle 3052 du bâtiment Sophie Germain de 16h00 à 17h00

  • Jeudi 17 décembre : Guillaume Bury --- Déduction automatique et réécriture

Séances passées

  • Jeudi 15 octobre 2015 : Rentrée du GdT, Kenji Maillard --- Curry-Howard, NJ et l'élimination des coupures
  • Jeudi 22 octobre 2015 : Amina Doumane --- Introduction à la logique linéaire et aux réseaux de preuves
  • Jeudi 29 octobre 2015 : Pierre Cagne --- Le nec plus ultra du théorème de compacité
  • Jeudi 5 Novembre 2015 : Kenji Maillard --- Introduction aux catégories et à la représentabilité
  • Jeudi 12 Novembre 2015 : Étienne Miquey --- Petit voyage à travers la réalisabiltié classique
  • Jeudi 19 Novembre 2015 : Pierre Cagne --- La fabuleuse catégorie des ensembles
  • Jeudi 3 décembre : Kenji Maillard --- La dualité du calcul et des constructions
  • Jeudi 10 décembre : Antonin Delpeuch --- Logique et catégories pour la linguistique

Années antérieures

De 2011 à 2014, les séance se tennaient tous les jeudi soir, à 18h30 en salle R de l'ENS.

  • Jeudi 8 novembre 2012 : Gabriel Scherer --- Formalismes de programmation : le lambda-calcul
  • Jeudi 15 novembre 2012 : Gabriel Scherer --- Preuves et programmes : la correspondance de Curry-Howard
  • Jeudi 22 novembre 2012: Anne-Sophie de Suzzoni --- Logique linéaire

Thématiques abordées : logique linéaire, réalisabilité classique, réseaux de preuve, calcul synchrone ou encore géométrie de l'interaction.

Vous pouvez trouver ici les informations concernant les Séances 2011-2012.

Outils personnels