Address
Project Everest
INRIA Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis
|
Everest Meetings on Program Logics
The meetings normally takes place on Wednesday mornings in
Fermat-jaune.
In case you are looking for the
Marelle/Everest seminars...
2006
|
June 2006
|
| June 14 |
9:30 |
(room Lagrange Gris) |
Julien Charles
and
Salvador Cavadini.
|
Single Static Assignments |
| June 7 |
9:30 |
(room Euler Bleu) |
Tamara Rezk
|
Separation Logics |
May 2006
|
| May 17 |
9:30 |
(room Euler Bleu) |
Marieke Huisman
|
Java Memory Model |
| May 10 (Cancelled) |
9:30 |
(room Euler Bleu) |
Philippe Audebaud
|
|
| May 3 |
14:30 |
(room Euler Bleu) |
Lennart Beringer
|
SSA |
April 2006
|
| Apr 19 (Suspended) |
9:30 |
(room Fermat Jaune) |
Julien Charles
|
Application of the native construct to model fields
toward the proof of a bytecode verifier
|
|
March 2006
|
| Mar 15 |
9:30 |
(room Fermat Jaune) |
Mariela Pavlova
|
heavy vs. light VCGen's |
January 2006
|
| Jan 25 |
14:30 |
(room Euler Indigo) |
Leonor Prensa
|
Owicki-Gries |
|