CONCUR 2021

CONCUR 2021
International Conference on Concurrency Theory
Ordinal	32
Event in series	CONCUR
Subevent of	QONFEST 2021
Dates	2021/08/23 (iCal) - 2021/08/27
Homepage:	https://qonfest2021.lacl.fr/concur21.php
Submitting link:	https://easychair.org/conferences?conf=concur2021
Location
Location:	Paris, Online
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":48.8588897,"lon":2.3200410217201,"icon":""}],"imageoverlays":null}
Important dates
Abstracts:	2021/04/23
Papers:	2021/04/30
Submissions:	2021/04/30
Notification:	2021/06/23
Camera ready due:	2021/07/09
Committees
PC chairs:	Serge Haddad, Daniele Varacca
Keynote speaker:	Patricia Bouyer-Decitre, Davide Sangiorgi, Boudewijn Haverkort
Table of Contents

Due the pandemic situation, the organization committee decided that the conference will take place online as last year's CONCUR: the talks will be pre-recorded and then streamed on Zoom.

Topics

Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):

Basic models of concurrency such as abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems;

Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;

Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;

Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols;

Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.