Difference between revisions of "MLQA 2010"
Jump to navigation
Jump to search
| (63 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | The second annual meeting of the MLQA working group |
+ | The second annual meeting of the MLQA working group took 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 |
+ | * '''Static Analysis versus Model Checking''': similarities, differences, synergies |
| − | The |
+ | The event consisted of a number of '''invited talks''', a [[Poster Session at MLQA 2010|'''poster session''']] and a '''business meeting'''. The purpose of invited talks was to 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. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems. |
| + | -------------------------------------------------- |
||
| − | We should also like to lay the foundations for future research collaborations on challenging research problems. |
||
| + | See [http://wiki.ercim.eu/wg/MLQA/images/2/27/Handout.pdf '''Handout'''] of the meeting and [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] from the business meeting. See [[Poster Session at MLQA 2010]]. |
||
| − | The draft programme is as follows: |
||
| + | |||
| + | '''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 |
Friday 9.00-10.00 |
||
| + | * Bernhard Steffen. [[Abstracts FLoC 2010#Bernhard Steffen. From the How to the What: Static Analysis via Model Checking. See slides here.| From the How to the What: Static Analysis via Model Checking.]] |
||
| − | * Bernhard Steffen (on performing static analysis by doing model checking) |
||
| + | * Flemming Nielson. [[Abstracts FLoC 2010#Flemming Nielson. Model Checking is Static Analysis of Modal Logic. See slides here.|Model Checking is Static Analysis of Modal Logic.]] |
||
| − | * 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. [[Abstracts FLoC 2010#Marta Kwiatkowska. Quantitative Abstraction Refinement. See slides here.|Quantitative Abstraction Refinement.]] |
||
| + | * Joost-Pieter Katoen. [[Abstracts FLoC 2010#Joost-Pieter Katoen. Invariant Generation for Probabilistic Programs. See slides here.|Invariant Generation for Probabilistic Programs.]] |
||
| + | * Arie Gurfinkel. [[Abstracts FLoC 2010#Marsha Chechik and Arie Gurfinkel. Partial Models and Software Model-Checking. See slides here.|Partial Models and Software Model-Checking.]] |
||
| + | * Orna Grumberg. [[Abstracts FLoC 2010#Orna Grumberg. The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. See slides here.|The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking.]] |
||
| + | Friday 12.30-14.00 |
||
| − | * Marta Kwiatkowska (on quantitative model checking) |
||
| − | * Joost-Pieter Katoen (on quantitative model checking) |
||
| + | * Lunch |
||
| − | * Marsha Chechik / Arie Gurfinkel (on the use of abstraction in model checking) |
||
| − | * Orna Grumberg (on the use of abstraction in model checking) |
||
| + | 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) |
||
| + | * David Monniaux. [[Abstracts FLoC 2010#David Monniaux. Policy iteration for static analysis.|Policy iteration for static analysis.]] |
||
| − | On top of which we will have: |
||
| + | * Michael Huth. [[Abstracts FLoC 2010#Michael Huth. From validating quantitative models to generating valid ones. See slides here.|From validating quantitative models to generating valid ones.]] |
||
| + | Friday 15.00-15.30 |
||
| − | * MLQA Business Meeting (open to all attendees) about the future of MLQA |
||
| + | * Coffee & Poster Session |
||
| − | It will also be possible for attendees to present their own work, either in a poster session or by short 1-slide presentations; the format has not yet been decided. |
||
| + | Friday 15.30-17.00 |
||
| − | 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. |
||
| + | * MLQA Business Meeting (open to all attendees) about the future of MLQA and future research collaborations. See [http://wiki.ercim.eu/wg/MLQA/images/a/a5/MLQA_2010_Minutes.pdf '''Minutes'''] taken during the meeting. |
||
| − | The meeting is likely to start at 9am and to finish around 5pm or 6pm. |
||
Latest revision as of 09:22, 23 August 2010
The second annual meeting of the MLQA working group took 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 event consisted of a number of invited talks, a poster session and a business meeting. The purpose of invited talks was to 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. At the poster session mainly the recent research of the participants and the work in progress was being presented. The long-lasting aim of the meeting was to lay the foundations for future research collaborations on challenging research problems.
See Handout of the meeting and Minutes from the business meeting. See Poster Session at MLQA 2010.
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.
- 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. See Minutes taken during the meeting.