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 ===== | ||