News

February 2016

• Deliverable D1-1 "Decision Procedures for Separation Logic" published.
• Deliverable D1-2 "Decision Procedures for Containers" published.

January 2016

• New SMT solver for Separation Logic with unrestricted data theories: CVC4SepLog
• The paper "Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems" has been accepted to TACAS 2016

October 2015

• The paper [ "On Automated Lemma Generation for Separation Logic with Inductive Definitions"] has been presented at ATVA 2015

September 2015

• Tomas Vojnar from Brno University of Technology visited LIAFA on September 14--18, 2015.

August 2015

• Mihaela Sighireanu gave a talk on shape analysis by abstract interpretation at VTSA 2015 summer school.

July 2015

• Samantha Dinh, student at EIDD, is doing an internship at LIAFA on translation in C of Ada 2012 formal libraries.
• Etienne Toussaint, student at Univ. Paris Diderot, is doing an internship at LIAFA on a solver for multi-set constraints.

June 2015

• Vecolib meeting on June 3rd, 2015, programme here
• Nikos Gorogiannis from Middlesex University London visits LIAFA on June 2nd and 3rd.

March 2015

• First deliverable on Case Studies is released, see Deliverables section.
• Jens Gerlach from Fokus Fraunhofer, maintainer and contributor of ACSL by Example, visited LIAFA on March 24th 2015.
• Tomas Vojnar, Adam Rogalewicz and Lukas Holik from Brno University of Technology will visit Verimag on March 23--27, 2015
• Radu Iosif is invited to attend the Infinite-State Systems: Algorithms, Decidability, Complexity Workshop at Bellairs Institute Barbados on March 13--20, 2015.
• CEA-LIST organized the Frama-C Day on March 13th 2015. Mihaela Sighireanu presented the Celia tool.
• Radu Iosif will give an invited talk at the Logic Seminar of the University of Bucharest on March 6, 2015.

February 2015

• 2nd VECOLIB meeting on February 27, 2015, programme here.
• The VECOLIB website has been restored, after previous shutdown due to piracy attempts.

December 2014

• Prof. Chin Wei Ngan (National University of Singapore) will give an introductory course in Automatic Program Verification using Separation Logic on December 12, 16 and 18 at VERIMAG.
• Zhilin Wu, associate researcher at the Chinese Academy of Sciences is visiting researcher at LIAFA until June 2015.

November 2014

• First VECOLIB meeting on November at LIAFA: programme and participants here.