[TYPES/announce] CONCUR 2017 -- First Call for Participation
Kirstin Peters
kirstin.peters at tu-berlin.de
Sat Jun 24 15:30:35 EDT 2017
============================================================================
CONCUR 2017 - First Call for Participation
28th International Conference on Concurrency Theory
September 5-8, 2017, Berlin, Germany
https://www.concur2017.tu-berlin.de/
============================================================================
INVITED SPEAKERS
- Hongseok Yang (University of Oxford, UK)
- Azahdeh Farzan (University of Toronto, Canada)
- Madan Musuvathi (Microsoft Research, USA)
- Jean-Francois Raskin (Université libre de Bruxelles, Belgium)
TUTORIALS
- Alastair Donaldson (Imperial College London, UK)
- Pawel Sobocinski (University of Southampton, UK)
- Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany)
CO-LOCATED EVENTS
14th International Conference on
Quantitative Evaluation of SysTems (QEST 2017)
15th International Conference on
Formal Modelling and Analysis of Timed Systems (FORMATS 2017)
14th European Performance Engineering Workshop (EPEW 2017)
There will be five workshops co-located with CONCUR:
EXPRESS/SOS, MeMo, RADICAL, YR-CONCUR on September 4,
and TRENDS on September 9.
============================================================================
The list of accepted papers of CONCUR is available at:
https://www.concur2017.tu-berlin.de/accepted_papers.html
Details on the program follow soon.
============================================================================
The registration for CONCUR'17, QEST'17, FORMATS'17 and EPEW'17
(together with their affiliated workshops and tutorials) is now open!
Early registration with reduced rates ends on July 31.
See all the details at the QONFEST website (also reachable via the CONCUR
website):
https://conference.imp.fu-berlin.de/qonfest/registration-Info
============================================================================
All conferences and workshops will take place at Harnack-Haus.
More information about the conference venue and hotel suggestions are
found at:
https://conference.imp.fu-berlin.de/qonfest/venue
https://conference.imp.fu-berlin.de/qonfest/accomodation
============================================================================
For further requests, please contact kirstin.peters at tu-berlin.de.
See you in Berlin!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170624/14ca7501/attachment.html>
More information about the Types-announce
mailing list