[Apologies for multiple postings]

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

       1st CALL for ABSTRACTS for YR-CONCUR 2017
                       
                    7th International
   Young Researchers Workshop on Concurrency Theory
         (satellite workshop of CONCUR 2017)

                   September 4, 2017
                    Berlin, Germany

 URL: http://www.lsv.ens-cachan.fr/~bollig/yr-concur2017/

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

Aims and objectives:

This workshop aims at providing a platform for PhD students and young
researchers who recently completed their doctoral studies to exchange
new results related to concurrency theory and receive feedback on
their research. Focus is on informal discussions. Excellent master
students working on concurrency theory are also encouraged to
contribute.

Format:

YR-CONCUR 2017 is a satellite workshop of CONCUR 2017 and will be held
on September 4, 2017. It is anticipated that many CONCUR participants
will attend the YR-workshop (and vice versa). Presentations are
selected on the basis of an abstract of up to 4 pages (including
references) describing the research. No particular format is
required. Submissions are judged on the expected interest in and
quality of the talk. The accepted abstracts will be made available at
the workshop, but no formal proceedings are planned. It is thus also
allowed (and encouraged) to send results that have been published at
other conferences (although preferably not at CONCUR 2017 or any of
its other satellite workshops).

Invited Speaker: Javier Esparza (TU Munich, Germany)

Important Dates:
- Deadline for 4-page abstracts: June 25, 2017
- Notification of acceptance: July 17, 2017
- Final version: August 14, 2017
- Workshop: September 4, 2017

Submission:
4-page abstracts (including references) should be submitted via the
YR-CONCUR 2017 submission page on EasyChair:

https://easychair.org/conferences/?conf=yrconcur2017

Organizers and PC Chairs:
- Benedikt Bollig (CNRS, ENS Paris-Saclay, France)
- Christoph Haase (University of Oxford, UK)


Program Committee
- Benedikt Bollig (CNRS, ENS Paris-Saclay, France)
- Rohit Chadha (University of Missouri, USA)
- Christoph Haase (University of Oxford, UK)
- Guy Katz (Stanford University, USA)
- S. Krishna (Indian Institute of Technology, Bombay, India)
- Denis Kuperberg (CNRS, ENS Lyon, France)
- Tatjana Petrov (IST Austria)
- Karin Quaas (Universität Leipzig, Germany)
- César Rodríguez (Université Paris 13, Sorbonne Paris Cité, France)
- Fabio Zanasi (University College London, UK)


----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               [email protected] ]]

Reply via email to