MLQA 2010: Difference between revisions
No edit summary |
No edit summary |
||
| Line 56: | Line 56: | ||
'''Registration for the meeting''' should be part of registering for FLoC; the early registration ends on the 17th of May, the regular registration is until the 30th of June and the late registration continues until the start of FLoC. |
'''Registration for the meeting''' should be part of registering for FLoC; the early registration ends on the 17th of May, the regular registration is until the 30th of June and the late registration continues until the start of FLoC. |
||
For fees and online registration please go to FLoC registration page: |
For information on fees and online registration link please go to FLoC registration page: |
||
http://www.floc-conference.org/registration.html |
http://www.floc-conference.org/registration.html |
||
Revision as of 14:16, 10 May 2010
The second annual meeting of the MLQA working group will take place on Friday 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 would also like to lay the foundations for future research collaborations on challenging research problems. As part of this there will be a poster session, for which we invite submissions. Further details and important dates can be found on Call for Posters for MLQA 2010 (as part of FLoC 2010) page.
For further enquiries please contact us at <mlqa(at)imm.dtu.dk>
Flemming Nielson (acting chairman of MLQA)
Michael Smith, Nataliya Skrypnyuk (poster session organisers)
Draft Programme for Friday, July 9'th 2010
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; the early registration ends on the 17th of May, the regular registration is until the 30th of June and the late registration continues until the start of FLoC.
For information on fees and online registration link please go to FLoC registration page: