Address
Project Everest
INRIA Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis

Previous Everest seminars from 2006/2007

Seminars in 2007:

12 december	2:30pm	(Fermat Jaune)	Henri-Charles Blondeel	Security by Logic : Characterizing Non-Interference in Temporal Logic.	slides
5 december	2:30pm	(Euler Bleu)	Marieke Huisman	A Formal Connection between Security Properties and JML Annotations
25 october	2:30pm	(Fermat Jaune)	Clément Hurlin	Modular Verification of Multithreaded Object-Oriented programs
20 september	2:00pm	(Byron Beige)	Christian Haack	Types for Cryptographic Protocols	slides
16 july	11:00am	(Galois Turquoise)	Patrice Chalin	Non-Null References by Default in Java: Alleviating the Nullity Annotation Burden
14 June	2:30pm	(Galois Coriolis)	Jaroslav Sevcik	Formalising Java's Data Race Free Guarantee
12 June	2:30pm	(Galois Coriolis)	Marija Kolundzija	Access control and declassification	slides
28 May	10:30am	(Fermat Jaune)	Colin Riba	Strong Normalization and Union Types
25 May	10:30am	(Borel Rouge)	Bart Jacobs	Static verification of safety properties of multithreaded object-oriented programs	slides
19 April	2:30pm	(Fermat Jaune)	Santiago Zanella	Towards Language-Based Cryptographic Proofs	slides
29 March	2:30pm	(Fermat Jaune)	Laurent Théry	Proving Primality with Elliptic Curve	slides
8 March	2:30pm	(Fermat Jaune)	Nicolas Julien	Arithmétique réelle exacte certifiée, co-induction et base arbitraire	slides
12 February	2:30pm	(Fermat Jaune)	Yu Zhang	Cryptographic Logical Relations	slides
25 January:	2:30pm	(Fermat Jaune)	Clément Hurlin	Practical proof reconstruction for first-order logic and set-theoretical constructions	slides
15 January:	11:00am	(Euler Bleu)	John Hatcliff	An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software

Seminars in 2006:

28 June:	10:00	(Lagrange Gris)	Alejandro Tamelet	A semantics for proving class correctness in Eiffel
28 April:	14:30	(Fermat Jaune)	David Pichardie	A PCC Architecture based on Certified Abstract Interpretation
12 April:	11:00	(Coriolis)	Fernando Pastawski	Practical Inference for F^, a Type System Guaranteeing Termination
17 March	14:30	(Euler Bleu)	Clément Hurlin	Rewriting of the verification conditions generator of ESC/Java2
26 January:	14:30	(Fermat Jaune)	Mariela Pavlova	Memory consumption policies using Hoare logic
12 January:	14:30	(Fermat Jaune)	David Pichardie	Bicolano: a Java Bytecode Semantics in Coq

Check the lists of older seminars