<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;">================================</span><br>
</p>
<div style="color: rgb(0, 0, 0);">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div>CONCUR 2019 - Call for Participation</div>
<div><br>
</div>
<div>Early Registration Deadline: 7 July 2019</div>
<div>================================</div>
<div><br>
</div>
<div>https://event.cwi.nl/concur2019/</div>
<div><br>
</div>
<div>The 30th International Conference on Concurrency Theory (CONCUR) will take place in Amsterdam, the Netherlands, on 27-30 August 2019.</div>
<div><br>
</div>
<div>The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.</div>
<div><br>
</div>
<div>==============</div>
<div>Keynote speakers</div>
<div>==============</div>
<div><br>
</div>
<div>Marta Kwiatkowska (University of Oxford, UK)</div>
<div><br>
</div>
<div>Kim G. Larsen (Aalborg University, Denmark)</div>
<div><br>
</div>
<div>
<div><span style="font-size:12pt">Joël Ouaknine (Max Planck Institute for Software Systems, Germany)</span><br>
</div>
</div>
<div><br>
</div>
<div>Jaco van de Pol (Aarhus University, Denmark)</div>
<div><br>
</div>
<div>================</div>
<div>High-quality papers</div>
<div>================</div>
<div><br>
</div>
<div></div>
<div>CONCUR 2019 features 37 high-quality papers. The list can be found at</div>
<div><br>
</div>
<div>https://event.cwi.nl/concur2019/papers.html</div>
<div><br>
</div>
<div>===================</div>
<div>Co-located conferences</div>
<div>===================</div>
<div><br>
</div>
<div>There are two co-located conferences:</div>
<div><br>
</div>
<div>24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019)</div>
<div><br>
</div>
<div>17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)</div>
<div><br>
</div>
<div>=================</div>
<div>Thematic workshops</div>
<div>=================</div>
<div><br>
</div>
<div>There are six co-located workshops on special topics:</div>
<div><br>
</div>
<div>3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019)</div>
<div><br>
</div>
<div>Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)</div>
<div><br>
</div>
<div>2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019)</div>
<div><br>
</div>
<div>4th International Workshop on Timing Performance Engineering for Safety Critical Systems (TIPS 2019)</div>
<br>
<p></p>
<p></p>
<div>8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)</div>
<div><br>
</div>
<div>9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)</div>
<div><br>
</div>
<div>==========</div>
<div>Registration</div>
<div>==========</div>
<div><br>
</div>
<div>Register by the 7th of July 2019 to benefit of the early registration fees. Late registration is possible at a higher cost. More information at:</div>
<div><br>
</div>
<div>https://event.cwi.nl/concur2019/participation.html</div>
<div><br>
</div>
<div>==================</div>
<div>Organizing Committee</div>
<div>==================</div>
<div><br>
</div>
<div>General Chair:</div>
<div>Jos Baeten (CWI, Amsterdam, The Netherlands)</div>
<div><br>
</div>
<div>Workshop Chair:</div>
<div>Bas Luttik (Eindhoven University of Technology, The Netherlands)</div>
<div><br>
</div>
<div>Program Co-chairs:</div>
<div>Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands)</div>
<div>Rob van Glabbeek (Data61, CSIRO, Sydney, Australia)</div>
<p></p>
</div>
</div>
</div>
</div>
</body>
</html>