Please unsubscribe me from this list.

Thank you!

Maja Niestroj

czw., 10 sty 2019 o 10:18 Luttik, S.P. <s.p.luttik-ZS/VO/AiPhU@public.gmane.org> napisał(a):

> * *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
> 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).
>
> 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.
>
> 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.
>
> The purpose of the workshops is to provide participants with a friendly,
> interactive atmosphere for presenting novel ideas and discussing their
> application.
>
> 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 (August 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
> attendance
>   * The expected number of participants
>   * The name and short CV of the organiser(s)
>   * The publication plan (only invited speakers, no published
> proceedings, 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 workshop,
>  * on-line and on-site registration to the workshop,
>  * free workshop registrations for an invited speaker and one or two
> organisers.
>
> The main responsibility for organising the workshop goes to the workshop
> organiser(s), including:
>
> * workshop publicity (possibly including call for papers, submission and
> review process)
> * scheduling workshop activities in collaboration with the CONCUR workshop
> chair.
>
>
> IMPORTANT DATES
>
> Submission of workshop proposals: February 1, 2019 (but we greatly
> appreciate 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.nl/~luttik
> Eindhoven University of Technology
>
>