Difference between revisions of "News"

From vecolib
Jump to: navigation, search
Line 1: Line 1:
 +
'''October 2015'''
 +
* The paper [  "On Automated Lemma Generation for Separation Logic with Inductive Definitions"] has been presented at [http://atva2015.ios.ac.cn ATVA 2015]
 +
 +
'''September 2015'''
 +
* Tomas Vojnar from [http://www.fit.vutbr.cz/ 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 [http://resources.mpi-inf.mpg.de/departments/rg1/conferences/vtsa15/ VTSA 2015] summer school.
 +
 +
'''July 2015'''
 +
* Samantha Dinh, student at [eidd.univ-paris-diderot.fr EIDD], is doing an internship at LIAFA on translation in C of Ada 2012 formal libraries.
 +
* Etienne Toussaint, student at [informatique.univ-paris-diderot.fr 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 [http://vecolib.imag.fr/index.php/Paris_meeting_3_June_2015 here]
 +
* Nikos Gorogiannis from [www.mdx.ac.uk Middlesex University London] visits LIAFA on June 2nd and 3rd.
 +
 
'''March 2015'''
 
'''March 2015'''
 
* First deliverable on ''Case Studies'' is released, see ''Deliverables'' section.
 
* First deliverable on ''Case Studies'' is released, see ''Deliverables'' section.

Revision as of 10:09, 19 October 2015

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.univ-paris-diderot.fr EIDD], is doing an internship at LIAFA on translation in C of Ada 2012 formal libraries.
  • Etienne Toussaint, student at [informatique.univ-paris-diderot.fr 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 [www.mdx.ac.uk Middlesex University London] visits LIAFA on June 2nd and 3rd.

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.