[Om-announce] FORMATS 2016 - Call for participation

[Sebastian Gerwinn]

========================================================================

FORMATS'16 -- Call for participation

14th international conference on
Formal Modeling and Analysis of Timed Systems

(joint with CONCUR'16 and QEST'16)

Québec City, Canada, 24-26 August

http://formats16.lsv.fr/

========================================================================

FORMATS'16 will take place in Québec City, Canada, from 24 to 26 August
2016. It is colocated with the conferences CONCUR'16 and QEST'16 (which
start on 23 August 2016), and with the workshops EXPRESS/SOS (22 August
2016) and TRENDS (27 August 2016).

Invited speakers, in collaboration with CONCUR and QEST:
--------------------------------------------------------
Scott A. Smolka (State University of New York, Stony Brook)
Ufuk Topcu (University of Texas, Austin)
Oleg Sokolsky (University of Pennsylvania)


FORMATS'16 program:
-------------------
  http://formats16.lsv.fr/?page_id=240

Registration:
-------------
You can register from the CONCUR website:
  http://www.concur2016.ulaval.ca/registration_and_venue/

(Early-registration fees until 22 July)