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, 2012, 2014, 2015, 2016, 2017, 2018, all years together.

Year 2013

Thursday 19th December 2013 at 10h Olivier Bodini (Laboratoire d'Informatique de Paris-Nord),
Eléments de combinatoires analytiques pour l'analyse asymptotique et la génération aléatoire uniforme de convexes discrétisés

Thursday 5th December 2013 at 10h20 Johannes Kellendonk (Institut Camille Jordan),
A characterization of subshifts with bounded powers

Thursday 28th November 2013 at 10h Pierre-Étienne Meunier (Caltech),
Complexité de pavages auto-assemblants

Thursday 21st November 2013 at 10h Sébastien Labbé (LIAFA),
Construction de droites discrètes 3D par des suites S-adiques

Thursday 14th November 2013 at 10h Michaël Rao (ENS Lyon),
Quelques petits résultats et encore beaucoup de conjectures sur la suite de Kolakoski/Oldenburger

Thursday 7th November 2013 at 10h Emmanuel Beffara (Institut de Mathématiques de Luminy),
Proofs as schedules

Thursday 31st October 2013 at 10h Clovis Eberhar (ENS Cachan),
Relation entre parsing et pretty-printing

Wednesday 23rd October 2013 at 13h30 Florian Hatat (Université de Savoie),
Jeux graphiques et théorie de la démonstration

Thursday 19th September 2013 at 10h Christophe Raffalli (Université de Savoie),
Nullstellensatz and Positivestellensatz from cut-elimination

Thursday 27th June 2013 at 10h Robin Cockett (Dept. Computer Science, University of Calgary, Canada),
Abstract computability: unifying complexity and computability

Tuesday 18th June 2013 at 10h Rodolphe Lepigre (LAMA, LIMD),
A Classical Realizability Interpretation of Judgement Testing

Thursday 6th June 2013 at 10h Phuc NGO (Laboratoire d'Informatique Gaspard Monge),
Structure combinatoire des transformations rigides sur Z² : théorie et application à l'analyse topologique des images numériques

Thursday 30th May 2013 at 14h E. Domenjoud (LORIA (Equipe ADAGIo)),
Connexité par face des plans discrets et clôture palindromique géométrique

Thursday 30th May 2013 at 10h Ludovic Henrio (CNRS, INRIA Sophia-Antipolis),
Formal Models for Programming and Composing Correct Distributed Systems

Thursday 23rd May 2013 at 10h30 Barbara Petit (Inria Grenoble),
LiDeAl: Certifying complexity with Linear Dependent Types

Wednesday 17th April 2013 at 10h Emmanuel Beffara (IML),
À venir

Thursday 4th April 2013 at 10h45 Fabio Zanasi (LIP, ENS Lyon),
Saturated Semantics for Coalgebraic Logic Programming

Thursday 28th March 2013 at 10h Tom Hirschowitz (LAMA, LIMD),
Un jeu pour le pi-calcul

Thursday 21st March 2013 at 10h Pierre Hyvernat (LAMA, LIMD),
Test de terminaison pour PML : ``size-change termination'' et constructeurs (version propre)

Thursday 21st February 2013 at 10h Thomas Seiller (LAMA, LIMD),
Characterizing co-NL by a Group Action

Thursday 7th February 2013 at 14h Adrea Frosini (Università degli Studi di Firenze),
À venir

Thursday 7th February 2013 at 10h Pablo Arrighi (LIG),
Generalized Cayley Graphs and Cellular Automata over them

Thursday 31st January 2013 at 10h Étienne Miquey (LIP, ENS Lyon),
Réalisabilité et formules arithmétiques

Thursday 24th January 2013 at 10h Guillaume Theyssier (LAMA, LIMD),
Automates cellulaires probabilistes

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, 2012, 2014, 2015, 2016, 2017, 2018, all years together.