Monthly Archives: November, 2007
-
-
20 November 2007
Rico Malvar and Tarek Elabbady visit on 2011/11/07
-
Rico Malvar and Tarek Elabbady visit on 2011/11/07 The Joint Centre, Jean-Jacques Lévy Mathematical Components, Assia Mahboubi Secure Distributed Computations, Pierre-Yves Strub Project Mint (INRIA-Lille), Géry Casiez Image and Video Mining, Jean Ponce A-Brain, Gabriel Antoniu, Bertrand Thirion Dynamic Dictionary of Math. Functions,Frédéric Chyzak TLA+, Damien Doligez
More
-
-
12 November 2007 - Tools for Proofs
Leslie Lamport becomes Doctor Honoris Causa from University Henri Poincaré, Nancy-1
-
November 12, 2007 Leslie Lamport becomes Doctor Honoris Causa from University of Nancy. see announcement and video. Stephan Merz organizes a seminar in honor of Leslie Lamport on November 13 at Loria. see here ...
More
-
-
5 November 2007 - Tools for Proofs
Kaustuv Chaudhuri arrives to Orsay for 2 years as Ingénieur Expert
-
Kaustuv Chaudhuri arrives to Orsay for 2 years as Ingénieur Expert. He previously was post-doctorant at LIX in Ecole polytechnique. Kaustuv will design and implement the TLA+ parser in the “Tools and Methodologies for Formal Specifications and for Proofs” project ...
More
