Difference between revisions of "News"

From vecolib
Jump to: navigation, search
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
 +
'''September 2017'''
 +
 +
[http://adsl.univ-grenoble-alpes.fr/ First Workshop on Automated Deduction for Separation Logics] July 13th 2018, Oxford, UK (affiliated with [http://lics.siglog.org/lics18/ LICS 2018])
 +
 +
'''September 2016'''
 +
 +
* [http://nts.imag.fr/index.php/Infinite_Systems_Verification_Day Infinite Systems Verification Day (HdR Radu Iosif)]
 +
 +
'''February 2016'''
 +
 +
* Deliverable D1-1 [http://vecolib.imag.fr/images/7/7a/D1-1.pdf "Decision Procedures for Separation Logic"] published.
 +
* Deliverable D1-2 [http://vecolib.imag.fr/index.php/File:D1-2.pdf "Decision Procedures for Containers"] published.
 +
 
'''January 2016'''
 
'''January 2016'''
  

Latest revision as of 17:39, 26 September 2017

September 2017

First Workshop on Automated Deduction for Separation Logics July 13th 2018, Oxford, UK (affiliated with LICS 2018)

September 2016

February 2016

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

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

March 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

November 2014

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