[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Second Annual Meeting of the ERCIM Working Group on
Models and Logics for Quantitative Analysis (MLQA 2010)


July 9th, 2010, Edinburgh, Scotland, UK
Part of the Federated Logic Conference (FLoC 2010)
Affiliated with Logic in Computer Science (LICS 2010)


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 m...@imm.dtu.dk.

Notification of your intention to submit, along with a title and short
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

Flemming Nielson (acting chairman of MLQA)
Michael Smith, Nataliya Skrupnyuk (poster session organisers)


Reply via email to