Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sverd [2010/06/14 23:17]
vkuncak
sverd [2010/06/15 17:31] (current)
vkuncak
Line 19: Line 19:
 Possible talks for the afternoon (15-30min): Possible talks for the afternoon (15-30min):
  
-  * Ioannis Kassios 
   * Funcheck and z3 integration - Progress Report (Philippe Suter)   * Funcheck and z3 integration - Progress Report (Philippe Suter)
-  * Plans for effect system ​(Lukas Rytz)+  * ~ External Uniqueness Types (Philipp Haller)
   * Non-Null Types (Hubert Plociniczak)   * Non-Null Types (Hubert Plociniczak)
 +  * Plans for effect system (Lukas Rytz)
 +  * Proglab.NET status report (Miguel Garcia)
   * Type annotations and data-flow analysis in Scala (Eva Darulova and Aleksandar Prokopec)   * Type annotations and data-flow analysis in Scala (Eva Darulova and Aleksandar Prokopec)
  
 
sverd.txt · Last modified: 2010/06/15 17:31 by vkuncak
 
© EPFL 2018 - Legal notice