[TYPES/announce] CONCUR 2017 -- 2nd Call for Participation

Kirstin Peters kirstin.peters at tu-berlin.de
Tue Jul 18 13:25:23 EDT 2017


============================================================================

                    CONCUR 2017 - Second 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 four workshops co-located with CONCUR:
EXPRESS/SOS, 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

The program is available at:
https://www.concur2017.tu-berlin.de/program/detailed.html

============================================================================

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/20170718/e8c9cd5e/attachment.html>


More information about the Types-announce mailing list