CONCUR 2017 - Second Call for Participation
28th International Conference on Concurrency Theory
September 5-8, 2017, Berlin, Germany
- Hongseok Yang (University of Oxford, UK)
- Azahdeh Farzan (University of Toronto, Canada)
- Madan Musuvathi (Microsoft Research, USA)
- Jean-Francois Raskin (Université libre de Bruxelles, Belgium)
- Alastair Donaldson (Imperial College London, UK)
- Pawel Sobocinski (University of Southampton, UK)
- Viktor Vafeiadis (Max Planck Institute for Software Systems, Germany)
14th International Conference on
Quantitative Evaluation of SysTems (QEST 2017)
15th International Conference on
Formal Modelling and Analysis of Timed Systems (FORMATS 2017)
14th European Performance Engineering Workshop (EPEW 2017)
There will be four workshops co-located with CONCUR:
EXPRESS/SOS, RADICAL, YR-CONCUR on September 4, and TRENDS on September 9.
The list of accepted papers of CONCUR is available at:
The program is available at:
The registration for CONCUR'17, QEST'17, FORMATS'17 and EPEW'17
(together with their affiliated workshops and tutorials) is now open!
Early registration with reduced rates ends on *July 31*.
See all the details at the QONFEST website (also reachable via the CONCUR
All conferences and workshops will take place at Harnack-Haus.
More information about the conference venue and hotel suggestions are
For further requests, please contact kirstin.peters(a)tu-berlin.de.
See you in Berlin!
[Apologies for multiple postings.]
12 Research Assistants/Associates
in the post graduate program
“Uncertainty and Randomness in
Algorithms, Verification and Logic”
at RWTH Aachen University, Aachen, Germany
The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. 12 positions are available within the
interdisciplinary Research Training Group (RTG) UnRAVeL founded by
Deutsche Forschungsgemeinschaft (DFG). The key emphasis of an RTG is on
the qualification of doctoral researchers with a focused research
program and a structured training strategy. The RTG UnRAVeL aims to
significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-supported
verification techniques, and to apply them to core problems from
security (e.g., probabilistic protocols), planning (robotics and railway
engineering), and safety and performance analysis (railway systems). To
tackle these research challenges, theoretical computer scientists from
computer-aided verification, logic and games, algorithms and complexity,
together with experts from management science (robust optimization),
applied computer science (robotics and security), and railway
engineering intensively cooperate within the RTG UnRAVeL.
Candidates must have (or soon obtain) a master degree in Computer
Science, Mathematics or related area and have completed their studies
with excellent grades. You should have interest in performing original,
highly competitive scientific research, publishing your results in top
conferences and scientific journals. Self-motivation and the ability to
work both independently and as a team player in local and international
research groups are expected. Fluency in English is required;
proficiency in German is helpful but not compulsory.
How to apply?
Your written application should contain:
- a curriculum vitae
- a transcript of records (list of courses and grades)
- a cover letter including a statement of interest in (some of) the
RTG topics that can be found on our web-site (see below), and
- a recommendation letter e.g., by your master thesis supervisor(s).
All documents should be formatted as a single pdf-file. You should send
your application ultimately by ** July 14, 2017 (AoE) ** to the e-mail
What do we offer?
We offer a stimulating international research environment, the
possibility to participate in highly competitive and interdisciplinary
research and the opportunity to involve students in your research
through project work. Doctoral researchers have a status as employee
with a salary according to the German federal employee scale TV-L E13;
the exact salary is subject to your family situation. The duration of
the positions is three years. RWTH Aachen University offers excellent
facilities for professional and personal development. Starting date of
the positions: as soon as possible from October 1, 2017 on.
More information about the RTG UnRAVeL can be found at:
Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail:
RWTH Aachen University is certified as a “Family-Friendly University”.
We particularly welcome and encourage applications from women, disabled
persons and ethnic minority groups, recognizing they are
underrepresented across RWTH Aachen University. The principles of fair
and open competition apply and appointments will be made on merit.
Call for Papers and Posters (Extended Deadline)
3rd International Workshop on Meta Models for Process Languages (MeMo) 2017
affiliated with CONCUR, September 4th, 2017, Berlin, Germany
'''Aim and Topics'''
Metamodels are framework theories which provide general, structural
results simplifying and driving the development of models of specific
systems and languages. There are frameworks for operational semantics
(such as GSOS, graph rewriting systems, Milner’s bigraphs, coalgebras),
for denotational semantics (such as algebraic/bialgebraic
specifications, monads, enriched Lawvere theories, mathematical
operational semantics), and for logical semantics (such as metalanguages
for deductive systems, i.e. Logical Frameworks). The boundaries between
these metamodels are blurred, and techniques and ideas from one can be
reapplied to the others. Moreover, metamodels can help in the definition
of new computation and programming paradigms.
The goal of the MeMo workshop is to bring together researchers working
on and with metamodels, with the aim to share insights, uncover
similarities and differences, possibilities for cross-fertilization and
stimulate further research in this exciting area. We solicit
contributions in the theory and applications of meta models: theoretical
results, tool implementations, real-world applications, case studies,
new application areas, integration of meta-models with programming
languages, etc. Topics include (but are not limited to):
- Metamodels for operational semantics: bigraphical reactive systems,
coalgebras, psi-calculus, SOS formats, term and graph transformation
systems, tile models, ULTraS and FuTS, K-framework, etc.
- Metamodels for denotational semantics: algebraic/bialgebraic
specifications, monads, enriched Lawvere theories, mathematical
operational semantics, etc.
- Metamodels for logical semantics: metalanguages for deductive
systems, concurrent logical frameworks, etc.
- Expressiveness issues of metamodels
- Applications of meta-models to the design of computational paradigms
(e.g., for agent-based and context-aware computing)
- Tools, implementations, and experiments
'''Important Dates''' (Extended Deadlines)
Submission regular papers and presentation proposals: 5th July 2017
Notification regular papers and presentation proposals: 5th August 2017
Camera-ready copy: 14th August 2017
Submission posters: 14th August 2017
Notification posters: 20th August 2017
- Jan Friso Groote, Technical University Eindhoven, The Netherlands
We invite three types of submissions:
Full regular papers;
Tool presentation papers;
Submissions of regular and tool papers must be original and should not
have been published previously nor to be under consideration for
publication while being evaluated for this workshop. Submissions of
poster proposals can be based on work submitted elsewhere and be clearly
marked as a poster proposal by prefixing the title with "POSTER:" . The
posters will be on display all throughout the workshop in the coffee
break area, when the presenters can interact with other participants.
Evaluation criteria will be technical quality, readability, novelty, and
All papers and posters must be in English and submitted at the EasyChair
Papers should use the EPTCS style (http://style.eptcs.org/) and not
exceed 15 pages in length for full papers, 10 pages for tool papers, and
6 pages for poster descriptions.
If necessary, the paper may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program committee.
We plan an EPTCS post-proceedings volume and depending on the quality of
the submissions also a special journal issue of selected, extended papers.
'''Program Committee Co-Chairs and Organizers'''
- Thomas Hildebrandt, IT University of Copenhagen, Denmark
- Christian Johansen, University of Oslo, Norway
- Patrick Bahr, IT University of Copenhagen, Denmark
- Iliano Cervesato, CMU Qatar
- Matteo Cimini, Indiana University, Bloomington, USA
- Søren Debois, IT University of Copenhagen, Denmark
- Yuxin Deng, East China Normal University, China
- Uli Fahrenberg, Ecole Polytechnique, France
- Tobias Heindel, University of Leipzig, Germany
- Thomas Hildebrandt, IT University of Copenhagen, Denmark (co-chair)
- Hans Hüttel, Aalborg University, Denmark
- Christian Johansen, University of Oslo, Norway (co-chair)
- Marino Miculan, University of Udine, Italy
- Joachim Parrow, Uppsala Universitet, Sweden
- Marco Peressotti, University of Southern Denmark
- Johannes Åman Pohjola, Chalmers University, Sweden
- Jan Rutten, Centrum Wiskunde & Informatica (CWI), The Netherlands
- Pawel Sobocinski, University of Southampton, UK
- Uwe Egbert Wolter, University of Bergen, Norway
Thomas T. Hildebrandt
Associate Professor at IT University of Copenhagen
Head of Process Intelligence, Modelling & Optimisation Group
BPM & ACM Consultant
Mobile: +45 31425279
Recent Advances in Concurrency and Logic
A new workshop, co-located with CONCUR 2017.
Berlin, Germany - September 4, 2017
Extended submission deadline (3-page talk proposals):
Friday, 7 July 2017
Luís Caires (NOVA University of Lisbon, PT)
Luke Ong (University of Oxford, UK)
== MOTIVATION AND SCOPE
RADICAL is a new workshop aligned within the intersection between
concurrency and logic, broadly construed.
Recently, the interplay of concurrency and logic with
areas/applications such as:
- design, verification, synthesis for concurrent systems, both
qualitative and quantitative;
- strategic reasoning for distributed and multi-agent systems;
- analysis and validation techniques for concurrent and distributed
programs and systems (e.g., separation logics, advanced type systems,
and runtime verification techniques);
has received much attention, as witnessed by recent CONCUR editions.
These areas/applications have become increasingly consolidated, and
start to have profound impact in neighbouring communities such as:
- programming languages
- artificial intelligence
- computer security
- knowledge representation
As an unfortunate side effect, however, the important unifying role
that concurrency plays in all of them seems hard to find in a single
scientific event. Indeed, there do not seem to exist appropriate
venues in which different research communities interested in
concurrency and logic can meet closely, cross-fertilize, and share
their most exciting recent results.
RADICAL intends to fill a gap between CONCUR researchers that now also
typically publish and interact in other different venues; it also aims
at attracting researchers from neighbouring communities whose work
naturally intersects with CONCUR.
== FORMAT: BACK TO THE BASICS
RADICAL will offer an innovative format for a one-day workshop for
researchers involved in all aspects of concurrency and logic
including, but not limited to, the areas mentioned above.
Since we would like to recover the informal character of scientific
workshops, rather than regular paper submissions, authors should
submit three-page talk proposals (see below).
RADICAL will be an informal venue, oriented to interaction, and so it
will have no formal proceedings.
== INVITED SPEAKERS
- Luís Caires (NOVA University of Lisbon, PT)
- Luke Ong (University of Oxford, UK)
== SUBMISSIONS: 3-PAGE TALK PROPOSALS
We invite submissions describing talk proposals on the intersection of
logic and concurrency, as motivated above.
A submission to RADICAL would typically fall within one of the
- reports of an ongoing work and/or preliminary results;
- summaries of an already published paper (or series of papers);
- overviews of (recent) PhD theses;
- descriptions of research projects and consortia;
- manifestos, calls to action, personal views on current and future challenges;
- overviews of interesting yet underrepresented problems.
This list is by no means exhaustive but merely indicative.
For instance, since RADICAL will precede CONCUR (and the other main
conferences co-located with QONFEST), authors of papers accepted at a
main conference may consider proposing a talk in RADICAL that promotes
(or gives context to) a technical talk to be delivered at the
conference(s) later on the week.
Prospective authors are encouraged to contact the organizers in case
Submissions based on already published works should include explicit
references/links as appropriate.
Reviewers may read such prior published work, but are not obliged to so do.
Submissions will be judged by the program committee on the basis of
significance, relevance, and potential of an engaging, compelling talk
at the workshop.
Submissions should be in PDF, up to three pages (not including
references), produced using the EasyChair format, available at
Please submit your talk proposal via EasyChair:
It is understood that for each accepted submission one of the
co-authors will attend the workshop and give the talk.
== IMPORTANT DATES
- Submission deadline (3-page talk proposals):
Friday, 7 July 2017 (extended)
- Notification to authors:
Friday, 28 July 2017.
Monday, 4 September 2017
- Julian Gutierrez (University of Oxford, UK)
- Jorge A. Pérez (University of Groningen, NL)
== PROGRAM COMMITTEE
- Emmanuel Beffara (I2M, Université d'Aix-Marseille & CNRS, FR)
- James Brotherston (University College London, UK)
- Marco Carbone (IT University of Copenhagen, DK)
- Silvia Crafa (Università di Padova, IT)
- Ugo Dal Lago (Università di Bologna, IT)
- Rocco De Nicola (IMT Lucca, IT)
- Constantin Enea (IRIF, University Paris Diderot, FR)
- Wan Fokkink (Vrije Universiteit Amsterdam, NL)
- Sibylle Fröschle (University of Oldenburg, DE)
- Simon Gay (University of Glasgow, UK)
- Julian Gutierrez (University of Oxford, UK - co-chair)
- Willem Heijltjes (University of Bath, UK)
- Marieke Huisman (University of Twente, NL)
- Martin Leucker (University of Lübeck, DE)
- Radu Mardare (Aalborg University, DK)
- Carlos Olarte (Universidade Federal do Rio Grande do Norte, BR)
- Jorge A. Pérez (University of Groningen, NL - co-chair)
- Carsten Schürmann (IT University of Copenhagen, DK)
- Alexandra Silva (University College London, UK)
- Pawel Sobocinski (University of Southampton, UK)
- Alwen Tiu (Nanyang Technological University, SG)
- Nikos Tzevelekos (Queen Mary University of London, UK)
- Irek Ulidowski (University of Leicester, UK)
- Frank Valencia (CNRS & LIX, École Polytechnique, FR)
- Hans van Ditmarsch (LORIA - CNRS / University of Lorraine, FR)
- Rineke Verbrugge (University of Groningen, NL)
- Philip Wadler (University of Edinburgh, UK)