Concurren cy and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and pr ovides a plethora of logics and models for reasoni ng about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attent ion, as witnessed by recent editions of AI confere nces. All these examples share the challenge of de veloping novel theories and tools for automated re asoning that take into account the behaviour of co ncurrent and multi-agent entities.
\n\nThe workshop aims to bring together researchers worki ng on different aspects of logic and concurrency i n AI, multi-agent systems, and computer science, b oth from a theoretical and a practical point of vi ew. Besides, it aims to promote research on Founda tion of AI in other research communities that are traditionally Theoretical Computer Science-oriente d.
\nWe invite submissions de scribing talk proposals on the intersection of log ic and concurrency. A submission to RADICAL would typically fall within one of the following categor ies: reports of an ongoing work and/or preliminary results; summaries of an already published paper (or series of papers); overviews of (recent) PhD t heses; descriptions of research projects and conso rtia; manifestos, calls to action, personal views on current and future challenges; overviews of int eresting yet underrepresented problems.
\n\n < p>Submitted contributions should not exceed 3 page s (not including references) using the EasyChair f ormat. Submissions based on already published work s should include explicit references/links as appr opriate.\n