<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div>
<div class="">* *CONCUR 2019* * </div>
<div class="">THE 30TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY</div>
<div class="">
<div class="">August 26-31, 2019, Amsterdam, The Netherlands<br class="">
(<a href="https://event.cwi.nl/concur2019/" class="">https://event.cwi.nl/concur2019/</a>)<br class="">
<br class="">
CALL FOR AFFILIATED WORKSHOPS<br class="">
<br class="">
The 30th Conference on Concurrency Theory (CONCUR 2019) will be held from August 26 until August 31, 2019 in Amsterdam, The Netherlands. It will be co-located with the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS
2019).</div>
<div class=""><br class="">
Researchers and practitioners are invited to submit proposals for workshops to be affiliated to CONCUR 2019, on topics related to concurrency theory and its applications. Example topics include: semantics, logics, verification techniques for concurrent systems,
cross-fertilization between industry and academia and opportunities for young and prospective researchers.</div>
<div class=""><br class="">
Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, such as formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. You can have an idea
of the past workshops by browsing the pages of the past editions of CONCUR.</div>
<div class=""><br class="">
The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.</div>
<div class=""><br class="">
The workshops take place on Monday August 26, 2019 and Saturday August 31, 2019.<br class="">
<br class="">
Proposals should include:<br class="">
<br class="">
* The name and the preferred date of the proposed workshop (August 26 or 31, 2019)<br class="">
* A short description of the workshop (500 words max)<br class="">
* If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance<br class="">
* The expected number of participants<br class="">
* The name and short CV of the organiser(s)<br class="">
* The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).<br class="">
<br class="">
<br class="">
The CONCUR organisation offers:<br class="">
<br class="">
* a link from the CONCUR web site;<br class="">
* setup of meeting space, and related equipment,<br class="">
* coffee-breaks and lunch for the participants on the day of the workshop,<br class="">
* on-line and on-site registration to the workshop,<br class="">
* free workshop registrations for an invited speaker and one or two organisers.<br class="">
<br class="">
The main responsibility for organising the workshop goes to the workshop organiser(s), including:<br class="">
<br class="">
* workshop publicity (possibly including call for papers, submission and review process)<br class="">
* scheduling workshop activities in collaboration with the CONCUR workshop chair.<br class="">
<br class="">
<br class="">
IMPORTANT DATES<br class="">
<br class="">
Submission of workshop proposals: February 1, 2019 (but we greatly appreciate if you announce your proposal to us as soon as possible).<br class="">
Notification: February 15, 2019<br class="">
<br class="">
<br class="">
SUBMISSION TO: Bas Luttik (s.p.luttik at <a href="http://tue.nl" class="">tue.nl</a>)<br class="">
<br class="">
For more information, please contact me via email (s.p.luttik at <a href="http://tue.nl" class="">
tue.nl</a>).<br class="">
<br class="">
The CONCUR 2019 workshop chair,<br class="">
Bas Luttik<br class="">
<a href="https://www.win.tue.nl/~luttik" class="">https://www.win.tue.nl/~luttik</a><br class="">
Eindhoven University of Technology</div>
</div>
</div>
<br class="">
</body>
</html>