Main Page: Difference between revisions

Latest revision as of 11:47, 17 February 2014

The MLQA Working Group was disbanded in 2013. These pages are maintained for information and archives

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

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

consider process models formally described by transition systems, automata or process calculi,
consider logics for expressing stochastic and continuous properties as well as discrete ones,
focus on algorithms, theory and tools, and
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

The fifth annual meeting: MLQA 2013, Rome, Italy.

Past events

The Kick-Off meeting: MLQA 2009, York, UK.

The second annual meeting: MLQA 2010, Edinburgh, UK.

The third annual meeting: MLQA 2011, Aachen, Germany.

The fourth annual meeting: MLQA 2012, Edinburgh, UK.

@@ Line 1: / Line 1: @@
-Overview
+The MLQA Working Group was disbanded in 2013. These pages are maintained for information and archives
-This is a proposal for establishing an ERCIM Working Group called MLQA on Models and Logics for Quantitative Analysis.
-[[Image:Image002.png]]
-Models and Logics for Quantitative Analysis are seen as comprising process models analysed using logics for quantitative properties. More specifically, we will
+== ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) ==
-(1)  consider process models formally described by transition systems, automata or process calculi,
-(2)  we will consider logics for expressing stochastic and continuous properties as well as discrete ones,
-(3)  we will focus on algorithms, theory and tools, and
-(4)  we will 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://www.MT-LAB.dk/MLQA
+[[Image:Image002.png|frame]] Models and Logics for Quantitative Analysis are seen as comprising process models analysed using logics for quantitative properties. More specifically, we will
-It is also believed that the clear focus on models and logics within discrete, stochastic and continuous properties helps to separate the working group from existing ERCIM working groups on Formal Methods for Industrial Critical Systems and Dependable Software-intensive Embedded Systems. On the one hand, we believe that our more narrow focus on models and logics will be effective in fostering new synergies between existing research groups. On the other hand, we believe that our wider focus on application areas beyond those of traditional IT systems falls well outside existing ERCIM working groups on formal methods.
+# consider process models formally described by transition systems, automata or process calculi,
-. Objectives
+# consider logics for expressing stochastic and continuous properties as well as discrete ones,
+# focus on algorithms, theory and tools, and
+# 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).
-To reach these goals a number of activities are foreseen:
-·      An annual meeting (for 2009 the Kick-Off meeting, for 2010 a meeting at a major conference or an international meeting facility such as Dagstuhl, for 2011 colocation with a relevant cluster of conferences like QEST and CONCUR in Aachen).
+== Upcoming events ==
-·      Formulating a research programme – that can influence activities at participating institutions and that might lead to the formulation of an European project or network on formal quantitative analysis.
-·      Exploiting current funding possibilities (ERCIM fellowships, Marie Curie stipends, etc.) to support the mobility of (young and prospective) researchers.
+<span style="color: red;">The fifth annual meeting: [[MLQA 2013]], Rome, Italy.</span>
-·      A web page with information about activities, tools, and opportunities.
-·      Possibly to produce a book covering state of the art in the area. This should consist of tutorials and survey papers on key components and there should be an attempt at putting them into perspective for the wider aims of the working group. Depending on the interest of the working group members a target time frame might be as early as 2011.
+== Past events ==
-Once created, the working group will be open also to researchers outside of ERCIM (and outside of Europe).
+The Kick-Off meeting: [[MLQA 2009|MLQA 2009]], York, UK.
+The second annual meeting: [[MLQA 2010|MLQA 2010]], Edinburgh, UK.
+The third annual meeting: [[MLQA 2011|MLQA 2011]], Aachen, Germany.
+The fourth annual meeting: [[MLQA 2012]], Edinburgh, UK.