Séminaire Lemme/Premisse - Seminar Lemme/Premisse

Le séminaire a habituellement lieu le vendredi après-midi en salle E-006 .

The seminar normally takes place on Friday afternoons in the E-006 .

2001

Décembre 2001
Dec 20	14:30	E-003	Frédéric Blanqui	Théorie des Types et Réécriture
Dec 7	14:30	E-003	Pierre Courtieu	Répétition de soutenance de thèse
Novembre 2001
Nov 30	14:30	E-003	Laurent Théry	Intégration de l'algorithme de Staalmarck dans Coq
Nov 23	10:30	E-002	Philippe Audebaud	Sémantique Axiomatique des Algorithmes Probabilistes
Nov 16	14:30	E-002	Herman Geuvers	Formalizing the "Fundamental Theorem of Algebra" using Coq
Nov 8	14:30	E-003	Lars-Åke Fredlund	A formal semantics for a subset of Erlang
Octobre 2001
Oct 25	11:00	E-006	Nestor Catano	La clause modifiable de JML: Sémantique, Vérification et Application
Oct 18	10:00	E-003	Didier Bondyfalat	Calcul d'ulp
Oct 12	14:30	E-002	Pierre Courtieu	Les types normalisés
Oct 5	14:30	Salle du conseil	Daniel Perovich	A Simple Methodology for Secure Object Sharing
Septembre 2001
Sept 28	14:30	E-006	Dilian Gurov	Compositional Verification of Multi-Application Programs
Sept 17	14:30	E-003	Sorin Stratulat	Preuves par récurrence avec ensembles couvrants contextuels. Applications à la vérification de logiciels de télécommunications

La liste des séminaires de l'année 2000 est disponible ici; celle des séminaires du premier semestre 2001 est là.

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

Last modified: Mon Jan 21 12:51:34 MET 2002