Les séminaires sont communs avec l'équipe Plume (ENS Lyon) et ont lieu en salle de séminaire, premier étage du bâtiment Le Chablais, sur le site du Bourget du Lac ou à l'ENS Lyon.

Prochain séminaire :

Jeudi 14 mars 2019 à 10h Guillaume Malod (IMJ-PRJ (Paris 7)),
TBA

Résumé : (Masquer les résumés)
TBA

Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date décroissante. Masquer les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.

Année 2019

Jeudi 24 janvier 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 07 février 2019 à 10h Adrien Durier (ENS Lyon),
TBA

Résumé : (Masquer les résumés)
TBA

Jeudi 07 février 2019 à 14h Adrien Durier (LIP, ENS Lyon),
Fonctions et processus concurrents

Résumé : (Masquer les résumés)
La sémantique d'un programme est souvent donnée d'une des deux façons suivantes: ou bien comme une fonction mathématique (la fonction qu'il calcule) ou bien par le biais de son execution. La première méthode tend à détruire toute information fine sur le programme (complexité par exemple), alors que la seconde impose un cadre de bas niveau, syntaxique, sans la structure et les propriétés mathématiques donnés par la première. Pour allier les avantages des deux méthodes, de nombreux sémanticiens s'intéressent à représenter les programmes comme des interactions (interactions qui se déroulent entre un programme et son contexte); ceci en permet une compréhension dynamique. Le lambda-calcul est un formalisme standard pour représenter les programmes fonctionnels. Le pi-calcul, lui, fournit un outil pour représenter leurs interactions. Milner a montré en 1990 comment interpréter le lambda-calcul dans le pi-calcul. Plus précisément, il a montré comment interpréter deux stratégies d'évaluations du lambda-calcul, l'appel par nom et l'appel par valeurs. Se pose alors le problème de Full Abstraction: pour quelle notion d'équivalence de programme ces interprétations sont-elles correctes et complètes ? Si le problème a été résolu rapidement pour l'appel par nom, l'appel par valeur pose davantage de problèmes techniques...

Jeudi 14 mars 2019 à 10h Guillaume Malod (IMJ-PRJ (Paris 7)),
TBA

Résumé : (Masquer les résumés)
TBA

Jeudi 14 mars 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 21 mars 2019 à 10h Danie Martins-Antunes (LAMA),
Digital Curvature Evolution Model for Image Segmentation

Résumé : (Masquer les résumés)
TBA

Jeudi 28 mars 2019 à 10h Valentin Blot (Laboratoire Spécification et Vérification (École normale supérieure Paris-Saclay)),
TBA

Résumé : (Masquer les résumés)
TBA

Jeudi 04 avril 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 09 mai 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Jeudi 06 juin 2019 à 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date décroissante. Masquer les résumés.
Autres années : 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, toutes ensemble.