Difference between revisions of "MLQA 2010"
| Line 7: | Line 7: | ||
We should also like to lay the foundations for future research collaborations on challenging research problems. As part of this there will be a poster session; instructions for how to submit posters will be forthcoming. |
We should also like to lay the foundations for future research collaborations on challenging research problems. As part of this there will be a poster session; instructions for how to submit posters will be forthcoming. |
||
| − | 'Draft Programme''' |
+ | '''Draft Programme for July 9'th''' |
| − | Friday 9.00-10.00 |
+ | Friday 9.00-10.00 |
* Bernhard Steffen (on performing static analysis by doing model checking) |
* Bernhard Steffen (on performing static analysis by doing model checking) |
||
* Flemming Nielson (on performing model checking by doing static analysis) |
* Flemming Nielson (on performing model checking by doing static analysis) |
||
| − | Friday 10.00-10.30 |
+ | Friday 10.00-10.30 |
* Coffee & Poster Session |
* Coffee & Poster Session |
||
| − | Friday 10.30-12.30 |
+ | Friday 10.30-12.30 |
* Marta Kwiatkowska (on quantitative model checking) |
* Marta Kwiatkowska (on quantitative model checking) |
||
| Line 25: | Line 25: | ||
* Orna Grumberg (on the use of abstraction in model checking) |
* Orna Grumberg (on the use of abstraction in model checking) |
||
| − | Friday 12.30-14.00 |
+ | Friday 12.30-14.00 |
* Lunch |
* Lunch |
||
| − | Friday 14.00-15.00 |
+ | Friday 14.00-15.00 |
* David Monniaux (on operations research in static analysis and model checking) |
* David Monniaux (on operations research in static analysis and model checking) |
||
* Michael Huth (on modelling and analysing control of access and risk) |
* Michael Huth (on modelling and analysing control of access and risk) |
||
| − | Friday 15.00-15.30 |
+ | Friday 15.00-15.30 |
* Coffee & Poster Session |
* Coffee & Poster Session |
||
| − | Friday 15.30-17.00 |
+ | Friday 15.30-17.00 |
* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations |
* MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations |
||
| − | Registration for the meeting should be part of registering for FLoC; I am told that the registration fees are likely to be: |
+ | '''Registration for the meeting''' should be part of registering for FLoC; I am told that the registration fees are likely to be: |
* Early Academic 70.00, Early Student 42.00 |
* Early Academic 70.00, Early Student 42.00 |
||
* Regular Academic 100.00, Regular Student 58.00 |
* Regular Academic 100.00, Regular Student 58.00 |
||
Revision as of 09:31, 10 March 2010
The second annual meeting of the MLQA working group will take place on July 9'th 2010 as part of FLoC 2010 in Edinburgh (Scotland). The theme of the meeting is:
- Static Analysis versus Model Checking: similarities, differences, synergies
The aim is to create a vibrant event consisting mainly of a number of invited talks that will cover some of the historical developments, survey the links established, establish state-of-the-art, identify the problems still worth pursuing and give a perspective on the implications and (novel) applications that can be foreseen.
We should also like to lay the foundations for future research collaborations on challenging research problems. As part of this there will be a poster session; instructions for how to submit posters will be forthcoming.
Draft Programme for July 9'th
Friday 9.00-10.00
- Bernhard Steffen (on performing static analysis by doing model checking)
- Flemming Nielson (on performing model checking by doing static analysis)
Friday 10.00-10.30
- Coffee & Poster Session
Friday 10.30-12.30
- Marta Kwiatkowska (on quantitative model checking)
- Joost-Pieter Katoen (on quantitative model checking)
- Marsha Chechik / Arie Gurfinkel (on the use of abstraction in model checking)
- Orna Grumberg (on the use of abstraction in model checking)
Friday 12.30-14.00
- Lunch
Friday 14.00-15.00
- David Monniaux (on operations research in static analysis and model checking)
- Michael Huth (on modelling and analysing control of access and risk)
Friday 15.00-15.30
- Coffee & Poster Session
Friday 15.30-17.00
- MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations
Registration for the meeting should be part of registering for FLoC; I am told that the registration fees are likely to be:
- Early Academic 70.00, Early Student 42.00
- Regular Academic 100.00, Regular Student 58.00
- Late Academic 115.00, Late Student 66.00
All prices are in UK Pounds.