[Om-announce] FORMATS 2016 - Call for participation

Sebastian Gerwinn sgerwinn at tc.informatik.uni-oldenburg.de
Wed Jul 20 08:52:10 CEST 2016


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



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:

You can register from the CONCUR website:

(Early-registration fees until 22 July)

More information about the Om-announce mailing list