News
From vecolib
- Tomas Vojnar, Adam Rogalewicz and Lukas Holik from Brno University of Technology will visit Verimag between March 23--27, 2015
- Radu Iosif will attend a Bellairs Institute workshop on infinite-state systems from between March 13--20, 2015.
- Radu Iosif will give an invited talk at the Logic Seminar of the University of Bucharest on March 6, 2015.
- Next VECOLIB meeting on February 27, 2015, programme [Grenoble_meeting_27_February_2015 here].
- The VECOLIB website has been restored, after previous shutdown due to piracy attempts.
- 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.