News

Archives

Projects

Share:
A A
Leslie Lamport
26 March 2014 - Tools for Proofs
ACM Turing Award goes to Leslie Lamport
On March 18th ACM has announced the nomination of Leslie Lamport as the recipient of the 2013 ACM Turing Award. Our congratulations to Leslie! The annoucement On the ACM web page. The news on the Microsoft RESEARCH website ... More
18 March 2014 - Tools for Proofs
New release of the TLA+ tools
We are pleased to announce a new release of the TLA+ Toolbox (version 1.4.8) and the TLA+ Proof System (version 1.3.0). This new version supports a PTL back-end, so you can now start doing Temporal Logic proofs in addition to the Set Theory and First-Order Logic supported by previous versions ... More
1 December 2012 - Tools for Proofs
A New Release of the TLA+ Proof System
TLA+ Proof System version 1.1.1 is available from http://tla.msr-inria.inria.fr/tlaps 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
1 June 2006 - Tools for Proofs
Damien Doligez arrives at Orsay
More