Berlin (Germany), September 4, 2017
NEW: Workshop program and workshop dinner (see below)
Admittedly broad, such an intersection has been explored from very diverse angles for many years now.
More recently, the interplay of concurrency and logic with areas/applications such as, for instance,
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
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.
AN INNOVATIVE 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.
Distinctive innovative aspects of RADICAL include:
INVITED SPEAKERS
SUBMISSIONS
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:
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@easychair.org).
Submissions based on already published works should include explicit references/links as appropriate. Reviewers may read such prior published works, 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. 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
ORGANIZERS
PROGRAM COMMITTEE
PROGRAM
Moreover, at 20:00 we will have an informal dinner at "Alter Krug" (not included in the registration fee).
Please send an email to radical2017@easychair.org if you would like to join us.
REGISTRATION AND LOCAL INFORMATION