Poster Session at MLQA 2010
Revision as of 11:41, 15 July 2010 by Nataliya (talk | contribs) (Call for Posters for MLQA 2010 (as part of FLoC 2010) moved to Poster Session at MLQA 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 at the MLQA poster session.