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

Année 2012

Jeudi 05 janvier 2012 à 10h Assia Mahboubi (LIX),
Vers une vérification formelle de la preuve du théorème de Feit-Thompson

Jeudi 19 janvier 2012 à 10h Etienne Duchesne (LIPN - Paris-Nord),
MELL in a free compact closure

Jeudi 08 mars 2012 à 10h Tom Hirschowitz (LAMA, LIMD),
Une sémantique de jeux pour CCS

Jeudi 29 mars 2012 à 10h Pascal Vanier (LIF, Marseille),
Degrés Turing des pavages

Dimanche 01 avril 2012 à 10h Karim Nour (LAMA, LIMD),
Les contres exemples d'Andrew Polonski

Jeudi 26 avril 2012 à 10h Tom Hirschowitz (LAMA, LIMD),
Une sémantique de jeux pour CCS (SUITE)

Jeudi 03 mai 2012 à 10h Samer Allouch (LAMA, LIMD),
Classification des catégories finies

Mercredi 16 mai 2012 à 10h15, Salle réunion Mont-Blanc Simon Perdrix (LIG, CAPP),
Completeness of algebraic CPS simulations

Jeudi 24 mai 2012 à 10h Pawel Sobocinski (University of Southampton, UK),
Combinators for Petri Nets with boundaries

Jeudi 31 mai 2012 à 10h Srecko Brlek (LaCIM, Université du Québec à Montréal),
Quelques remarques sur les trajectoires exponentielles d'Oldenburger

Jeudi 14 juin 2012 à 10h Anna Frid (Sobolev Institute of Mathematics),
Comptage des mots engendrés par intervalles

Jeudi 21 juin 2012 à 11h, Salle réunion Mont-Blanc Colin Riba (LIP, ENS Lyon),
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

Jeudi 12 juillet 2012 à 14h30, Amphi Nivolet Ivan Rapaport (CMM, Universidad de Chile),
Short messages and local knowledge in distributed systems

Jeudi 27 septembre 2012 à 10h Christophe Raffalli (LAMA, LIMD),
Réalisabilité, Ramsey et ultrafiltre

Mardi 09 octobre 2012 à 14h Romain Demangeon (Queen Mary, University of London),
Verification of Protocols with Session Types

Jeudi 18 octobre 2012 à 10h Damiano Mazza (LIPN, Université Paris Nord),
Non-Linearity as the Metric Completion of Linearity

Jeudi 25 octobre 2012 à 10h Pierre Clairambault (Cambridge),
The biequivalence of locally cartesian closed categories and Martin-Löf type theories

Jeudi 22 novembre 2012 à 10h Jean-Marie Madiot (LIP, ENS Lyon),
Sous-typage en pi-calculs

Jeudi 29 novembre 2012 à 10h Marc Bagnol (IML),
Les machines synchrones: une catégorie à trace

Jeudi 13 décembre 2012 à 10h Damien Pous (LIP, ENS Lyon),
Checking NFA equivalence with bisimulations up to congruence

Jeudi 20 décembre 2012 à 10h Clément Fumex (University of Strathclyde),
Schémas d'induction et de coinduction dans les fibrations

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