Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
rome13 [2013/01/15 20:07] vkuncak |
rome13 [2013/01/18 15:51] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Workshop on Synthesis, Verification and Analysis of Rich Models: Rome, 20-21 January 2013 ====== | ====== Workshop on Synthesis, Verification and Analysis of Rich Models: Rome, 20-21 January 2013 ====== | ||
+ | |||
+ | Location: [[http://www.robertonaldicollection.com/eng/parco_dei_principi/hotel_luxury_rome_parioli.htm|Hotel Parco Dei Principi]], Via G. Frescobaldi, 5 - 00198 Rome, Italy, [[http://popl13.di.univr.it/styled-10/styled-9/files/download-the-map.pdf|Room Sforza A]] | ||
===== PROGRAM ===== | ===== PROGRAM ===== |