Programme
Programme |
|
| Tutorials (Oct. 3) | Day 1 (Oct. 4) | Day 2 (Oct. 5) | Day 3 (Oct. 6) | All days |
| Conference, Day 2 (October 5, 2017) | |
| 09:00 - 10:00 | Invited Talk - Carla Ferreira Consistency made easy: Towards building correct by design cloud applications (Chair: Madhavan Mukund) |
| 10:00 - 10:30 | Tea/Coffee break |
| Session I: Temporal Logic/Automata (Chair: David Basin) |
|
| 10:30 - 10:55 | Bernd Finkbeiner and Hazem Torfah The Density of Linear-time Properties |
| 10:55 - 11:20 | Graeme Gange, Pierre Ganty and Peter J. Stuckey Fixing the State Budget: Approximation of Regular Languages with Small DFAs |
| 11:20 - 11:45 | Marcio Diaz and Tayssir Touili Dealing with priorities and locks for concurrent programs |
| 11:45 - 12:10 | Pierre Ganty, Boris Köpf and Pedro Valero A Language-theoretic View on Network Protocols |
| 12:10 - 13:40 | Lunch break |
| Session II: Probabilistic Systems/Learning (Chair: B Srivathsan) |
|
| 13:40 - 14:05 | Jan Kretinsky and Tobias Meggendorfer Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes |
| 14:05 - 14:30 | Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan and Bican Xia Finding Polynomial Loop Invariants for Probabilistic Programs |
| 14:30 - 14:55 | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonin Kucera and Vojtech Rehak Synthesis of Optimal Resilient Control Strategies |
| 14:55 - 15:20 | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening and Tom Melham Lifting CDCL to Template-based Abstract Domains for Program Verification |
| 15:20 - 16:20 | Tea/Coffee break + Tool Demonstrations (Informal) |
| 16:25 - 16:55 | Business Meeting |
| 17:00 - 18:30 | Cultural Programme |
| Banquet Dinner (07:00 PM onwards) Venue: Radisson Blu, Hinjewadi | |