Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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