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

Year 2007

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 GDR IM
Journées Logique, Algèbre et Calcul du GDR IM

Thursday 8th February 2007 — Friday 09 february 2007
Groupe de Travail LAC du DGR 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

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