[TYPES/announce] CONCUR FORMATS QEST 2016 - call for participation
Josée Desharnais
Josee.Desharnais at ift.ulaval.ca
Mon Jul 25 11:39:55 EDT 2016
---- Call for Participation ----
CONCUR, FORMATS, QEST
and workshops
EXPRESS/SOS and TRENDS
Quebec city, Canada
August 22 -- August 27, 2016
-----------------------------------------
The 27th International Conference on Concurrency Theory (CONCUR) will take place in Québec City. The event will be co-located with the 13th International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Two workshops will take place, EXPRESS/SOS on the 22nd and TRENDS on the 27th.
--------- SPEAKERS ---------
*Vincent Danos - CONCUR
*Francesca Rossi - CONCUR
*Marc Shapiro - CONCUR
*Scott A. Smolka - CONCUR, QEST and FORMATS
*Oleg Sokolsky - FORMATS
*Ufuk Topcu - FORMATS and QEST
*Carey Williamson - QEST
*** The deadline for early registration has passed, but if you book at the conference hotel, we will give you the rebate on the hotel bill. The hotel rooms are at discount price until the 28th.
Looking forward to seeing you in Quebec City!
Josée Desharnais
Laval University
concur2016.ulaval.ca
formats16.lsv.fr
qest.org/qest2016
More information about the Types-announce
mailing list