24-26 Aug 2016
Quebec City QC, Canada
======================================================================== 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) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam