Difference between revisions of "News"
From vecolib
| Line 2: | Line 2: | ||
* Radu Iosif will attend a [http://www.mcgill.ca/bellairs/ Bellairs Institute] workshop on infinite-state systems from between March 13--20, 2015. | * Radu Iosif will attend a [http://www.mcgill.ca/bellairs/ Bellairs Institute] workshop on infinite-state systems from between March 13--20, 2015. | ||
* 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. | * 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. | ||
| − | * Next VECOLIB meeting on February 27, 2015. | + | * Next VECOLIB meeting on February 27, 2015, programme [here]. |
* The VECOLIB website has been restored, after previous shutdown due to piracy attempts. | * The VECOLIB website has been restored, after previous shutdown due to piracy attempts. | ||
* 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]. | * 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]. | ||
Revision as of 19:59, 18 February 2015
- 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 [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.
