Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
svarm:program [2010/07/27 16:31] – piskacsvarm:program [2010/09/05 22:02] (current) – piskac
Line 3: Line 3:
 {{:svarm:program.pdf|Program in PDF Format}} {{:svarm:program.pdf|Program in PDF Format}}
  
-We are pleased to announce the program of [[:SVARM]], joint with [[http://research.ihost.com/psy2010/|PSY]] and a shared [[http://clc.cs.uiowa.edu/EMSQMS/|EMSQMS panel]]. The program includes a number of invited talks as well as well as contributed presentations.+We are pleased to announce the program of **SVARM 2010**, joint with [[http://research.ihost.com/psy2010/|PSY]] and a shared [[http://clc.cs.uiowa.edu/EMSQMS/|EMSQMS panel]]. The program includes a number of invited talks as well as well as contributed presentations.
  
 SVARM is affiliated with [[http://www.floc-conference.org/CAV-home.htm|CAV]] and [[http://www.floc-conference.org/IJCAR-home.html|IJCAR]] and is part of [[http://www.floc-conference.org/|FLoC]]. It is supported by the [[http://www.cost.eu|COST]] Action [[:|Rich Model Toolkit]] (http://richmodels.org) SVARM is affiliated with [[http://www.floc-conference.org/CAV-home.htm|CAV]] and [[http://www.floc-conference.org/IJCAR-home.html|IJCAR]] and is part of [[http://www.floc-conference.org/|FLoC]]. It is supported by the [[http://www.cost.eu|COST]] Action [[:|Rich Model Toolkit]] (http://richmodels.org)
Line 14: Line 14:
 |  |  |  |  |  | 
 | 09:00 | | //Session Chair: Roderick Bloem// | | 09:00 | | //Session Chair: Roderick Bloem// |
-| 09:00 | Ras Bodik | Next Steps in Partial-Program Synthesis |+| 09:00 | Ras Bodik | Next Steps in Partial-Program Synthesis   {{:svarm:bodikSlides.ppt|slides}} |
 | 09:30 | Kim Larsen | Controller Synthesis from Timed Game Automata -- from Theory to Practice | | 09:30 | Kim Larsen | Controller Synthesis from Timed Game Automata -- from Theory to Practice |
 ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^
Line 30: Line 30:
 | 15:30 - 16:15 |  | [[http://clc.cs.uiowa.edu/EMSQMS/|Panel joint with Evaluation Methods for Solvers and | 15:30 - 16:15 |  | [[http://clc.cs.uiowa.edu/EMSQMS/|Panel joint with Evaluation Methods for Solvers and
 Quality Metrics for Solutions]] | Quality Metrics for Solutions]] |
-| 16:15 -    |  | Discussion after the panel |+| 16:15 -    |  | Discussion on Quality Metrics for Solutions |
 |  |  |  |  |  | 
 |       | | //Session Chair: Enric Rodríguez Carbonell// | |       | | //Session Chair: Enric Rodríguez Carbonell// |
-| 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language  |+| 17:00 | Armin Biere and Florian Lonsing | Extending the BTOR Language   {{:svarm:biereSlides.pdf|slides}} |
 |  |  |  |  |  | 
 | 17:30 | Management Committee | [[mcagenda|Management Committee Meeting of Action IC0901]] | | 17:30 | Management Committee | [[mcagenda|Management Committee Meeting of Action IC0901]] |
Line 45: Line 45:
  
 | 09:00 |    | //Session Chair: Tobias Nipkow// | | 09:00 |    | //Session Chair: Tobias Nipkow// |
-| 09:00 | Bernhard Beckert | Formal Verification of System Software |+| 09:00 | Bernhard Beckert | Formal Verification of System Software   {{:svarm:beckertSlides.pdf|slides}} |
 ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^ ^ 10:00 - 10:20 ^ **Coffee Break** ^ ^
 | 10:20 |    | //Session Chair: Tayssir Touili// |  | 10:20 |    | //Session Chair: Tayssir Touili// | 
 | 10:20 | Peter Schneider-Kamp | Towards Complexity and Termination Analysis of Transition Systems | | 10:20 | Peter Schneider-Kamp | Towards Complexity and Termination Analysis of Transition Systems |
 | 10:40 | Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar | A Proposal of a New Automata-based Representation of Heaps | | 10:40 | Peter Habermehl, Lukas Holik, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar | A Proposal of a New Automata-based Representation of Heaps |
-| 11:00 | Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar | FLATA: Towards a Toolset for manipulation and analysis of counter automata |+| 11:00 | Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar | FLATA: Towards a Toolset for manipulation and analysis of counter automata   {{:svarm:konecnySlides.pdf|slides}} |
 ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^
 |   |    | //Session Chair: Predrag Janicic// |  |   |    | //Session Chair: Predrag Janicic// | 
-| 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems |+| 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems   {{:svarm:ratschanSlides.pdf|slides}} |
 | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures   {{:svarm:sanchezSlides.pdf|slides}} | | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures   {{:svarm:sanchezSlides.pdf|slides}} |
-| 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning |+| 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning   {{:svarm:hojjatSlides.pdf|slides}} |
 ^ 12:30 - 14:00 ^ **LUNCH** ^ ^ ^ 12:30 - 14:00 ^ **LUNCH** ^ ^
 | 14:00 |   | //Session Chair: Maria Paola Bonacina// | | 14:00 |   | //Session Chair: Maria Paola Bonacina// |
Line 63: Line 63:
 ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^ ^ 15:00 - 15:20 ^ **Coffee Break** ^ ^
 | 15:20 |    | //Session Chair: Viktor Kuncak// | | 15:20 |    | //Session Chair: Viktor Kuncak// |
-| 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC  | +| 15:20 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic and Jovanka Pantovic | Types for dynamic web data with RBAC   {{:svarm:jaksicSlides.pdf|slides}} | 
-| 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT  |+| 15:40 | Predrag Janicic and Filip Maric | Uniform reduction to SMT   {{:svarm:janicicSlides.pdf|slides}} |
 | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover  | | 16:00 | Maria Paola Bonacina and Moa Johansson | Towards an Interpolating First-Order Prover  |
 ^ 16:20 ^ **Closing Discussions** ^ ^ ^ 16:20 ^ **Closing Discussions** ^ ^