Difference between revisions of "News"

From vecolib
Jump to: navigation, search
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, programme [Grenoble_meeting_27_February_2015 here].
+
* Next 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.  
 
* 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 20:13, 18 February 2015