[TYPES/announce] Recent Advances in Concurrency and Logic (RADICAL 2017) -- 2nd Call for Submissions.

[Jorge A. Perez]

[ Submissions from the TYPES readership, broadly related to
concurrency and logic, are warmly welcome! ]

===========================================
2nd CALL FOR SUBMISSIONS
Recent Advances in Concurrency and Logic
(RADICAL 2017)

https://sites.google.com/site/radicalconcur/

A new workshop, co-located with CONCUR 2017.
https://www.concur2017.tu-berlin.de/
Berlin, Germany - September 4, 2017

Submission deadline (3-page talk proposals):
Friday, 30 June 2017
===========================================


== 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
following categories:
- 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
of questions:
radical2017 at easychair.org

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
http://easychair.org/publications/for_authors

Please submit your talk proposal via EasyChair:
https://easychair.org/conferences/?conf=radical2017

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, 30 June 2017.
- Notification to authors:
Friday, 28 July 2017.
- Workshop:
Monday, 4 September 2017


== ORGANIZERS
- 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)


-- 
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen, The Netherlands
URL: http://www.jperez.nl