Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
sverd [2010/06/14 17:12] vkuncak |
sverd [2010/06/14 23:17] 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 22: | Line 24: | ||
| * Non-Null Types (Hubert Plociniczak) | * Non-Null Types (Hubert Plociniczak) | ||
| * 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 | ||