Difference between revisions of "Main Page"
| (9 intermediate revisions by 2 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) == |
||
| Line 16: | Line 19: | ||
== Upcoming events == |
== Upcoming events == |
||
| − | The |
+ | <span style="color: red;">The fifth annual meeting: [[MLQA 2013]], Rome, Italy.</span> |
== Past events == |
== Past events == |
||
| − | The Kick-Off meeting: [[MLQA 2009|MLQA 2009]] |
+ | The Kick-Off meeting: [[MLQA 2009|MLQA 2009]], York, UK. |
| + | |||
| + | The second annual meeting: [[MLQA 2010|MLQA 2010]], Edinburgh, UK. |
||
| − | The |
+ | The third annual meeting: [[MLQA 2011|MLQA 2011]], Aachen, Germany. |
| − | The |
+ | 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.