These seminars are common with the Plume team (ENS Lyon) and are held in the seminar room, second floor of the building Le Chablais, on the Bourget-du-lac (Savoy) site or at ENS Lyon.

Next seminar:

Thursday 21st March 2019 at 10h Daniel Martins-Antunes (LAMA),
Digital Curvature Evolution Model for Image Segmentation

Abstract: (Hide abstracts)
TBA

The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with decreasing date. Hide abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, all years together.

Year 2019

Thursday 24th January 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 7th February 2019 at 10h Adrien Durier (LIP, ENS Lyon),
Fonctions et processus concurrents

Abstract: (Hide abstracts)
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...

Thursday 14th March 2019 at 10h Guillaume Malod (IMJ-PRJ (Paris 7)),
Séries formelles et calculs non-commutatifs

Abstract: (Hide abstracts)
Cet exposé s'inspire de la connexion remarquée récemment entre les séries formelles et calculs non-commutatifs et qui permet de retrouver très simplements des résultats de Nisan et d'autres sur les calculs non-commutatifs de polynômes. Je présenterai les résultats de base sous l'angle des séries formelles puis je montrerai l'application aux calculs monotones (commutatifs) et les perspectives et difficultés pour utiliser ces techniques pour des modèles avec moins de restrictions.

Thursday 14th March 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 21st March 2019 at 10h Daniel Martins-Antunes (LAMA),
Digital Curvature Evolution Model for Image Segmentation

Abstract: (Hide abstracts)
TBA

Thursday 28th March 2019 at 10h Valentin Blot (Laboratoire Spécification et Vérification (École normale supérieure Paris-Saclay)),
TBA

Abstract: (Hide abstracts)
TBA

Thursday 4th April 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 9th May 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

Thursday 6th June 2019 at 10h30 Séminaire Chocola (Plusieurs orateurs),
Voir page web.

The seminar of the team LIMD is under the responsibility of Sebastien Tavenas.
Settings: See with decreasing date. Hide abstracts
Other years: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, all years together.