======================================================================== 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) _______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
