Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
rome13 [2013/01/15 20:07]
vkuncak
rome13 [2013/01/18 15:54]
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]]
 +
 +([[http://​popl13.di.univr.it/​index.html|Omniae viae ferunt Romam]] and so do many flights.)
  
 ===== PROGRAM ===== ===== PROGRAM =====