Séminaire Lemme/Premisse - Seminar Lemme/Premisse

Le séminaire a habituellement lieu le vendredi après-midi en Salle du conseil.

The seminar normally takes place on Friday afternoons in the Salle du conseil.

2001

Janvier
Jan 12 14:30 Marieke Huisman Verification of Java's AbstractCollection class in Isabelle
Jan 19 14:30 Nicolas Magaud Changes of Data Type in the Calculus of Inductive Constructions
Jan 26 14:30 Claudio Sacerdoti Project HELM: an Hypertextual Electronic Library of Mathematic
Février
Fev 2 14:30 Claude Pasquier Ketuk : un système de mapping entre XML et javaBeans
Fev 8 10:30 Conor McBride Elimination with a Motive
Fev 9 10:30 Conor McBride Leibniz and the Zipper
Fev 12 10:30 Micaela Mayero Méthodes formelles et Différentiation automatique
Fev 15 14:00 Monica Nesi On Rewriting with Divergent Rewrite Systems
Fev 16 14:30 Fermat-2 Maria Joao Frade Type ensured termination of recursive definitions
Fev 23 14:30 Fermat-2 Dilian Gurov Verification of Erlang programs
Fev 27 10:30 E006 Rajeev Goré Logic and Automated Reasoning for Security of Mobile Code
Mars
Mar 9 14:30 E002 Loïc Pottier Quotients in the Calculus of Inductive Constructions
Mar 13 14:30 E006 Pablo Argon SMV et Coq
Mar 16 14:30 E003 David von Oheimb Hoare Logic for Java in Isabelle/HOL
Mar 23 14:30 Salle du conseil Didier Bondyfalat Démonstration automatique en Géométrie
Mar 30 14:30 Salle du conseil Gilles Barthe Jakarta: a toolset for reasoning about JavaCard
Avril
Avr 6 14:30 E003 Antonia Balaa Etude théorique des fonctions
Avr 13 14:30
Avr 23 14:30 Salle du conseil Olivier Pons
Avr 27 14:30
Mai
Mai 4 10:00 Salle du conseil Jean-François Monin Modélisations et vérification d'un algorithme temporisé
Mai 11 14:30 Salle du conseil Yves Bertot Formalisation d'algorithmes d'enveloppe convexe/
Formalizing convex hull algorithms
Mai 18 14:30 Fermat-2 Nicolas Magaud Towards proving the implementation of a square root algorithm in Coq/
Vers la formalisation d'un algorithme de racine carrée dans Coq
Mai 21 14:00 E006 Andrei Sabelfeld Semantic Models for Confidentiality
Mai 22 11:00 E006 Andrei Sabelfeld Type-based Techniques for Confidentiality
Mai 23 14:30 Salle du conseil Pierre Casteran Towards a generic tool for reasoning on transition systems
Juin
Jun 1 14:30 Salle du Conseil Laurent Théry Une informelle presentation des flottants dans Coq
Jun 8 14:30 Salle du Conseil Bernd Grobauer Cost Recurrences for DML Programs
Jun 12 14:30 E006 Erik Poll JML for Java Card
Jun 14 14:30 Salle du Conseil Rajeev Goré Formalising Strong Normalisation for the Display Calculus of Relation Algebras in Isabelle/HOL
Jun 15 14:30 Salle du Conseil Julien Vayssiere Reflections on MOPs, Components, and Java Security
Jun 19 11:00 E006 Guillaume Gillard Formalisation des langages concurrents et à objets modulo l'alpha-conversion
Jun 22 14:30
Jun 29 14:30
Juillet
Jul 10 10:30 E006 Hanane Naciri The Marriage of MathML and Theorem Proving

La liste des séminaires de l'année 2000 est disponible ici.

See also the list of talks given at the seminar in 2000.

Marieke Huisman
Last modified: Fri Jul 6 15:52:26 MEST 2001