Difference between revisions of "News"

From vecolib
Jump to: navigation, search
 
(30 intermediate revisions by 3 users not shown)
Line 1: Line 1:
* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement [[APVSL here]] and visit the course webpage below:
+
'''September 2017'''
** [http://loris-7.ddns.comp.nus.edu.sg/~project/Tut1/index.html Tutorial 1 : Automated Verification]
+
 
 +
[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'''
 +
 
 +
* New SMT solver for Separation Logic with unrestricted data theories: [https://github.com/timothy-king/CVC4SepLogic CVC4SepLog]
 +
* The paper "Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems" has been accepted to [http://www.etaps.org/2016/tacas TACAS 2016]
 +
 
 +
'''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 [http://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 [http://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 [http://www.mdx.ac.uk 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 [https://www.fokus.fraunhofer.de/ Fokus Fraunhofer], maintainer and contributor of [http://www.fokus.fraunhofer.de/download/acsl_by_example ACSL by Example], visited LIAFA on March 24th 2015.
 +
* Tomas Vojnar, Adam Rogalewicz and Lukas Holik from [http://www.fit.vutbr.cz/ Brno University of Technology] will visit Verimag on March 23--27, 2015
 +
* Radu Iosif is invited to attend the [http://www.cs.ox.ac.uk/conferences/oxford_iss2015/ Infinite-State Systems: Algorithms, Decidability, Complexity] Workshop at Bellairs Institute Barbados on March 13--20, 2015.
 +
* CEA-LIST organized the [http://frama-c.com/framaCDay.html Frama-C Day] on March 13th 2015. Mihaela Sighireanu presented the [http://www.liafa.univ-paris-diderot.fr/celia Celia] tool.
 +
* Radu Iosif will give an invited talk at the [http://imar.ro/~leustean/seminar-logic.html Logic Seminar] of the [http://fmi.unibuc.ro/en/ University of Bucharest] on March 6, 2015.
 +
 
 +
'''February 2015'''
 +
* 2nd VECOLIB meeting on February 27, 2015, programme [http://vecolib.imag.fr/index.php/Grenoble_meeting_27_February_2015 here].
 +
* The VECOLIB website has been restored, after previous shutdown due to piracy attempts.
 +
 
 +
'''December 2014'''
 +
* Prof. [http://www.comp.nus.edu.sg/~chinwn/ 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 [http://www-verimag.imag.fr VERIMAG].
 +
* [http://lcs.ios.ac.cn/~wuzl/ Zhilin Wu], associate researcher at the Chinese Academy of Sciences is visiting researcher at [http://www.liafa.univ-paris-diderot.fr/ LIAFA] until June 2015.
 +
 
 +
'''November 2014'''
 +
* First VECOLIB meeting on November  at [http://www.liafa.univ-paris-diderot.fr/ LIAFA]: programme and participants [http://vecolib.imag.fr/index.php/Meeting_2014_November here].

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.