Séminaire Lemme - Seminar Lemme

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 .

2002

Septembre 2002
Sep 24 14:30 E-006 Sorin Stratulat Spike and JavaCard
Juillet 2002
Jul 19 14:30 E-006 Kuntal Das Barman Type-theoretic functional semantics
Juin 2002
Juin 21 14:30 E-006 Xavier Leroy La vérification de bytecode Java: le pons asinorum des analyses statiques de sécurité
Juin 7 14:30 E-006 Didier Bondyfalat COQ pour la chirurgie
Mai 2002
Mai 21 14:30 E-003 Marc Éluard Analyse de sécurité pour la certification d'applications Java Card
Mai 17 14:30 E-003 Kristoffer Rose Visual Editing of XSL Transformation Programs
Mai 13 15:25 E-006 Nicolas Magaud A GMP program computing square root and its proof within Coq
Mai 13 14:35 E-006 Guillaume Dufay Vérification Formelle de la Plate-forme JavaCard
Avril 2002
Avr 19 14:30 E-006 Laurent Gottely Vérification de propriétés de sécurité pour des librairies Java
Mars 2002
Mar 26 15:30 Coriolis Frédéric Blanqui Assistants à la démonstration: théorie, pratique et application à la sécurité
Mar 22 14:30 E-003 Pierre Courtieu Induction suivant la structure d'une fonction
Mar 8 14:30 E-003 Daniel Perovich Static Detection of Java Card Security Exceptions
Mar 1 14:30 E-003 Loïc Pottier Une tactique dans Coq pour prouver des inégalités polynômiales
Février 2002
Fev 22 14:30 E-003 Kerry Trentelman Extending JML Specifications with Temporal Logic
Fev 15 14:30 E-003 Joachim van den Berg Translating Java and JML into PVS
Fev 1 14:30 E-002 Sorin Stratulat Utilisation d'outils automatiques dans la verification du code JavaCard
Janvier 2002
Jan 25 14:00 E-006 Nicolas Schabanel Quelques techniques de dérandomisation

La liste des séminaires de l'année 2000 est disponible ici; celles des séminaires de 2001 est là et là.

See also the list of talks given at the seminar in 2000 or 2001a and 2001b.

Nicolas Magaud
Last modified: Fri Sep 20 13:24:47 MEST 2002