caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] RADICAL@CONCUR'19: Recent Advances in Concurrency and Logic - 1st Call for Submissions
@ 2019-04-03 12:33 Ornela Dardha
  0 siblings, 0 replies; 1+ messages in thread
From: Ornela Dardha @ 2019-04-03 12:33 UTC (permalink / raw)
  To: haskell, haskell-cafe, coq-club, agda, cl-isabelle-users, swi-prolog, stp, caml-list, boost-interest, erlang-questions

[-- Attachment #1: Type: text/plain, Size: 5467 bytes --]

[Please distribute widely - apologies for multiple postings.]

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

2nd International Workshop on Recent Advancement in Concurrency and
Logic (RADICAL 2019)
To be held as Workshop co-located with CONCUR 2019
26 August 2019, Amsterdam, The Netherlands.

https://sites.google.com/site/radicalconcur/Home


Introduction

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

Topics of interest

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;


Previous Editions

RADICAL 2017 (co-located with CONCUR 2017). 4 September 2017, Berlin (Germany).


Submissions

Submitted contributions should not exceed 3 pages (not including references)
using the EasyChair format. Submitted papers should be formatted in PDF and
uploaded to

https://easychair.org/conferences/?conf=radical2019

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.

Important Dates
** Submission deadline: Friday, 21 June 2019.
** Notification to authors: Friday, 26 July 2019.
** Workshop: Monday, 26 August 2019, in Amsterdam.

Co-chairs

Ornela Dardha, University of Glasgow
Giuseppe Perelli, University of Leicester

Program Committee

Antonis Achilleos (Reykjavik University, Iceland)
Natasha Alechina (University of Nottingham, UK)
Stephanie Balzer (Carnegie Mellon University, USA)
Benedikt Bollig (CNRS, LSV, ENS Paris-Saclay, France)
Edwin Brady (University of St. Andrews, UK)
James Brotherston (University College London, UK)
Krishnendu Chatterjee (IST Austria)
Silvia Crafa (University of Padua, Italy)
Ornela Dardha (University of Glasgow, UK co-chair)
Valeria de Paiva (Samsung Research America and University of Birmingham, UK)
Mariangiola Dezani (University of Torino, Italy)
Emmanuel Filiot (Université libre de Bruxelles and FNRS, Belgium)
Bernd Finkbeiner (University of Saarland, Germany)
Adrian Francalanza (University of Malta, Malta)
Julian Gutierrez (University of Oxford, UK)
Paul Harrenstein (University of Oxford, UK)
Sophia Knight (University of Minnesota Duluth, USA)
Orna Kupferman (Hebrew University, Israel)
Garrett Morris (University of Kansas, USA)
Aniello Murano (University of Naples, Italy)
Giuseppe Perelli (University of Leicester, UK co-chair)
Anna Philippou (University of Cyprus, Cyprus)
Elaine Pimentel (UFRN, Brazil)
Sophie Pinchinat (IRISA Rennes, France)
Nir Piterman (University of Gothenburg, Sweden)
Jorge A. Perez (University of Groningen, The Netherlands)
Bernardo Toninho (NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, Portugal)
Philip Wadler (University of Edinburgh, UK)


---
Dr Ornela Dardha
Lecturer (Assistant Professor)
School of Computing Science
University of Glasgow
phone: +44 (0)141 330 1732
web: www.dcs.gla.ac.uk/~ornela/<http://www.dcs.gla.ac.uk/~ornela/>


[-- Attachment #2: Type: text/html, Size: 13723 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-03 12:33 [Caml-list] RADICAL@CONCUR'19: Recent Advances in Concurrency and Logic - 1st Call for Submissions Ornela Dardha

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox