[TYPES/announce] RADICAL 2023: Concurrency & Logic, Antwerp (Belgium) - co-located with CONCUR 2023 - Preliminary CfP

[perelli at di.uniroma1.it]

*

*==================================================================*

Third International Workshop on Recent Advances in Concurrency and Logic 
(RADICAL 2023)*
*

https://urldefense.com/v3/__https://sites.google.com/site/radicalconcur/Home__;!!IBzWLUs!S9Akbmm-3X2CrubrYEhmh7-dlS4Vycy_pMhrQK3877gjawVmEgyoesuSKEaZDFtqgTjBOxO2vhgpsNal8sjIhnroRJjomf0L8B8-$  
<https://urldefense.com/v3/__https://sites.google.com/site/radicalconcur/Home__;!!IBzWLUs!S9Akbmm-3X2CrubrYEhmh7-dlS4Vycy_pMhrQK3877gjawVmEgyoesuSKEaZDFtqgTjBOxO2vhgpsNal8sjIhnroRJjomf0L8B8-$ >

*
*

Antwerp (Belgium), September 18, 2023

(co-located with CONCUR 2023)

*
*

Submission deadline:

*Friday,  30 June 2023*

*
*

Invited speakers:

- Natasha Alechina (Utrecht University, NL)

- Damiano Mazza (CNRS and LIPN, Université Sorbonne Paris Nord, FR)

==================================================================

*
*

++ SCOPE AND TOPICS

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 areas such as:

*
*

1. design, verification, synthesis for concurrent systems, both qualitative

and quantitative;

2. strategic reasoning for distributed and multi-agent systems;

3. analysis and validation techniques for concurrent and distributed 
programs,

such as advanced type systems and separation logics;

*
*

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

behavior 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.

*
*

The topics covered by the workshop include, but are not limited to, the

following:

Concurrency Theory;

Programming languages and semantics;

Formal models for communication-based, concurrent and distributed systems;

Logics in concurrency;

Logics for verification of (concurrent) multi-agent systems;

Logical foundations of decision theory for multi-agent systems;

Knowledge representation;

Programming languages;

*

*

++ SUBMISSION GUIDELINES

Submitted contributions should not exceed 2 pages (not including references)

using the EasyChair format. Submitted papers should be formatted in PDF and

uploaded to

*
*

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=radical2023__;!!IBzWLUs!S9Akbmm-3X2CrubrYEhmh7-dlS4Vycy_pMhrQK3877gjawVmEgyoesuSKEaZDFtqgTjBOxO2vhgpsNal8sjIhnroRJjomR5XHrQR$  
<https://urldefense.com/v3/__https://easychair.org/conferences/?conf=radical2023__;!!IBzWLUs!S9Akbmm-3X2CrubrYEhmh7-dlS4Vycy_pMhrQK3877gjawVmEgyoesuSKEaZDFtqgTjBOxO2vhgpsNal8sjIhnroRJjomR5XHrQR$ >

*
*

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.

*
*

This list is by no means exhaustive but merely indicative.

*
*

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 do so.

*
*

Submissions will be judged by the program committee on the basis of 
significance, relevance, and potential of an engaging, compelling talk 
at the workshop.

*
*

Submission from PC members is encouraged.

*
*

It is understood that for each accepted submission one of the co-authors 
will attend the workshop and give the talk.

*
*

No Proceedings:

RADICAL will be an informal venue, oriented to interaction, so there 
will be no formal proceedings.

*
*

++ IMPORTANT DATES

** Submission deadline: 30 June 2023.

** Notification to authors: 28 July 2023.

** Workshop: 18th September 2023, in Antwerp (Belgium).

*
*

++ WORKSHOP CO-CHAIRS

Giuseppe Perelli (Sapienza University of Rome, Italy)

Jorge A. Pérez (University of Groningen, The Netherlands)

*
*

++ PROGRAMME COMMITTEE

*
*

  *

    Antonis Achilleos, Reykjavik University

  *

    Natasha Alechina, Utrecht University

  *

    Benedikt Bollig, LSV, ENS Cachan, CNRS

  *

    Patricia Bouyer, CNRS & ENS Paris-Saclay

  *

    James Brotherston, University College London

  *

    Marco Carbone, IT University of Copenhagen

  *

    Zoé Christoff, University of Groningen

  *

    Emanuele D'Osualdo, Max Planck Institute for Software Systems

  *

    Ornela Dardha, School of Computing Science -- University of Glasgow

  *

    Mariangiola Dezani-Ciancaglini, Dipartimento di Informatica,
    Università di Torino

  *

    Claudio Di Ciccio, Sapienza University of Rome

  *

    Adrian Francalanza, University of Malta

  *

    Julian Gutierrez, Monash University

  *

    Paul Harrenstein, University of Oxford

  *

    Ross Horne, University of Luxembourg

  *

    Tobias Kappé, ILLC, University of Amsterdam

  *

    Robbert Krebbers, Radboud University Nijmegen

  *

    Munyque Mittelmann, University of Naples Federico II

  *

    Daniele Nantes-Sobrinho, Imperial College London

  *

    Giuseppe Perelli, Sapienza University of Rome (co-chair)

  *

    Jorge Perez, University of Groningen (co-chair)

  *

    Anna Philippou, University of Cyprus

  *

    Elaine Pimentel, UCL

  *

    Sophie Pinchinat, IRISA Rennes

  *

    Nir Piterman, University of Gothenburg

  *

    SashaRubin, The University of Sydney

  *

    Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS

  *

    Philip Wadler, The University of Edinburgh**

  *

    *Valeriade Paiva, Samsung Research America and University of Birmingham*

*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230412/c92ef0c0/attachment-0001.htm>