Difference between revisions of "Main Page"

From ERCIM Working Group MLQA
Jump to: navigation, search
Line 13: Line 13:
 
 
 
The working group will be open also to researchers outside of ERCIM (and outside of Europe).
 
The working group will be open also to researchers outside of ERCIM (and outside of Europe).
  +
  +
== Upcoming events ==
  +
  +
Next meeting of MLQA will be held on September 5, 2011 in Aachen - colocated with CONCUR and QEST.
   
 
== Past events ==
 
== Past events ==

Revision as of 10:22, 10 November 2010

ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA)

Image002.png

Models and Logics for Quantitative Analysis are seen as comprising process models analysed using logics for quantitative properties. More specifically, we will

  1. consider process models formally described by transition systems, automata or process calculi,
  2. consider logics for expressing stochastic and continuous properties as well as discrete ones,
  3. focus on algorithms, theory and tools, and
  4. study applications with particular emphasis on embedded systems and service oriented systems but will aim at treating also IT guided workflow systems and biological systems.

The MLQA home page: http://wiki.ercim.eu/wg/MLQA

The goal of this working group is to create a venue for knowledge sharing in this exciting area, for creating a network also for young researchers, for sharing tools developed within the field, for discussing research directions, and eventually to formulate a European project or network on formal quantitative analysis.

The working group will be open also to researchers outside of ERCIM (and outside of Europe).

Upcoming events

Next meeting of MLQA will be held on September 5, 2011 in Aachen - colocated with CONCUR and QEST.

Past events

MLQA 2009

MLQA 2010