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, 2012, 2014, 2015, 2016, 2017, 2018, 2019, toutes ensemble.

Année 2013

Jeudi 24 janvier 2013 à 10h Guillaume Theyssier (LAMA, LIMD),
Automates cellulaires probabilistes

Jeudi 31 janvier 2013 à 10h Étienne Miquey (LIP, ENS Lyon),
Réalisabilité et formules arithmétiques

Jeudi 07 février 2013 à 10h Pablo Arrighi (LIG),
Generalized Cayley Graphs and Cellular Automata over them

Jeudi 07 février 2013 à 14h Adrea Frosini (Università degli Studi di Firenze),
À venir

Jeudi 21 février 2013 à 10h Thomas Seiller (LAMA, LIMD),
Characterizing co-NL by a Group Action

Jeudi 21 mars 2013 à 10h Pierre Hyvernat (LAMA, LIMD),
Test de terminaison pour PML : ``size-change termination'' et constructeurs (version propre)

Jeudi 28 mars 2013 à 10h Tom Hirschowitz (LAMA, LIMD),
Un jeu pour le pi-calcul

Jeudi 04 avril 2013 à 10h45 Fabio Zanasi (LIP, ENS Lyon),
Saturated Semantics for Coalgebraic Logic Programming

Mercredi 17 avril 2013 à 10h Emmanuel Beffara (IML),
À venir

Jeudi 23 mai 2013 à 10h30 Barbara Petit (Inria Grenoble),
LiDeAl: Certifying complexity with Linear Dependent Types

Jeudi 30 mai 2013 à 10h Ludovic Henrio (CNRS, INRIA Sophia-Antipolis),
Formal Models for Programming and Composing Correct Distributed Systems

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

Jeudi 06 juin 2013 à 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

Mardi 18 juin 2013 à 10h Rodolphe Lepigre (LAMA, LIMD),
A Classical Realizability Interpretation of Judgement Testing

Jeudi 27 juin 2013 à 10h Robin Cockett (Dept. Computer Science, University of Calgary, Canada),
Abstract computability: unifying complexity and computability

Jeudi 19 septembre 2013 à 10h Christophe Raffalli (Université de Savoie),
Nullstellensatz and Positivestellensatz from cut-elimination

Mercredi 23 octobre 2013 à 13h30 Florian Hatat (Université de Savoie),
Jeux graphiques et théorie de la démonstration

Jeudi 31 octobre 2013 à 10h Clovis Eberhar (ENS Cachan),
Relation entre parsing et pretty-printing

Jeudi 07 novembre 2013 à 10h Emmanuel Beffara (Institut de Mathématiques de Luminy),
Proofs as schedules

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

Jeudi 21 novembre 2013 à 10h Sébastien Labbé (LIAFA),
Construction de droites discrètes 3D par des suites S-adiques

Jeudi 28 novembre 2013 à 10h Pierre-Étienne Meunier (Caltech),
Complexité de pavages auto-assemblants

Jeudi 05 décembre 2013 à 10h20 Johannes Kellendonk (Institut Camille Jordan),
A characterization of subshifts with bounded powers

Jeudi 19 décembre 2013 à 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

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, 2012, 2014, 2015, 2016, 2017, 2018, 2019, toutes ensemble.