Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| (38 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| + | |||
| + | 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) == |
== ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) == |
||
| − | [[Image:Image002.png| |
+ | [[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 |
# consider process models formally described by transition systems, automata or process calculi, |
# consider process models formally described by transition systems, automata or process calculi, |
||
| Line 8: | Line 11: | ||
# 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. |
# 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. |
+ | The MLQA home page: http://wiki.ercim.eu/wg/MLQA |
| − | |||
| − | 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. |
||
| − | |||
| − | == Objectives of 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 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. |
||
| − | |||
| − | 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). |
||
| − | * 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. |
||
| − | * 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. |
||
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 == |
||
| + | |||
| + | <span style="color: red;">The fifth annual meeting: [[MLQA 2013]], Rome, Italy.</span> |
||
| + | |||
| + | == Past events == |
||
| + | |||
| + | 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. |
||
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.