[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