Difference between revisions of "MLQA 2010"
| Line 10: | Line 10: | ||
submissions</b>. Further details and important dates can be found on [[Call for Posters for MLQA 2010 (as part of FLoC 2010)]] page. |
submissions</b>. Further details and important dates can be found on [[Call for Posters for MLQA 2010 (as part of FLoC 2010)]] page. |
||
| ⚫ | |||
| − | '''Registration for the meeting''' should be part of registering for FLoC; the '''early registration''' ends on the 17th of May, the '''regular registration''' goes 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: |
||
| − | |||
| − | http://www.floc-conference.org/registration.html |
||
| − | |||
| − | For further enquiries please contact us at <b><mlqa(at)imm.dtu.dk></b> |
||
| − | |||
| − | Flemming Nielson (acting chairman of MLQA) |
||
| − | |||
| − | Michael Smith, Nataliya Skrypnyuk (poster session organisers) |
||
| − | |||
| ⚫ | |||
| − | |||
| − | '''MLQA has been held in room G.03 of the Informatics Forum.''' |
||
See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting. |
See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting. |
||
| Line 64: | Line 50: | ||
* 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 |
||
| + | |||
| + | The submissions to the '''Poster Session''' can be seen [[Poster Session at MLQA 2010|here]]. |
||
Revision as of 09:41, 15 July 2010
The second annual meeting of the MLQA working group has taken place on Friday July 9'th 2010 as part of FLoC 2010 in Edinburgh (Scotland). The theme of the meeting was:
- 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.
See Handout of the meeting.
Programme for Friday, July 9'th 2010
(You can see the abstracts and slides of the talks by clicking on the talk titles).
Friday 9.00-10.00
- Bernhard Steffen. From the How to the What: Static Analysis via Model Checking.
- Flemming Nielson. Model Checking is Static Analysis of Modal Logic.
Friday 10.00-10.30
- Coffee & Poster Session
Friday 10.30-12.30
- Marta Kwiatkowska. Quantitative Abstraction Refinement.
- Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs.
- Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking.
- Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.
Friday 12.30-14.00
- Lunch
Friday 14.00-15.00
- David Monniaux. Policy iteration for static analysis.
- Michael Huth. From validating quantitative models to generating valid ones.
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
The submissions to the Poster Session can be seen here.