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 | ||
rome13 [2013/01/18 15:50] vkuncak |
rome13 [2013/01/18 15:53] 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]], [[http://popl13.di.univr.it/styled-10/styled-9/files/download-the-map.pdf|Room Sforza A]] | + | 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]] |
+ | |||
+ | [[http://popl13.di.univr.it/index.html|Omniae viae ferunt Romam]] | ||
===== PROGRAM ===== | ===== PROGRAM ===== |