Difference between revisions of "Main Page"
| Line 1: | Line 1: | ||
| − | Overview |
+ | == Overview == |
| − | + | ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) |
|
| ⚫ | |||
| − | [[Image:Image002.png]] |
||
| ⚫ | |||
(1) consider process models formally described by transition systems, automata or process calculi, |
(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, |
(2) we will consider logics for expressing stochastic and continuous properties as well as discrete ones, |
||
| Line 11: | Line 10: | ||
(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. |
(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:// |
+ | The MLQA home page: http://wiki.ercim.org/wg/MLQA/index.php/Main_Page |
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. |
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 == |
|
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: |
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). |
|
Revision as of 14:07, 5 November 2009
Overview
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
(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://wiki.ercim.org/wg/MLQA/index.php/Main_Page
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
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).