ERCIM Working Group MLQA
MLQAwiki
https://wiki.ercim.eu/wg/MLQA/index.php/Main_Page
MediaWiki 1.43.6
first-letter
Media
Special
Talk
User
User talk
Project
Project talk
File
File talk
MediaWiki
MediaWiki talk
Template
Template talk
Help
Help talk
Category
Category talk
Main Page
0
1
465
446
2014-02-17T11:47:15Z
Peter
5
/* ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) */
465
wikitext
text/x-wiki
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) ==
[[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 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 ==
<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.
q8qb0ny6h6i91hp7cfr4ik0djo9ct7x