Difference between revisions of "News"

From vecolib
Jump to: navigation, search
m (News from LIAFA)
Line 1: Line 1:
 +
'''March 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
 
* 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.  
 
* 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.
 
* 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 [http://vecolib.imag.fr/index.php/Grenoble_meeting_27_February_2015 here].
+
 
 +
'''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.  
 
* 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].
 
* 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].

Revision as of 11:04, 27 March 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].