Call for Posters: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
We invite posters under two categories: |
We invite 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 |
and/or applications with respect to discrete, stochastic and/or continuous |
||
systems and properties. |
systems and properties. |
||
* Overview of the recent research activities of a group, in relation to the themes of MLQA. |
|||
We equally encourage submissions from both research leaders, and junior |
We equally encourage submissions from both research leaders, and junior |
||
Revision as of 14:05, 16 March 2010
CALL FOR POSTERS
Important dates:
Abstract submission: June 18th, 2010
Submission deadline: June 25th, 2010
Author notification: June 28th, 2010
Meeting: July 9th, 2010
We invite 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.
We equally encourage submissions from both research leaders, and junior researchers and PhD students.
Posters should be readable in size A3, and should be submitted in pdf format to mlqa@imm.dtu.dk.
Notification of your intention to submit, along with a title and short description of the poster, should be sent by June 18th. We require that we receive the final poster no later than June 25th, in order to arrange their printing before the meeting.
Flemming Nielson (acting chairman of MLQA)
Michael Smith, Nataliya Skrypnyuk (poster session organisers)