| Date | Time | Place/Room | Subject | Person | |
|---|---|---|---|---|---|
| Nov 99 | 22nd | 14h00 | Lagrange | Certification of Sorting Algorithms in the Coq System (abstract) | Nicolas Magaud |
| Oct 99 | 19th | 14h00 | Lagrange | Network Distributed Applications at CRS4 | Jean-Christophe Pazzaglia CRS4 |
| 14th | 11h00 | Introduction au calcul de réécriture (abstract) | Claude Kirchner LORIA | ||
| Sept 99 | 17th | 10h00 | E003 | A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (abstract) | John Hatcliff
Kansas State University |
| 16th | Bandera : Extracting Finite-State Models from Java Source Code (abstract) | Matthew Dwyer
Kansas State University |
|||
| July 99 | 13rd | 14h00 | Lagrange | RSA | Jose Carlos Almeida |
| 15h00 | Object Calculi | David Teller & Sebastien Villemot | |||
| 7th | 15h00 | Le seal calcul et les agents mobiles | Valery Beaujean | ||
| 15h30 | Analyses de forme dans le compilateur TurboJ | Romain Guider | |||
| 6th | 8h30 | ESSI salle 308 |
Analyse et Elements de Formalisation de la Securite de Java 2 Soutenance de DEA Rapport .ps.gz 1,5 Mø .pdf 1,7 Mø Transparents .ps.gz 106 kø .pdf 811 kø |
Alexandre Fau | |
| 2nd | 11h30 | Lagrange | Pre-Soutenance de DEA | Alexandre Fau | |
| June 99 | 30th | 14h30 | Polytechnique Laboratoire de l'X |
Tests Interactifs d'Applications Java Card Soutenance de Stage d'option scientifique de l'X Rapport .ps.gz 800 kø .pdf 900 kø |
Ludovic Henrio |
| 28th | 10h30 | ESSI Amphi Ouest |
Migration d'Objets Actifs dans Proactive Soutenance de DEA Rapport .ps.gz 155 kø .pdf 500 kø Transparents .ps.gz 333 kø .ps.gz 290 kø |
Fabrice Huet | |
| 25th | 10h00 | E002 | Pre-Soutenance de Stage du DEA RSD |
Fabrice Huet | |
| 11h00 | Pre-Soutenance de Stage de l'X | Ludovic Henrio | |||
| 9th | 14h30 | Tracing piece by piece: affordable debugging for lazy functional languages
(papers) |
Henrik Nilsson | ||
| 4th | 14h00 | Systemes de Type et Applications
(+ d'info  ) |
Gilles Barthe | ||
| 15h00 | Alexandre Fau | ||||
| 3rd | 14h00 | Lagrange | Partage en lecture pour la programmation à objets parallèle et distribuée | David Sagnol | |
| May 99 | 28th | 14h00 | ESSI |
Conception et Implantation d'un Langage pour les Transformations de Programmes
Soutenance de Thèse Thèse .ps.gz 840 kø .pdf 2 Mø Transparents .ps.gz 750 kø .pdf 820 kø |
Christophe Roudet |
| 27th | 10h00 | Lagrange | Status, relations and differences of their works | Ewen Denney, IRISA Rennes & Shen-Wei Yu | |
| 26th | 14h00 | Pre-Soutenance de These | Christophe Roudet | ||
| 15h00 | Evaluation partielle et analyse de securite pour les calculs à objets | Gilles Barthe & Bernard Serpette | |||
| 19th | 14h00 | Formal verification of concurrent programs in type theory ( PhD thesis report) | Shen-Wei Yu | ||
| Mar.99 | 30th | 14h00 | Lagrange | Security
(links
) Object Migration (.ps
) |
Alexandre Fau & Fabrice Huet |
| 10h30 | Comment déforester dans les paramètres d'accumulation ? | Didier Parigot, INRIA Rocquencourt | |||
| 10th | 9h30 | ProActive (formerly Java//) Past, Present, and Future
(.ps
) |
Julien Vayssiere | ||
| Feb. 99 | 16th | 10h30 | Static Reductions on Functional Languages
(.ps
) |
Bernard Serpette | |
| 10th | Fermat 2 | Cap File Format of JCVM
(.ps
) |
Shen-Wei Yu | ||
| 3rd | Lagrange | Introduction to the Java Card language & Object sharing mechanisms | Carine Courbis | ||
| Jan. 99 | 30th | 16h00 | Villefranche sur Mer |
A Formal Executable Semantics for Java
(.ps
) |
Marjorie Russo |
| 29th | 10h00 | Rocquencourt | Verification of Java Card Byte Code
(.ps
) |
Shen-Wei Yu | |