The seminar of the team LIMD is under the responsibility of Guillaume
Theyssier.
Settings:
See with
increasing date
.
Show abstracts
By year: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013.
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 23rd May 2013 at 10h
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
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
Thursday 15th December 2011 at 10h
Annette Casagrande
(LAMA, LIMD),
Proposition d'une mesure de voisinage entre textes Application à la veille stratégique
Thursday 1st December 2011 at 10h
Karim Nour
(LAMA, LIMD),
About the range property for H
Thursday 17th November 2011 at 10h
Krzysztof Worytkiewicz
(LAMA),
Simulations as homotopies
Thursday 20th October 2011 at 10h
Lionel Vaux
(LDP, IML),
On the transport of finiteness structures
Thursday 6th October 2011 at 10h
Tim Porter
(WIMCS, University of Bangor),
Homotopical Aspects on Multiagent Systems
Thursday 29th September 2011 at 10h
Pawel Gladki
(AGH University of Science and Technology, Kraków, Poland),
Quotients of index two of the space of orderings of the field Q(x)
Thursday 22nd September 2011 at 10h
Pierre Hyvernat
(LIMD),
Foncteurs polynomiaux, jeux et logique linéaire (différentielle)
Thursday 7th July 2011 at 10h09
Pierre Hyvernat
(LIMD),
Petit casse-tête combinatoire : sections non-ordonnées et fonctions booléennes strictement croissantes
Thursday 30th June 2011 at 11h
Yukiko Kenmochi
(Laboratoire d'Informatique Gaspard-Monge, Université Paris-Est),
L'ajustement robuste d'un hyperplan discret
Thursday 16th June 2011 at 14h30
Mohamad Ziadeh
(LIMD),
Completness for simply typed lambda mu calculus
Thursday 9th June 2011 at 10h
Nicolas Michel
(EPFL),
TBA
Thursday 26th May 2011 at 10h03
Christophe Raffalli
(LIMD),
(Co-)Inductive type : subtyping may be enough
Thursday 19th May 2011 at 10h05
Luidnel Maignan
(INRIA Saclay),
Points, Distances and Cellular Automata: Geometric and Spatial Algorithmics
Tuesday 17th May 2011 at 10h06
Vincenzo Ciancia
(Amsterdam, ILLC),
Labelled transition systems with interfaces and symmetry: coalgebras in a presheaf category and their finite representations
Thursday 12th May 2011 at 10h06
Tom Hirschowitz
(LAMA (LIMD)),
Introduction aux faisceaux
Thursday 21st April 2011 at 10h
Lionel Nguyen Van Thé
(LATP (Marseille)),
Théorie de Ramsey, points fixes d'actions de groupes et correspondance de Kechris-Pestov-Todorcevic
Thursday 14th April 2011 at 10h
Tom Hirschowitz
(LAMA (LIMD)),
Introduction aux prefaisceaux
Thursday 31st March 2011 at 10h14
Peter G. Hancock
(University of Strathclyde),
Distillation of inductive-recursive definition
Thursday 24th March 2011 at 10h11
Alina FIRICEL
(Institut Camille Jordan),
Automates finis et séries de Laurent algébriques
Thursday 17th March 2011 at 10h11
Peter G. Hancock
(University of Strathclyde),
Logarithms and exponentiality
Thursday 10th February 2011 at 10h03
Vincent Nesme
(University of Potsdam),
Automates cellulaires linéaires et fractales
Thursday 20th January 2011 at 10h07
Pierre Hyvernat
(LIMD),
Le principe du ``size-change termination'' pour les langages avec constructeurs
Thursday 13th January 2011 at 10h03
Thomas Seiller
(Institut mathématique de Luminy),
Graphes d'interaction
Friday 31st December 2010 at 10h10
Guillaume Theyssier
(LAMA),
Trilogie autour de la ligne de fusiliers
Thursday 25th November 2010 at 14h
Mouhammad Said
(LIMD),
Géométrie multi-résolution des objets discrets bruités.
Thursday 25th November 2010 at 10h03
Gabriele Fici
(I3S, Université de Nice),
Une nouvelle approche à l'étude des mots C∞
Thursday 14th October 2010 at 10h09
Émilie Charrier
(LAMA),
Vers un estimateur de bruit local sur les surfaces discrètes
Thursday 23rd September 2010 at 10h07
Laurent Vuillon
(LAMA),
Mots infinis obtenus par clôtures palindromique et antipalindromique
Thursday 16th September 2010 at 10h
Tom Hirschowitz
(LAMA),
Cartesian closed 2-categories and higher-order rewriting
Tuesday 20th July 2010 at 10h
Martin Delacourt
(LIF, Marseille),
Directional dynamics along arbitrary curves on cellular automata of dimension 1
Tuesday 8th June 2010 at 10h
Florian Hatat
(LAMA),
Un jeu graphique pour les catégories de réponse
Tuesday 25th May 2010 at 13h30
Aline Parreau
(Institut Fourier),
Identifier les sommets d'un graphe avec des couleurs
Thursday 20th May 2010 at 10h
Alexandre Miquel
(ENS Lyon),
Une analyse du contenu calculatoire de la transformation de preuve par la méthode de forcing
Thursday 29th April 2010 at 10h
Olivier Laurent
(ENS Lyon),
Jeux et realisabilite
Thursday 8th April 2010 at 10h
Muhammad Humayoun
(LAMA),
Towards Automatic Formalisation of Informal Mathematical Text
Thursday 25th March 2010 at 10h
Luc Gillibert
(Centre de Morphologie Mathématique de l'Ecole des Mines de Paris),
Une approche géométrique pour la segmentation de la neige
Tuesday 23rd March 2010 at 13h30
Laurent Provot
(Loria),
Vers une polyédrisation des objets discrets bruités 3D
Tuesday 23rd March 2010 at 10h15
Dobrina Boltcheva
(Inrialpes),
Modélisation géométrique et topologique d'images 3D
Thursday 18th March 2010 at 10h
Xavier Provençal
(LIRMM et LAMA),
Convexité discrète et combinatoire des mots
Tuesday 16th March 2010 at 10h
Jérôme Hulin
(LaBRI, Bordeau),
Voisinage de test pour le calcul de l'axe médian discret
Wednesday 10th March 2010 at 13h15
Diane Larlus
(Technische Universität, Darmstadt),
Segmentation de catégories d'objets, par combinaison d'un modèle par sac-de-mots et d'un champ de Markov
Tuesday 9th March 2010 at 10h
Alexis Ballier
(LIF, Marseille),
Ordonnons les pavages
Thursday 4th March 2010 at 10h
Benno van den Berg
(Technische Universität Darmstadt),
Introduction to Algebraic Set Theory
Thursday 25th February 2010 at 14h
Alexandre Miquel
(LIP, ENS Lyon),
Forcing et négation de l'hypothèse du continu
Thursday 25th February 2010 at 10h
Alberto Dennunzio
(FISLAB, Università di Milano-Bicocca, Italy),
Automates Cellulaire 2D : constructions et dynamique
Friday 12th February 2010 at 10h15
Andreas Abel
(INRIA et LMU Munich),
Normalization by Evaluation for Dependent Type Theory (work in progress)
Tuesday 9th February 2010 at 10h
Tristan Roussillon
(LIRIS, Lyon),
Algorithmes d'extraction de modèles géométriques discrets pour la représentation robuste des formes
Thursday 28th January 2010 at 13h30
Alexandre Miquel
(LIP, ENS Lyon),
La construction du modèle booléen de ZF (suite)
Thursday 28th January 2010 at 10h15
Christian Mercat
(I3M, Montpellier),
Géométrie discrète conforme
Tuesday 19th January 2010 at 10h15
Nicolas Ollinger
(LIF, Marseille),
L'indécidable périodicité des automates cellulaires
Thursday 14th January 2010 at 10h
Damien Regnault
(LIF, Marseille),
Minorité stochastique sur les pavages par coupe et projection: application à la formation des quasi-cristaux
Tuesday 12th January 2010 at 14h
Antoine Vacavant
(LIRIS, Université Lumière Lyon 2),
Géométrie discrète sur grilles irrégulières isothétiques
Thursday 7th January 2010 at 13h30
Alexandre Miquel
(LIP, ENS Lyon),
La construction du modèle booléen de ZF
Thursday 7th January 2010 at 10h15
Gavin Seal
(EPFL),
Des ensemble ordonnés aux espaces topologiques
Thursday 17th December 2009 at 10h
Séminaire Choco
(Plusieurs orateurs),
Séminaire Choco
Thursday 10th December 2009 at 10h15
Laurent Boyer
(LAMA),
Factor universality in cellular automata
Thursday 3rd December 2009 at 10h15
Krzysztof Worytkiewicz
(AGH University of Science and Technology),
Une structure de modeles ``folk'' pour les omega-categories
Thursday 19th November 2009 at 10h15
Jean-Marc Andréoli
(Xerox Research Centre Europe),
Deux digressions autour de la logique linéaire
Thursday 12th November 2009 at 14h
Groupe de lecture Kohlenbach
(Plume et LIMD),
Séance 2
Thursday 12th November 2009 at 10h15
Vasileios Koutavas
(Trinity College, Dublin),
First-Order Reasoning about Higher-Order Concurrency
Thursday 5th November 2009 at 10h15
Alexandre Miquel
(LIP, ENS Lyon),
Modèles booléens (II)
Thursday 22nd October 2009 at 10h
Séminaire Choco
(Plusieurs orateurs),
Séminaire Choco
Thursday 15th October 2009 at 10h15
Matthieu Simonet
(LAMA),
Mots de retour et pavage dans les plans discrets
Thursday 8th October 2009 at 10h15
Karim Nour
(LAMA),
Un lambda-calcul parallèle
Thursday 1st October 2009 at 14h
Alexandre Miquel
(LIP, ENS Lyon),
Une introduction aux modèles booléens
Thursday 24th September 2009 at 14h
Martin Hofmann
(LMU, Munich),
Amortized Resource Analysis with Polynomial Potential
Thursday 24th September 2009 at 10h15
Pawel Sobocinski
(Southampton),
An introduction to the wire calculus
Friday 18th September 2009 at 08h45
Emilie Charrier
(LAMA),
Cocktail de géométrie discrète :
Approximation de nombres réels par des rationnels à dénominateur borné
Reconnaissance de plans discrets
Épaisseur dans un réseau n-dimensionnel
Thursday 10th September 2009 at 14h
Mark Weber
(MPI Bonn),
TBA (On funny tensor products)
Thursday 10th September 2009 at 10h15
Christophe Raffalli
(LAMA),
PML pour les nuls
Thursday 27th August 2009 at 10h15
Pierre-Etienne Meunier
(LAMA),
Complexité de communication et automates cellulaires
Thursday 16th July 2009 at 10h15
Alexandre Blondin Massé
(LAMA),
Palindromes généralisés, chemins de Fibonacci et doubles pavages
Thursday 25th June 2009 at 10h15
Sylvain Hallé
(University of California Santa Barbara),
Le runtime monitoring d'une logique temporelle: une application aux contrats d'interface des applications web
Monday 18th May 2009 at 14h
Alejandro Díaz-Caro
(LIG),
Vectorial System F: Towards a Quantum Type System
Monday 18th May 2009 at 10h
Pablo Arrighi
(LIG),
Unitarity plus causality implies locality
Tuesday 12th May 2009 at 14h
Types
(2009),
Rencontre annuelle du projet Types
Thursday 7th May 2009 at 10h15
Guillaume Theyssier
(LAMA),
Groupe de travail complexité géométrique
Thursday 30th April 2009 at 10h15
Damien Regnault
(LIP, ENS Lyon),
Minorité stochastique sur les graphes
Thursday 23rd April 2009 at 10h15
Guillaume Theyssier
(LAMA),
Sous-shifts et logique monadique du second ordre
Friday 3rd April 2009 at 08h45
Antonino Salibra
(Venise),
Théories et Modèles du Lambda Calcul
Thursday 2nd April 2009 at 10h
Choco
(Ottawa, PPS et LIPN),
Séminaire Choco
Thursday 26th March 2009 at 10h15
Assia Mahboubi
(INRIA/MSR/LIX, Paris),
TBA
Thursday 12th March 2009 at 10h
Choco
(TBA),
Séminaire Choco
Thursday 5th March 2009 at 11h
Pierre Clairambault
(PPS, Paris 7),
Plus petits et plus grands points fixes en sémantique des jeux
Thursday 26th February 2009 at 10h15
Alexandre Miquel
(LIP, ENS Lyon),
Extraction de programmes à partir de preuves classiques en Coq
Thursday 5th February 2009 at 10h15
Projet Choco
(Lisbonne, LSV Cachan, PPS Paris 7),
Séminaire Choco
Thursday 29th January 2009 at 10h15
Joachim Kock
(Université de Barcelone),
Introduction to the theory of polynomial functors
Thursday 22nd January 2009 at 10h15
Christophe Raffalli
(LAMA),
Analyse grammaticale du français : des concepts théoriques ou de la bidoulle ?
Thursday 15th January 2009 at 10h15
François de Vieilleville
(LAMA),
Segments maximaux et estimateurs de tangentes
Thursday 18th December 2008 at 10h15
Mark Weber
(PPS, Paris 7),
Monads with arities
Thursday 11th December 2008 at 10h15
Geneviève Paquin
(LAMA),
Etude des points fixes sous la fermeture pseudopalindromique itérative
Thursday 4th December 2008 at 10h
Choco
(TBA),
Séminaire Choco
Thursday 27th November 2008 at 10h15
Damiano Mazza
(LIPN, Villetaneuse),
Réécriture, catégories d'ordre supérieur, et expressivité des modèles de calcul concurrent
Thursday 20th November 2008 at 10h15
Ugo Dal Lago
(Bologne),
Taming Modal Impredicativity: Superlazy Reduction
Thursday 13th November 2008 at 10h15
Luigi Santocanale
(LIF, Marseille),
Outils algébriques pour les logiques modales de point fixe
Thursday 6th November 2008 at 10h
Choco
(IML, LAMA),
Séminaire Choco
Thursday 23rd October 2008 at 10h15
Christophe Raffalli
(LAMA),
PML, où en est-on ?
Thursday 16th October 2008 at 15h15
Katarzyna Grygiel
(Jagiellonian University, Cracovie),
Quantitative approach to lambda calculus
Thursday 16th October 2008 at 10h15
Samuel Mimram
(PPS, Paris 7),
Causalité dans les sémantiques interactives
Thursday 9th October 2008 at 10h
Choco
(LIX, LIP, IML, PPS),
Séminaire Choco
Thursday 2nd October 2008 at 10h15
Michaël Weiss
(TCS-Sensor lab, Genève),
Calculabilité des pavages
Thursday 25th September 2008 at 10h15
Benoît Masson
(LIF, Marseille),
Des piles de sable aux automates de sable
Thursday 18th September 2008 at 10h15
Pierre Hyvernat
(LAMA),
Fonctions booléennes et logique linéaire barycentrique
Thursday 11th September 2008 at 10h15
Guillaume Theyssier
(LAMA),
Automates cellulaires, dynamique topologique et logique
Thursday 4th September 2008 at 10h15
Tom Hirschowitz
(LAMA),
Vers des jeux topologiques
Monday 1st September 2008 at 14h30
Clément Fumex
(LAMA),
Container, dérivation de type et zipper, une répétition de soutenance
Thursday 3rd July 2008 at 10h15
Pierre Hyvernat
(LAMA),
Les espaces cohérents et les espaces de finitude
Tuesday 1st July 2008 at 10h30
Laurent Fuchs
(Université de Poitiers),
La droite réelle de Harthong-Reeb, un modèle d'une droite réelle constructive ?
Thursday 26th June 2008 at 10h15
Benoît Montagu
(INRIA Rocquencourt),
A Logical Account of Type Generativity: Abstract types have open existential types
Thursday 19th June 2008 at 10h
Choco
(Southampton, Copenhague, et PPS),
Séminaire Choco: bigraphes
Tuesday 10th June 2008 at 10h15
Alexandre Miquel
(PPS, Paris 7),
Réalisabilité
Thursday 29th May 2008 at 10h15
Fairouz Kamareddine
(Université Heriot-Watt, Edimbourg),
Une computerisation graduelle des textes mathematiques dans le systeme MathLang
Thursday 22nd May 2008 at 10h15
Emmanuel Jeandel
(LIF, Marseille),
Les pavages comme outils de la logique
Thursday 15th May 2008 at 10h15
Sylvain Lebresne
(PPS, Paris 7 et Logical, LIX),
Un système d'exceptions pour le Système F
Thursday 24th April 2008 at 10h
Projet Choco
(PPS et Cambridge),
Quatrième journée Choco
Thursday 17th April 2008 at 10h
Samuel Thibault
(XenSource),
Petite histoire des threads migrateurs et de l'algorithmie des bulles, ou comment les ambients sauvent la banquise
Thursday 10th April 2008 at 10h15
Robert Bonnet
(LAMA),
Algèbre libre sur un monoïde et demi-treillis compacts
Tuesday 8th April 2008 at 10h30
Mouhammad Said
(LAMA),
Géométrie multi-résolution des objets bruités
Thursday 3rd April 2008 at 10h15
Laurent Vuillon
(LAMA),
Combinatoire des mots et conjecture de Fraenkel
Tuesday 1st April 2008 at 10h30
Karim Nour
(LAMA),
TBA
Thursday 27th March 2008 at 10h15
Pierre Guillon
(Univ. Marne-la-Vallée),
Automates cellulaires: trace et nilpotence
Thursday 20th March 2008 at 10h
Projet Choco
(TBA),
Quatrième journée Choco
Thursday 13th March 2008 at 10h15
Lionel Vaux
(IML),
λ-calcul algébrique
Thursday 6th March 2008 at 10h15
Muhammad Humayoun
(LAMA),
Software Specifications and Mathematical Proofs in Natural Languages
Friday 22nd February 2008 at 14h
Damien Pous
(Plume),
Soutenance de thèse
Thursday 21st February 2008 at 10h
Projet Choco
(Bologne, INRIA Sophia et IML),
Troisième journée Choco
Thursday 14th February 2008 at 10h15
Giulio Manzonetto
(PPS (Paris 7)),
Modèles effectifs du lambda calcul
Thursday 7th February 2008 at 10h15
Srecko Brlek
(LaCIM, UQAM),
Ensembles discrets ronds
Thursday 31st January 2008 at 10h
Projet Choco
(PPS et IML),
Deuxième journée Choco
Thursday 24th January 2008 at 10h15
Tom Hirschowitz
(LAMA),
Une théorie des théories des jeux
Thursday 17th January 2008 at 10h15
Francesco Zappa-Nardelli
(Moscova (INRIA)),
Oracle Semantics for Concurrent Separation Logic
Wednesday 16th January 2008 at 14h
Stéphane Le Roux
(Mathematical Components (INRIA-Microsoft Research)),
Soutenance de thèse
Thursday 10th January 2008 at 10h15
Frédéric Ruyer
(LAMA),
Modèles pour le calcul et la logique
Friday 21st December 2007 at 10h
Dragisa Zunic
(ENS Lyon),
Soutenance de thèse
Thursday 20th December 2007 at 10h
Projet Choco
(ANR),
Journée interne projet Choco
Thursday 13th December 2007 at 10h15
Stefano Berardi
(Turin),
A computational interpretation of classical proofs through parallel computations
Wednesday 12th December 2007 at 14h
Peter Battyanyi
(LAMA),
Normalization properties of symmetric logical calculi
Wednesday 12th December 2007 at 10h
Ralph Matthes
(CNRS, IRIT),
Substitution - des solutions surprenantes avec des familles inductives
Thursday 6th December 2007 at 10h15
Jacques-Olivier Lachaud
(LAMA),
Estimation robuste de courbure
Thursday 22nd November 2007 at 10h15
Francesco Zappa-Nardelli -- Annulé
(INRIA Rocquencourt),
Oracle Semantics for Concurrent Separation Logic
Thursday 15th November 2007 at 10h15
Thomas Fernique
(LIRMM),
Reconnaissance de plan et fractions continues
Thursday 8th November 2007 at 11h
Alexandre Miquel
(PPS, Paris 7),
L'effectivité expérimentale de la preuve mathématique
Thursday 25th October 2007 at 10h30
Richard Garner
(Uppsala),
Categorical models of dependent type theory
Friday 19th October 2007 at 10h30
Jules Villard
(LSV (ENS Cachan)),
Une logique spatiale pour le pi-calcul appliqué
Thursday 18th October 2007 at 10h15
Nicolas Ollinger
(LIF),
Pavages: de l'apériodicité à l'indécidabilité
Monday 15th October 2007 at 10h
Muhammad Humayoun
(LAMA),
Certified software specifications and Mathematical Proofs in Natural Languages
Thursday 11th October 2007 at 10h15
Giovanni Feverati
(Laboratoire d'Annecy-le-Vieux de Physique Théorique),
An evolutionary model with Turing machines
Friday 5th October 2007 at 10h15
Assia Mahboubi
(INRIA/ Microsoft Research),
Réflexions sur les preuves formelles en Coq
Thursday 27th September 2007 at 10h15
Pierre Hyvernat groupe de lecture
(LAMA),
Une question de Pierre + Curry-Howard et les protocoles
Thursday 20th September 2007 at 10h15
Frédéric Prost
(LIG (équipe CAPP)),
Traitement de la non-compositionalité dans un langage de programmation fonctionel quantique
Thursday 12th July 2007 at 11h30
Humayoun Muhammad
Urdu Morphology, Orthography and Lexicon Extraction
Thursday 12th July 2007 at 10h15
Jean Quilbeuf
Elimination des coupures en déduction naturelle propositionnelle intuitionniste avec disjonction.
Friday 6th July 2007 at 15h
Thomas Ehrhard
Traduction d'un pi-calcul finitaire et polyadique dans les réseaux d'interaction différentiels
Friday 6th July 2007 at 14h
Ralph matthes
Substitution - des défis surprenants avec des familles inductives
Friday 6th July 2007 at 10h
Khelifa Saber
Soutenance de sa thèse
Thursday 5th July 2007 at 15h
Hugo Herbelin
(INRIA Futurs),
The hidden exception handler of Parigot's lambda-mu-calculus and its completeness properties
Thursday 5th July 2007 at 10h15
Kim Bruce
(Pomona College),
Modularity and Scope in Object-Oriented Languages
Wednesday 4th July 2007 at 14h
M Zaionc
Classical and intuitionistic logic are asymptotically identical
Wednesday 4th July 2007 at 10h15
M Zaionc
Asymptotic densities in logic
Thursday 28th June 2007 at 10h15
Michał Pałka
Functional Graphical User Interfaces 151 An Implementation based on GTK
Thursday 21st June 2007 at 10h15
David Aspinall
The Future of Proof Engineering with Proof General
Friday 15th June 2007 at 10h30
Graham White
The Semantics of Adverbial Inference
Friday 15th June 2007 at 09h
Kurt Ranalter
Continuations, events, and natural language
Thursday 14th June 2007 at 10h15
Laurent Boyer
Densité de propriétés sur les automates cellulaires
Thursday 7th June 2007 at 14h
Richard Dapoigny
Vers une planification basée sur une Théorie Constructive des Types en logique Intuitionniste. ATTENTION : C'EST A 14 H
Friday 1st June 2007 at 10h15
Sébastien Briais
Une bisimulation ouverte pour le spi calcul
Thursday 31st May 2007 at 10h15
Colin Riba
(LORIA),
Strong Normalization and Union Types
Thursday 10th May 2007 at 10h15
Christophe Raffalli
Les preuves en PML
Thursday 19th April 2007 at 10h15
Guillaume Theyssier
(Univ. Savoie),
Fractran
Thursday 5th April 2007 at 10h15
Dominique Duval
(UJF),
Homomorphismes de logiques
Thursday 29th March 2007 at 10h
Silvia Ghilezan
(University of Novi Sad),
Characterizing strong normalization in the Curien Herbelin
Thursday 22nd March 2007 at 10h15
Julien Narboux
Formalisation et automatisation du raisonnement géométrique en Coq
Thursday 15th March 2007 at 10h15
Francois Lamarche
(LORIA),
Sémantiques symétriques des preuves en logique propositionnelle classique
Tuesday 13th March 2007 at 10h15
Lionel Vaux
(IML),
λ-calcul algébrique
Thursday 8th March 2007 at 10h15
Lionel Vaux
Un lambda-bar-mu calcul avec produit de convolution sur les piles
Thursday 1st March 2007 at 10h15
Alexandre Miquel
Un lambda-calcul avec constructeurs
Thursday 22nd February 2007 at 10h
Louis Mandel
Programmation réactive en Caml : Implantation de ReactiveML
Thursday 15th February 2007 at 14h
R Kervarc
Soutenance de sa thèse
Thursday 8th February 2007
— Friday 09 february 2007
Groupe de Travail LAC du DGR IM
Thursday 8th February 2007
GDR IM
Journées Logique, Algèbre et Calcul du GDR IM
Thursday 1st February 2007 at 11h
Groupe de lecture topos
Sous-faisceaux dans les topologies de Grothendieck
Thursday 25th January 2007 at 10h15
Pierre Lescanne
Jeux, équilibres et réseaux de régulation de gènes
Thursday 18th January 2007 at 14h
Radu Mateescu
(INRIA Rhône Alpes),
MCL: A Model Checking Language for Concurrent Value-Passing Systems
Thursday 18th January 2007 at 10h15
Guillaume Melquiond
De l'arithmétique d'intervalles à la certification de programmes
Thursday 11th January 2007 at 10h15
G Lafitte
Du calcul à l'incomplétude
Thursday 14th December 2006 at 11h
Philippe Audebaud
Vérification formelle d'algorithmes probabilistes dans coq
Thursday 7th December 2006 at 10h15
Guillaume Theyssier
Attention, une Conwayrie peut en cacher une autre.
Wednesday 6th December 2006 at 09h
A Ranta
Grammars as Software Libraries
Tuesday 5th December 2006 at 14h
Patrick Thévenon
Soutenance de thèse : Vers un assistant de preuve en langue naturelle
Thursday 30th November 2006 at 14h
Frédéric Ruyer
Soutenance de thèse : Preuves, Types et Sous Types
Thursday 30th November 2006 at 10h15
Gilles Dowek
Les algèbres de valeurs de vérités et la normalisation
Thursday 16th November 2006 at 10h15
K Ranalter
Categories for Pragmatics
Thursday 26th October 2006 at 10h15
P Hyvernat
Introduction aux jeux de Conway et nombres surréels ; problèmes de combinatoire.
Thursday 19th October 2006 at 10h15
travail collectif
groupe de travail sur un resultat de Gandy
Thursday 12th October 2006 at 11h
Aurelien Pardon
Une explication du critere de Danos-Regnier pour MLL
Thursday 5th October 2006 at 10h15
F Becker
Pavages auto-assemblants : un calcul géométrique
Thursday 28th September 2006 at 10h15
G Theyssier
Automates cellulaires et systèmes dynamiques
Thursday 21st September 2006 at 10h15
Christophe Raffalli
PhoX et après ?
Thursday 29th June 2006 at 10h15
Karim Nour
Une sémantique de réalisabilité pour un système de type avec intersection et variables d'expansion.
Thursday 22nd June 2006 at 10h15
Noel Bernard
Introduction aux Bigraphes
Thursday 15th June 2006 at 10h15
François Régis Sinot
Stratégies du lambda-calcul dans les réseaux d'interaction
Thursday 8th June 2006 at 10h15
Laurent Vuillon
Combinatoire et mots de Sturm
Thursday 11th May 2006 at 14h
Laurent Regnier
(Université de la Méditerranée),
TBA
Thursday 27th April 2006 at 10h
Olivier Laurent (en cours de negociation)?
TBA
Thursday 13th April 2006 at 10h15
Khelifa Saber
Un résultat de complétude pour une classe de types du système F
Thursday 6th April 2006 at 10h15
Hugo Herbelin
Au coeur de la dualité du calcul : appel par nom, appel par valeur et calcul des séquents
Thursday 30th March 2006 at 14h
Julien Moncel
Identification de sommets dans les graphes. (Attention : 14h)
Thursday 30th March 2006 at 10h15
Guillaume Theyssier
Automates cellulaires : de l'objet syntaxique au système dynamique
Monday 27th March 2006 at 10h15
Olivier Brunet
Éléments d'une logique de la connaissance quantique (Attention, c'est un lundi)
Thursday 23rd March 2006 at 14h15
Julien Forest
Réécriture d'ordre supérieur avec motifs. (Attention : 14h15)
Thursday 16th March 2006 at 10h15
Nicolas Bedaride
Complexité du billard polyédral
Thursday 9th March 2006 at 10h15
Emmanuel Beffara
Modèles concurrents de la logique linéaire
Thursday 9th February 2006 at 14h
Yves Guiraud
Polygraphes, réécriture et logique (Attention : 14h)
Thursday 2nd February 2006 at 14h
Damien Jamet
Combinatoire des mots en géométrie discrète (Attention : 14h)
Thursday 19th January 2006 at 10h
Pierre Hyvernat
(Institut mathématique de Luminy),
Programmation, simulations, topologie et types dépendants (and much more if time permits)
Thursday 12th January 2006 at 10h15
Katell Morin-Allory
A proof of correctness for the construction of property monitors
Thursday 5th January 2006 at 10h15
Peter Battyanyi
Weak normalization of the Lambda mu calculus with the rules mu' and rho
Thursday 8th December 2005 at 10h15
Patrick Thévenon
Typage avec deux flèches
Thursday 8th December 2005 at 10h
Stephane Le Roux
(ENS Lyon),
Théorie des jeux sans probabilité
Monday 5th December 2005 at 14h
Jakub Kozik
(Jagiellonian University),
Decidability of density problem for languages
Thursday 1st December 2005 at 10h15
Christophe Raffalli
Typage sans types, preuve de la préservation du type.
Thursday 1st December 2005 at 10h
Radu Mateescu
(INRIA),
Communication mobile à travers des portes immobiles
Thursday 24th November 2005 at 10h
Claudia Faggian et Patrick Baillot
Meta interactions
Thursday 17th November 2005 at 10h15
Anne Bouillard
(LIP ENS Lyon),
Etude combinatoire et asymptotique du groupe de traces
Thursday 3rd November 2005 at 10h
Christophe Raffalli
(LAMA (université de Savoie)),
Typing without types (Types as programs)
Thursday 13th October 2005 at 14h15
Fairouz Kamareddine
(Heriot-Watt University, Edinburgh, Scotland),
Théorie des types
Thursday 22nd September 2005 at 10h
Rene Vestergaard
(JAIST (Japon)),
Reasoning about Languages with Binding: a first-order foundation and full adequacy
The seminar of the team LIMD is under the responsibility of Guillaume
Theyssier.
Settings:
See with
increasing date
.
Show abstracts
By year: 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013.