Home
People
Research
Publications
Projects
Events
Software
Seminar






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


Everest seminars

In case you are searching other meetings at Everest; take a look at the events section.


Seminars in 2008:

25 July 11:00Fermat Jaune Renato Cherini A step forward in local reasoning
03 July 11:00Kahn K2 Jorge Luis Sacchini A proposal for a new elimination rule for Coq
20 June 11:00Fermat Jaune Javier Blanco A categorial mistake in the formal verification debate
16 June 11:00Fermat Jaune Martin Ochoa Code-based cryptographic proofs
25 May 11:00Byron BeigeZhengqin Luo Cryptographically Sound Symbolic Analysis and its Application of Analyzing Anonymity
21 April 11:00Fermat Jaune Damian Nadales Progress based derivations of concurrent programs
26 March 11:00 Fermat Jaune Gérard Boudol Typing safe deallocation
12 March 11:00 Kahn K2 César Kunz Certificate Translation in Abstract Interpretation
15 February 11:00 Fermat Jaune Felipe Zipitria Towards Robust Distributed Computations
08 February 11:30 (Mimosa's meeting room) Tamara Rezk Cryptographically sound implementation of language-based security



Check the lists of previous seminars