Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sverd [2010/06/14 17:12] vkuncak |
sverd [2010/06/14 22:41] 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: |