Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, toutes ensemble.

Année 2007

Vendredi 21 décembre 2007 à 10h, Lyon Dragisa Zunic (ENS Lyon),
Soutenance de thèse

Jeudi 20 décembre 2007 à 10h, Lyon Projet Choco (ANR),
Journée interne projet Choco

Jeudi 13 décembre 2007 à 10h15, Chambéry Stefano Berardi (Turin),
A computational interpretation of classical proofs through parallel computations

Mercredi 12 décembre 2007 à 14h, Chambéry Peter Battyanyi (LAMA),
Normalization properties of symmetric logical calculi

Mercredi 12 décembre 2007 à 10h, Chambéry Ralph Matthes (CNRS, IRIT),
Substitution - des solutions surprenantes avec des familles inductives

Jeudi 06 décembre 2007 à 10h15, Chambéry Jacques-Olivier Lachaud (LAMA),
Estimation robuste de courbure

Jeudi 22 novembre 2007 à 10h15, Lyon Francesco Zappa-Nardelli -- Annulé (INRIA Rocquencourt),
Oracle Semantics for Concurrent Separation Logic

Jeudi 15 novembre 2007 à 10h15 Thomas Fernique (LIRMM),
Reconnaissance de plan et fractions continues

Jeudi 08 novembre 2007 à 11h, Annecy Alexandre Miquel (PPS, Paris 7),
L'effectivité expérimentale de la preuve mathématique

Jeudi 25 octobre 2007 à 10h30, Chambéry Richard Garner (Uppsala),
Categorical models of dependent type theory

Vendredi 19 octobre 2007 à 10h30, Lyon Jules Villard (LSV (ENS Cachan)),
Une logique spatiale pour le pi-calcul appliqué

Jeudi 18 octobre 2007 à 10h15 Nicolas Ollinger (LIF),
Pavages: de l'apériodicité à l'indécidabilité

Lundi 15 octobre 2007 à 10h, Salle des séminaires, bâtiment le Chablais Muhammad Humayoun (LAMA),
Certified software specifications and Mathematical Proofs in Natural Languages

Jeudi 11 octobre 2007 à 10h15 Giovanni Feverati (Laboratoire d'Annecy-le-Vieux de Physique Théorique),
An evolutionary model with Turing machines

Vendredi 05 octobre 2007 à 10h15, Lyon Assia Mahboubi (INRIA/ Microsoft Research),
Réflexions sur les preuves formelles en Coq

Jeudi 27 septembre 2007 à 10h15 Pierre Hyvernat groupe de lecture (LAMA),
Une question de Pierre + Curry-Howard et les protocoles

Jeudi 20 septembre 2007 à 10h15, Chambéry Frédéric Prost (LIG (équipe CAPP)),
Traitement de la non-compositionalité dans un langage de programmation fonctionel quantique

Jeudi 12 juillet 2007 à 11h30, Chambéry Humayoun Muhammad ,
Urdu Morphology, Orthography and Lexicon Extraction

Jeudi 12 juillet 2007 à 10h15, Chambéry Jean Quilbeuf ,
Elimination des coupures en déduction naturelle propositionnelle intuitionniste avec disjonction.

Vendredi 06 juillet 2007 à 15h, Chambéry Thomas Ehrhard ,
Traduction d'un pi-calcul finitaire et polyadique dans les réseaux d'interaction différentiels

Vendredi 06 juillet 2007 à 14h, Chambéry Ralph matthes ,
Substitution - des défis surprenants avec des familles inductives

Vendredi 06 juillet 2007 à 10h, Chambéry Khelifa Saber ,
Soutenance de sa thèse

Jeudi 05 juillet 2007 à 15h, Chambéry Hugo Herbelin (INRIA Futurs),
The hidden exception handler of Parigot's lambda-mu-calculus and its completeness properties

Jeudi 05 juillet 2007 à 10h15, Lyon, salle B2 Kim Bruce (Pomona College),
Modularity and Scope in Object-Oriented Languages

Mercredi 04 juillet 2007 à 14h, Chambéry M Zaionc ,
Classical and intuitionistic logic are asymptotically identical

Mercredi 04 juillet 2007 à 10h15, Chambéry M Zaionc ,
Asymptotic densities in logic

Jeudi 28 juin 2007 à 10h15, Lyon, salle B2 Michał Pałka ,
Functional Graphical User Interfaces 151 An Implementation based on GTK

Jeudi 21 juin 2007 à 10h15, Chambéry David Aspinall ,
The Future of Proof Engineering with Proof General

Vendredi 15 juin 2007 à 10h30, Chambéry Graham White ,
The Semantics of Adverbial Inference

Vendredi 15 juin 2007 à 09h, Chambéry Kurt Ranalter ,
Continuations, events, and natural language

Jeudi 14 juin 2007 à 10h15, Chambéry Laurent Boyer ,
Densité de propriétés sur les automates cellulaires

Jeudi 07 juin 2007 à 14h, Chambéry Richard Dapoigny ,
Vers une planification basée sur une Théorie Constructive des Types en logique Intuitionniste. ATTENTION : C'EST A 14 H

Vendredi 01 juin 2007 à 10h15, Lyon, salle B2 Sébastien Briais ,
Une bisimulation ouverte pour le spi calcul

Jeudi 31 mai 2007 à 10h15, Lyon, salle B2 Colin Riba (LORIA),
Strong Normalization and Union Types

Jeudi 10 mai 2007 à 10h15, Chambéry Christophe Raffalli ,
Les preuves en PML

Jeudi 19 avril 2007 à 10h15, Chambéry Guillaume Theyssier (Univ. Savoie),
Fractran

Jeudi 05 avril 2007 à 10h15, Chambéry Dominique Duval (UJF),
Homomorphismes de logiques

Jeudi 29 mars 2007 à 10h, Lyon, salle B2 Silvia Ghilezan (University of Novi Sad),
Characterizing strong normalization in the Curien Herbelin

Jeudi 22 mars 2007 à 10h15, Chambéry Julien Narboux ,
Formalisation et automatisation du raisonnement géométrique en Coq

Jeudi 15 mars 2007 à 10h15, Lyon, salle B2 Francois Lamarche (LORIA),
Sémantiques symétriques des preuves en logique propositionnelle classique

Mardi 13 mars 2007 à 10h15, Chambéry Lionel Vaux (IML),
λ-calcul algébrique

Jeudi 08 mars 2007 à 10h15, Chambéry Lionel Vaux ,
Un lambda-bar-mu calcul avec produit de convolution sur les piles

Jeudi 01 mars 2007 à 10h15, Chambéry Alexandre Miquel ,
Un lambda-calcul avec constructeurs

Jeudi 22 février 2007 à 10h, Lyon, salle B2 Louis Mandel ,
Programmation réactive en Caml : Implantation de ReactiveML

Jeudi 15 février 2007 à 14h, Lyon, Salle des séminaires R Kervarc ,
Soutenance de sa thèse

Jeudi 08 février 2007, Chambéry GDR IM ,
Journées Logique, Algèbre et Calcul du GDR IM

Jeudi 08 février 2007 — Vendredi 09 février 2007, Chambéry ,
Groupe de Travail LAC du DGR IM

Jeudi 01 février 2007 à 11h, Lyon, salle B2 Groupe de lecture topos ,
Sous-faisceaux dans les topologies de Grothendieck

Jeudi 25 janvier 2007 à 10h15, Chambéry Pierre Lescanne ,
Jeux, équilibres et réseaux de régulation de gènes

Jeudi 18 janvier 2007 à 14h, Lyon, salle B2 Radu Mateescu (INRIA Rhône Alpes),
MCL: A Model Checking Language for Concurrent Value-Passing Systems

Jeudi 18 janvier 2007 à 10h15, Chambéry Guillaume Melquiond ,
De l'arithmétique d'intervalles à la certification de programmes

Jeudi 11 janvier 2007 à 10h15, Chambéry G Lafitte ,
Du calcul à l'incomplétude

Le séminaire de l’équipe LIMD est sous la responsabilité de Sebastien Tavenas.
Options : Voir par date croissante . Afficher les résumés.
Autres années : 2005, 2006, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, toutes ensemble.