26 August 2019, 2nd International Workshop on Recent Advancement in Concurrency and Logic (RADICAL 2019) , Amsterdam, The Netherlands
Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.
The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.
We invite submissions describing talk proposals on the intersection of logic and concurrency. 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.
Submitted contributions should not exceed 3 pages (not including references) using the EasyChair format. Submissions based on already published works should include explicit references/links as appropriate.