RADICAL i s a workshop aligned within the intersection betwe en concurrency and logic, broadly construed. Admit tedly broad, such an intersection has been explore d from very diverse angles for many years now. Mor e recently, the interplay of concurrency and logic with applications such as, for instance verificat ion, synthesis and multi-agent systems has receive d much attention.
\nThese areas have becom e increasingly consolidated, and start to have pro found impact in neighboring communities such as pr ogramming languages, AI and knowledge representati on. As an unfortunate side effect, however, the im portant unifying role that concurrency plays in al l of them seems hard to find in a single scientifi c event. Indeed, there do not seem to exist approp riate venues in which different research communiti es interested in concurrency and logic can meet cl osely, cross-fertilize, and share their most excit ing recent results. RADICAL intends to fill that g ap.
\nNote that RADICAL will be an informal venue, oriented to interaction, and so it will have no formal proceedings. Rather tha n regular paper submissions, authors should submit short talk proposals.
\n