* *CONCUR 2019* *

THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY

August 26-31, 2019, Amsterdam, The Netherlands
(https://event.cwi.= nl/concur2019/)

CALL FOR AFFILIATED WORKSHOPS

The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from A= ugust 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co= -located with the 17th International Conference on Formal Modelling and Ana= lysis of Timed Systems (FORMATS 2019).

Researchers and practitioners are invited to submit proposals for workshops= to be affiliated to CONCUR 2019, on topics related to concurrency theory a= nd its applications. Example topics include: semantics, logics, verificatio= n techniques for concurrent systems, cross-fertilization between industry and academia and opportunities for yo= ung and prospective researchers.

Past CONCUR conferences have been accompanied by successful workshops on a = variety of topics, such as formal and foundational methods, models of syste= ms (biological, timed), security issues, semantical issues, and verificatio= n methods. You can have an idea of the past workshops by browsing the pages of the past editions of CONCUR= .

The purpose of the workshops is to provide participants with a friendly, in= teractive atmosphere for presenting novel ideas and discussing their applic= ation.

The workshops take place on Monday August 26, 2019 and Saturday August 31, = 2019.

Proposals should include:

  * The name and the preferred date of the proposed workshop (Aug= ust 26 or 31, 2019)
  * A short description of the workshop (500 words max)
  * If applicable, a description of past versions of the workshop= , including dates, organisers, submission and acceptance counts, and a= ttendance
  * The expected number of participants
  * The name and short CV of the organiser(s)
  * The publication plan (only invited speakers, no published pro= ceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).

The CONCUR organisation offers:

* a link from the CONCUR web site;
* setup of meeting space, and related equipment,
* coffee-breaks and lunch for the participants on the day of the work= shop,
* on-line and on-site registration to the workshop,
* free workshop registrations for an invited speaker and one or two o= rganisers.

The main responsibility for organising the workshop goes to the workshop or= ganiser(s), including:

* workshop publicity (possibly including call for papers, submission and re= view process)
* scheduling workshop activities in collaboration with the CONCUR workshop = chair.

IMPORTANT DATES

Submission of workshop proposals: February 1, 2019 (but we greatly app= reciate if you announce your proposal to us as soon as possible).
Notification: February 15, 2019

SUBMISSION TO: Bas Luttik (s.p.luttik at tue.nl)

For more information, please contact me via email (s.p.luttik at tue.nl).

The CONCUR 2019 workshop chair,
Bas Luttik
https://www.win.tue.n= l/~luttik
Eindhoven University of Technology

--_000_55E8A647B56D4A45959520E9961D1163tuenl_--