Difference between revisions of "News"
From vecolib
Sighireanu (Talk | contribs) |
|||
| (8 intermediate revisions by 2 users 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''' | ||
| + | |||
| + | * 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''' | '''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] | * The paper [ "On Automated Lemma Generation for Separation Logic with Inductive Definitions"] has been presented at [http://atva2015.ios.ac.cn ATVA 2015] | ||
| Line 9: | Line 27: | ||
'''July 2015''' | '''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. | + | * 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 [informatique.univ-paris-diderot.fr Univ. Paris Diderot], is doing an internship at LIAFA on a solver for multi-set constraints. | + | * 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''' | '''June 2015''' | ||
* Vecolib meeting on June 3rd, 2015, programme [http://vecolib.imag.fr/index.php/Paris_meeting_3_June_2015 here] | * 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. | + | * Nikos Gorogiannis from [http://www.mdx.ac.uk Middlesex University London] visits LIAFA on June 2nd and 3rd. |
'''March 2015''' | '''March 2015''' | ||
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
- 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
