Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sverd [2010/06/14 17:12] vkuncak |
sverd [2010/06/15 17:31] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Scala Verification Day: 15 June 2010 ====== | ====== Scala Verification Day: 15 June 2010 ====== | ||
+ | |||
+ | Location: [[http://plan.epfl.ch/?room=INR113|INR 113]] | ||
Meeting of the following three research groups: | Meeting of the following three research groups: | ||
Line 17: | 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) | ||
- | * Synthesis in Scala (Ruzica Piskac) | ||
Discussion topics | Discussion topics |