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 | ||
madrid13 [2013/10/10 19:28] enric.rodriguez.carbonell |
madrid13 [2013/10/14 18:21] cesar.sanchez |
||
---|---|---|---|
Line 2: | Line 2: | ||
The workshop will be held at the IMDEA Software Institute in Madrid. There will be arrangements including transportation from a centric location near a hotel and special rates at the hotel. More information can be found in the Local Arrangements section. | The workshop will be held at the IMDEA Software Institute in Madrid. There will be arrangements including transportation from a centric location near a hotel and special rates at the hotel. More information can be found in the Local Arrangements section. | ||
+ | |||
+ | ===== NEWS ===== | ||
+ | |||
+ | The Local Orgranization will reserve a private bus that will depart at 8:15am in the morning from the corner between Plaza Santo Domingo and Calle Jacometrezo ([[http://goo.gl/maps/4EptA|here]]). It will depart from IMDEA Software back to Madrid after the afternoon sessions. | ||
===== PROGRAMME ===== | ===== PROGRAMME ===== | ||
Line 30: | Line 34: | ||
^ ^ Title ^ Speaker ^ | ^ ^ Title ^ Speaker ^ | ||
^ SESSION 4 ^ Program Verification and Reliability (Chair: Enric Rodriguez-Carbonell) ^^ | ^ SESSION 4 ^ Program Verification and Reliability (Chair: Enric Rodriguez-Carbonell) ^^ | ||
- | | 9:00-10:00 | Invited Talk : {{:madrid13-abs-Willem-Visser.pdf|Willem Visser | Model Counting >= Symbolic Execution}} | | + | | 9:00-10:00 | Invited Talk : Willem Visser | {{:madrid13-abs-Willem-Visser.pdf|Model Counting >= Symbolic Execution}} | |
| 10:00 - 10:30 | ** Coffee break ** || | | 10:00 - 10:30 | ** Coffee break ** || | ||
| 10:30 - 11:00 | Radu Iosif | {{:madrid13-abs-Radu-Iosif.pdf|Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops}} | | | 10:30 - 11:00 | Radu Iosif | {{:madrid13-abs-Radu-Iosif.pdf|Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops}} | |