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.

25 July	11:00	Fermat Jaune	Renato Cherini	A step forward in local reasoning
03 July	11:00	Kahn K2	Jorge Luis Sacchini	A proposal for a new elimination rule for Coq
20 June	11:00	Fermat Jaune	Javier Blanco	A categorial mistake in the formal verification debate
16 June	11:00	Fermat Jaune	Martin Ochoa	Code-based cryptographic proofs
25 May	11:00	Byron Beige	Zhengqin Luo	Cryptographically Sound Symbolic Analysis and its Application of Analyzing Anonymity
21 April	11:00	Fermat 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