Poster Session at MLQA 2010: Difference between revisions
No edit summary |
|||
Line 5: | Line 5: | ||
* Overview of the recent research activities of a group, in relation to the themes of MLQA. |
* Overview of the recent research activities of a group, in relation to the themes of MLQA. |
||
There were 11 poster submissions |
There were 11 poster submissions to the MLQA poster session. |
Revision as of 12:01, 15 July 2010
We invited posters under two categories:
- Presentation of recent or on-going work relating to models, logics, tools, and/or applications with respect to discrete, stochastic and/or continuous systems and properties.
- Overview of the recent research activities of a group, in relation to the themes of MLQA.
There were 11 poster submissions to the MLQA poster session.