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 | ||
svarm:program1 [2010/07/12 11:17] vkuncak |
svarm:program1 [2010/07/12 11:26] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
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]], 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]]. Please [[http://www.floc-conference.org/registration.html|register here]] to participate. | + | 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) |
====== Tuesday, July 20: Synthesis and Infrastructure ====== | ====== Tuesday, July 20: Synthesis and Infrastructure ====== | ||
Line 10: | Line 10: | ||
^ 08:50 ^ Paul Jackson ^ Welcome and Opening ^ | ^ 08:50 ^ Paul Jackson ^ Welcome and Opening ^ | ||
- | | | //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 | | ||
| 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** ^ ^ | ||
- | | | //Session Chair: Cesar Sanchez// | | | + | | | | |
+ | | 10:30 | | //Session Chair: Cesar Sanchez// | | ||
| 10:30 | Alexander Rabinovich | Extensions of the Church synthesis Problem | | | 10:30 | Alexander Rabinovich | Extensions of the Church synthesis Problem | | ||
| 11:00 | Bernd Finkbeiner | Coordination Logic | | | 11:00 | Bernd Finkbeiner | Coordination Logic | | ||
Line 20: | Line 22: | ||
| 12:00 | Tobias Nipkow | Automatic proof and disproof in Isabelle | | | 12:00 | Tobias Nipkow | Automatic proof and disproof in Isabelle | | ||
^ 12:30 - 14:00 ^ **LUNCH** ^ ^ | ^ 12:30 - 14:00 ^ **LUNCH** ^ ^ | ||
- | | | //Session Chair: Paul Jackson// | | | + | | | | |
+ | | 14:00 | | //Session Chair: Paul Jackson// | | ||
| 14:00 | Natarajan Shankar | Inference Architectures for Satisfiability Modulo Theories | | | 14:00 | Natarajan Shankar | Inference Architectures for Satisfiability Modulo Theories | | ||
^ 15:00 - 15:30 ^ **Coffee Break** ^ ^ | ^ 15:00 - 15:30 ^ **Coffee Break** ^ ^ | ||
Line 26: | Line 29: | ||
Quality Metrics for Solutions]] | | Quality Metrics for Solutions]] | | ||
| 16:15 - | | Discussion after the panel | | | 16:15 - | | Discussion after the panel | | ||
- | | | //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 | | ||
- | | 17:30 | Action IC0901 | Management Committee Meeting | | + | | | | |
+ | | 17:30 | | //Session Chair: Viktor Kuncak// | | ||
+ | | 17:30 | Management Committee | Management Committee Meeting of Action IC0901 | | ||
+ | | | | | ||
| 20:00 | | [[http://www.davidbann.com/|Organized Dinner in David Bann vegetarian restaurant]] | | | 20:00 | | [[http://www.davidbann.com/|Organized Dinner in David Bann vegetarian restaurant]] | | ||