The second annual meeting of the MLQA Working Group will take place on July 9 July 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.

The following list of presentations have been confirmed (but titles are tentative):

- Bernhard Steffen (on performing static analysis by doing model checking)
- Flemming Nielson (on performing model checking by doing static analysis)
- 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)
- David Monniaux (on operations research in static analysis and model checking)
- Michael Huth (on modelling and analysing control of access and risk)

On top of which we will have:

  • MLQA Business Meeting (open to all attendees) about the future of MLQA

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.

For the latest news please take a look at

Please contact:
Flemming Nielson
MLQA Working Group chair
DTU Informatics/DANAIM, Denmark
E-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.)

Next issue: January 2023
Special theme:
"Cognitive AI & Cobots"
Call for the next issue
Get the latest issue to your desktop
RSS Feed
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing