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

Year 2012

Thursday 20th December 2012 at 10h Clément Fumex (University of Strathclyde),
Schémas d'induction et de coinduction dans les fibrations

Thursday 13th December 2012 at 10h Damien Pous (LIP, ENS Lyon),
Checking NFA equivalence with bisimulations up to congruence

Thursday 29th November 2012 at 10h Marc Bagnol (IML),
Les machines synchrones: une catégorie à trace

Thursday 22nd November 2012 at 10h Jean-Marie Madiot (LIP, ENS Lyon),
Sous-typage en pi-calculs

Thursday 25th October 2012 at 10h Pierre Clairambault (Cambridge),
The biequivalence of locally cartesian closed categories and Martin-Löf type theories

Thursday 18th October 2012 at 10h Damiano Mazza (LIPN, Université Paris Nord),
Non-Linearity as the Metric Completion of Linearity

Tuesday 9th October 2012 at 14h Romain Demangeon (Queen Mary, University of London),
Verification of Protocols with Session Types

Thursday 27th September 2012 at 10h Christophe Raffalli (LAMA, LIMD),
Réalisabilité, Ramsey et ultrafiltre

Thursday 12th July 2012 at 14h30 Ivan Rapaport (CMM, Universidad de Chile),
Short messages and local knowledge in distributed systems

Thursday 21st June 2012 at 11h Colin Riba (LIP, ENS Lyon),
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Streams

Thursday 14th June 2012 at 10h Anna Frid (Sobolev Institute of Mathematics),
Comptage des mots engendrés par intervalles

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

Thursday 24th May 2012 at 10h Pawel Sobocinski (University of Southampton, UK),
Combinators for Petri Nets with boundaries

Wednesday 16th May 2012 at 10h15 Simon Perdrix (LIG, CAPP),
Completeness of algebraic CPS simulations

Thursday 3rd May 2012 at 10h Samer Allouch (LAMA, LIMD),
Classification des catégories finies

Thursday 26th April 2012 at 10h Tom Hirschowitz (LAMA, LIMD),
Une sémantique de jeux pour CCS (SUITE)

Sunday 1st April 2012 at 10h Karim Nour (LAMA, LIMD),
Les contres exemples d'Andrew Polonski

Thursday 29th March 2012 at 10h Pascal Vanier (LIF, Marseille),
Degrés Turing des pavages

Thursday 8th March 2012 at 10h Tom Hirschowitz (LAMA, LIMD),
Une sémantique de jeux pour CCS

Thursday 19th January 2012 at 10h Etienne Duchesne (LIPN - Paris-Nord),
MELL in a free compact closure

Thursday 5th January 2012 at 10h Assia Mahboubi (LIX),
Vers une vérification formelle de la preuve du théorème de Feit-Thompson

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