---- 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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
