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 16:00] vkuncak |
rome13 [2013/01/15 16:05] vkuncak |
||
|---|---|---|---|
| Line 16: | Line 16: | ||
| ^ 16:00-16:30 ^ Break ^ | ^ 16:00-16:30 ^ Break ^ | ||
| | 16:30-17:00 | Yaron Welner: Games on Graphs with Robust Quantitative Objectives: Decidability and Complexity Analysis | | | 16:30-17:00 | Yaron Welner: Games on Graphs with Robust Quantitative Objectives: Decidability and Complexity Analysis | | ||
| - | | 17:00-18:30 | Management Committee meeting (for COST only) | | + | | 17:00-18:30 | (COST Only) Management Committee meeting | |
| === Monday, 21 January 2013 === | === Monday, 21 January 2013 === | ||
| Line 42: | Line 42: | ||
| This workshop also serves as the meeting of the Rich Model Toolkit COST Action IC0901. Information about the Action: http://richmodels.epfl.ch/ | This workshop also serves as the meeting of the Rich Model Toolkit COST Action IC0901. Information about the Action: http://richmodels.epfl.ch/ | ||
| - | The meeting continues a series of meetings held in Brussels, Belgrade, Edinburgh, Lugano, Saarbruecken, Dagstuhl, Turin, Tallinn, Manchester, and Haifa held in the period 2009-2012. | + | The meeting continues a series of meetings held in Brussels, Belgrade, Edinburgh, Lugano, Saarbruecken, Dagstuhl, Turin, Tallinn, Trento, Manchester, and Haifa held in the period 2009-2012. |
| ===== Local Arrangements ===== | ===== Local Arrangements ===== | ||
| Line 51: | Line 51: | ||
| We are pleased to confirm keynotes from: | We are pleased to confirm keynotes from: | ||
| - | * **[[http://www.kenmcmil.com/|Kenneth L. McMillan]]** (Microsoft Research) | + | * **[[http://www.kenmcmil.com/|Kenneth L. McMillan]]** (Microsoft Research): //Logic as the lingua franca of software verification// |
| * **[[http://www.gilith.com/about/|Joe Leslie-Hurd]]** (Intel): //Theory Engineering Using Composable Packages// | * **[[http://www.gilith.com/about/|Joe Leslie-Hurd]]** (Intel): //Theory Engineering Using Composable Packages// | ||