[apologies for multiple copies]
The Thirteenth International Symposium on Games, Automata, Logics, and
Formal Verification will be held in Madrid (Spain) on September 21-23, 2022.
The aim of GandALF 2022 <https://gandalf2022.software.imdea.org/> is to
bring together researchers from academia and industry which are actively
working in the fields of Games, Automata, Logics, and Formal Verification.
The idea is to cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization. Papers focused on formal
methods are especially welcome. Authors are invited to submit original
research or tool papers on all relevant topics in these areas. Papers
discussing new ideas that are at an early stage of development are also
welcome. The topics covered by the conference include, but are not limited
to, the following:
-
Automata Theory
-
Automated Deduction
-
Computational aspects of Game Theory
-
Concurrency and Distributed computation
-
Decision Procedures
-
Deductive, Compositional, and Abstraction Techniques for Verification
-
Finite Model Theory
-
First-order and Higher-order Logics
-
Formal Languages
-
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
-
Games and Automata for Verification
-
Game Semantics
-
Logical aspects of Computational Complexity
-
Logics of Programs
-
Modal and Temporal Logics
-
Model Checking
-
Models of Reactive and Real-Time Systems
-
Probabilistic Models (Markov Decision processes)
-
Program Analysis and Software Verification
-
Reinforcement Learning
-
Run-time Verification and Testing
-
Specification and Verification of Finite and Infinite-state Systems
-
Synthesis
Important Dates
Abstract Submission:
May 27, 2022
Paper Submission:
June 3, 2022
Notification:
July 24, 2022
Camera-ready:
August 12, 2022
Conference:
September 21-23, 2022
⚠ : submission, Notification and Camera-ready dates are AoE
<https://time.is/Anywhere_on_Earth>
Publication
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science <http://www.eptcs.org/>. Authors of the best papers will
be invited to submit a revised version of their work to a special
issue of Logical
Methods in Computer Science <https://lmcs.episciences.org/>. The previous
editions of GandALF already led to special issues of the International
Journal of Foundations of Computer Science (GandALF 2010), Theoretical
Computer Science (GandALF 2011 and 2012), Information and Computation
(GandALF 2013, 2014, 2016, 2017, 2019 and 2020), Acta Informatica (GandALF
2015) and Logical Methods in Computer Science (2021).
Submission
Submitted papers should not exceed 14 pages (excluding references and
clearly marked appendices) using EPTCS format (please use the LaTeX style
provided here <http://style.eptcs.org>, be unpublished and contain original
research. For papers reporting experimental results, authors are encouraged
to make their data available with their submission. Submissions must be in
PDF format and will be handled via the HotCRP Conference system at the
following address:
https://hotcrp.software.imdea.org/gandalf2022
Invited Speakers
-
Wojciech Czerwiński <https://www.mimuw.edu.pl/~wczerwin/>, University of
Warsaw, Poland
-
Javier Esparza <https://www7.in.tum.de/~esparza/>, Technische
Universität München, Germany
-
Dana Fisman <https://www.cs.bgu.ac.il/~dana/>, Ben-Gurion University,
Israel
-
Jerzy Marcinkowski <https://ii.uni.wroc.pl/~jma/index.phtml>, University
of Wrocław, Poland
Program Committee
Pierre Ganty★
IMDEA Software Institute
Spain
Dario Della Monica★
University of Udine
Italy
Christel Baier
TU Dresden
Germany
Suguman Bansal
University of Pennsylvania
USA
Nathalie Bertrand
Inria
France
Filippo Bonchi
University of Pisa
Italy
Laura Bozzelli
Università degli Studi di Napoli Federico II
Italy
Véronique Bruyère
University of Mons
Belgium
David de Frutos Escrig
Universidad Complutense de Madrid
Spain
Cezara Drăgoi
Informal systems
Mohamed Faouzi Atig
Uppsala University
Sweden
Adrian Francalanza
University of Malta
Malta
Orna Kupferman
The Hebrew University
Israel
Konstantinos Mamouras
Rice University
USA
Roland Meyer
TU Braunschweig
Germany
Fabio Mogavero
Università degli Studi di Napoli Federico II
Italy
Paritosh Pandya
IIT Bombay
India
Paweł Parys
University of Warsaw
Poland
Guillermo Pérez
University of Antwerp
Belgium
Pierre-Alain Reynier
LIS, Aix-Marseille University & CNRS
France
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
China
Georg Zetzsche
Max Planck Institute for Software Systems (MPI-SWS)
Germany
★: co-chair
Steering Committee
Luca Aceto
Reykjavik University
Iceland
Javier Esparza
University of Munich
Germany
Salvatore La Torre
University of Salerno
Italy
Angelo Montanari
University of Udine
Italy
Mimmo Parente
University of Salerno
Italy
Jean-François Raskin
Université libre de Bruxelles
Belgium
Martin Zimmermann
Aalborg University
Denmark
CALL FOR LOCATION ICALP 2025
[Note: This is a correction of a location call recently sent]
The International Colloquium on Automata, Languages and Programming
(ICALP) is the main conference and annual meeting of the EATCS
(European Association for Theoretical Computer Science). This
international conference was launched in 1972 and covers all aspects
of theoretical computer science. ICALP comprises the main, two-track
conference over four days, plus a pre- and/or a post-workshop day.
We invite proposals for locations to host the 52nd ICALP, to be held
in the first half of July 2025. Previous and upcoming ICALP editions include:
ICALP 2024 in Tallinn (Estonia)
ICALP 2023 in Paderborn (Germany)
ICALP 2022 in Paris (France)
ICALP 2021 in Glasgow (UK), virtual
ICALP 2020 in Saarbrücken (Germany), virtual
ICALP 2019 in Patras (Greece)
The deadline for proposals is *** May 30, 2022 ***. Proposals or informal enquires
should be sent to the President of the EATCS and the SC chair (see contact
information below). Selected proposals are to be presented at the General
Assembly of the EATCS at ICALP 2022.
Proposals should address the following points:
- name(s) of the Conference Chair(s) and their host institution
- proposed location (and possibly venue)
- appropriateness of the proposed dates (including possible holidays or other events)
- travel information and estimated transportation costs
- estimated accommodation and registration costs
- conference facilities (session and plenary rooms, workshop rooms)
EATCS president: Artur Czumaj (aczumaj at acm dot org)
SC chair: Anca Muscholl (anca at labri dot fr)
==================================
ICALP 2022 - Call for Participation
==================================
The 49th International Colloquium on Automata, Languages, and Programming
(ICALP) will take place
** in Paris, France, and online on 4-8 July 2022. **
The 2022 edition has the following special features:
- The conference is hybrid.
- This will be the 50th birthday of the conference and some special events are
planned.
- The ICALP Extended Stay Support Scheme (IESSS) is here for helping the
organisation of collaborations around the conference.
ICALP is the main conference and annual meeting of the European Association for
Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a
series of workshops, which will take place on July 4.
The 2022 edition will be also the occasion to celebrate the 50th anniversary of
both EATCS and the first ICALP, which was first held in 1972 in Rocquencourt,
in the Paris area.
============= Important dates and information =============
Website: https://icalp2022.irif.fr/
Early Registration: May 11
Conference: July 4-8, 2022
Workshops: July 4
============= Registration =============
For registration, follow this link: https://icalp2022.irif.fr/?page_id=50
============= Extended Stay Support Scheme (IESS) =============
For its 49th edition, the ICALP conference offers to its attendees an Extended
Stay Support Scheme (IESSS) aiming at enhancing scientific collaborations and
diminishing the carbon footprint of scientific research activities. ICALP 2022
attendees are encouraged to combine their visit to Paris with collaborations
with local researchers.
This support scheme is primarily intended for participants travelling long
distances and must be combined with an attendance to ICALP. Upon acceptation,
research institutes involved in this mechanism will cover standard expenses
(accommodation and traveling fees, plane excluded) and will provide material
support for research activities.
See https://icalp2022.irif.fr/?page_id=50 for more information.
============= Invited Speakers =============
Albert Atserias, Universitat Politècnica de Catalunya
Constantinos Daskalakis, MIT
Leslie Ann Goldberg, Oxford University
Madhu Sudan, Harvard
Stéphan Thomassé, ENS Lyon
Santosh Vempala, Georgia Tech
============= Awards =============
During the conference, the following awards will be given:
- the EATCS award (https://eatcs.org/index.php/eatcs-award),
- the Gödel prize (https://eatcs.org/index.php/goedel-prize),
- the Presburger award (https://eatcs.org/index.php/presburger),
- the EATCS distinguished dissertation award
(https://eatcs.org/index.php/dissertation-award),
- the best papers for Track A and track B,
- the best student papers for Track A and track B.
============= Accepted papers =============
See https://icalp2022.irif.fr/?page_id=85
============= Workshops =============
See https://icalp2022.irif.fr/?page_id=46 for more information.
- Parameterized Approximation Algorithms Workshop
- Combinatorial Reconfiguration
- Recent Advances on Total Search Problems
- Algorithmic Aspects of Temporal Graphs V
- Trends in Arithmetic Theories
- Structure Meets Power 2022
- Straight-Line Programs, Word Equations and their Interplay
- Graph Width Parameters: from Structure to Algorithms
FLoC 2022 Mentoring Workshop (FLoC'22 MW)
https://www.floc2022.org/flocmentoringworkshop
1 August 2022 and 5 August 2022
Haifa, Israel
We warmly invite students to apply for travel scholarships to attend the Mentoring Workshop and FLoC. The deadline for applications is April 11th. Applications are received via the form at
https://forms.gle/QxWmYcvQCPgXRxEq6
ABOUT THE MENTORING WORKSHOP
The purpose of the FLoC 2022 Mentoring Workshop (FLoC'22 MW) is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in various logic-related areas. The workshop will particularly encourage participation of women and under-represented minorities.
There will be two workshop days, one for each FLoC Conference Block, so the students can choose which one of the two they prefer to attend. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at FLoC. Other talks will provide mentoring and career advice, from academia and industry.
CONFIRMED SPEAKERS
Mentoring Workshop for FLoC Conference Block 1 (Friday, August 5th, 2022)
TBA (check the website for updates!)
Mentoring Workshop for FLoC Conference Block 2 (Friday, August 5th, 2022)
* Rajeev Alur, University of Pennsylvania, USA
* Kristin Rozier, Iowa State University, USA
* Natarajan Shankar, SRI, USA
* Alexandra Silva, Cornell University, USA
CONTACT
In case of questions, please contact the Mentoring Workshop co-chairs:
Sandra Kiefer <kiefer(a)informatik.rwth-aachen.de>
Marijana Lazić <lazic(a)in.tum.de>
Caterina Urban <caterina.urban(a)inria.fr<mailto:caterina.urban@inria.fr>>
==============================
Matteo Sammartino, Lecturer
Royal Holloway University of London
Department of Computer Science
Tel.: (+44) (0) 1784 44 3690
Office: 2-07, Bedford Building
https://matteosammartino.com/
This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.
****************************************
* STRUCTURE MEETS POWER 2022 *
* (an ICALP workshop) *
* *
* Call for Contributions *
****************************************
Workshop dates: 4 July 2022 (Paris and online)
https://www.cst.cam.ac.uk/conference/structure-meets-power-2022
Scope
-----
There is a remarkable divide in the field of logic in Computer
Science, between two distinct strands: one focusing on semantics
and compositionality (“Structure”), the other on expressiveness
and complexity (“Power”). These two fundamental aspects of our
field are studied using almost disjoint technical languages and
methods, by almost disjoint research communities.
We believe that bridging this divide is a major issue in Computer
Science, and may hold the key to fundamental advances in the
field. The aim this workshop is to attract investigators at the
boundary of the two strands, and those on either side of the
divide interested on establishing new connections.
This is an ICALP 2022 affiliated workshop.
This will be a hybrid event, however, on site
participation is highly recommended.
Important dates
---------------
Abstract submission: 20 May 2022
Author notification: 5 June 2022
Registration: 20 June 2022
Invited speakers
----------------
* Libor Barto (Charles University)
* Sandra Kiefer (RWTH Aachen University)
* Bartek Klin (University of Oxford)
Submissions
-----------
Those wishing to speak at the workshop are invited to submit an
Extended Abstract of up to three pages (including references)
describing the content of the contributed presentation.
Submissions should only have a single author -- the speaker. The
co-authors are required to be clearly indicated in the abstract
and later also in the slides.
For submissions please use the EasyChair conference system:
https://easychair.org/conferences/?conf=smp2022
We encourage talks of all levels of progress, including novel
contributions, already published results, work in progress, as
well as survey-type contributions. However, original
contributions might be considered for a subsequent special issue,
consisting of journal versions of selected extended abstracts.
Depending on the number of submissions, contributed talks will be
20-30 minutes long.
Registration
------------
TBA later
Organising and Programme Committee:
-----------------------------------
* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
===================================================================================
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
****************** Second call for papers ******************
**** UPDATES: Deadline Extension and Invited Speakers ******
http://wadt2022.web.ua.pt
Aveiro, 28-30 June, 2022
===================================================================================
** Aims and Scope **
The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. In 2020 WADT features additionally two special thematic tracks: one in *Algebra for timed and hybrid systems* and another in *Algebraic approaches to quantum computation*.
** Main track **
Typical, but not exclusive topics of interest for the main track are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent and distributed systems
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification
** Algebra for timed and hybrid systems **
Track Chair: Renato Neves (UM, PT)
The track 'Algebra for timed and hybrid systems' seeks algebraic contributions towards a better understanding of timed and hybrid systems, including their design and verification. A non-exhaustive list of topics includes:
- (co)algebraic syntax and semantics,
- observational notions of equivalence,
- equational reasoning and variants thereof,
- distributed and/or concurrent computing;
- modal and temporal logic,
- (co)algebraic verification tools,
- experience reports on the use of (co)algebraic tools.
** Algebraic approaches to quantum computation **
Track Chair: Rui Soares Barbosa (INL, PT)
This track seeks contributions on algebraic methods in the context of quantum computing, broadly understood, ranging from foundations to applications and tools. A non-exhaustive list of topics includes:
- foundational structures for quantum computing
- quantum calculi and logics
- quantum programming languages
- algebraic and categorical semantics for quantum computing
- algebraic approaches to verification of quantum programs
- rewriting and automated reasoning with applications to quantum compilation and optimisation
- tool support
- application of quantum algebra to quantum computing and beyond
** Invited Speakers **
- Radu Mardare University of Strathclyde, UK
- José Meseguer University of Illinois at Urbana-Champaign, US
- José Nuno Oliveira Universidade do Minho, PT
- Peter Selinger Dalhousie University, CA
** Workshop format and location **
WADT'22 is planned to be realised in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro.
The registration fees, that includes the event registration, accommodations and meals, will be around EUR 500 for standard and EUR 300 for student participants. Instructions will be available soon at http://wadt2022.web.ua.pt.
** Submissions and Publications **
Presentations will be selected on the basis of submitted abstracts. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair link https://easychair.org/conferences/?conf=wadt2022.
WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series. The deadline for the submission of full papers to be considered in this volume, to be announced during the workshop, are expected to the end of September 2022.
** Important dates **
April 15 (Extended) Contributed Abstracts
April 25 (Extended) Notifications about the contributed talks
TBA: full papers (Expected to September)
** Organisation **
* Steering Committee *
Andrea Corradini (IT)
José Fiadeiro (UK)
Rolf Hennicker (GE)
Alexander Knapp (GE)
Hans-Jörg Kreowski (GE)
Till Mossakowski (GE)
Fernando Orejas (SP)
Leila Ribeiro (BR)
Markus Roggenbach (UK)
Grigore Roșu (US)
* Program Committee *
Erika Abraham (RWTH Aachen, NL)
Luis S. Barbosa (U. Minho, PT)
Rui S. Barbosa (INL, PT) [Track Chair]
Carlos Caleiro (U. Lisboa, PT)
Andrea Corradini (U. Pisa, IT)
José Luiz Fiadeiro (U. Dundee, UK)
Ichiro Hasuo (National Institute of Informatics, JP)
Rolf Hennicker (LMU, DE)
Marieke Huisman (U. Twente, NL)
Martti Karvonen (U. Ottawa, CN)
Aleks Kissinger (U. Oxford, UK)
Alexander Knapp (U. Augsburg, DE)
Alexandre Madeira (U. Aveiro, PT) [Co-chair]
Manuel A. Martins (U. Aveiro, PT) [Co-chair]
Narciso Marti-Oliet (U. Complutense de Madrid, SP)
Dominique Mery (LORIA, FR)
Till Mossakowski (U. Magdeburg, DE)
Renato Neves (U. Minho, PT) [Track Chair]
Peter Ölveczky (U. Oslo, NR)
Fernando Orejas (U. Politècnica Catalunya, SP)
Markus Roggenbach (Swansea University, UK)
Georg Struth (U. Sheffield, UK)
Ionut Tutu (Simion Stoilow Institute of Mathematics, RO)
Benoît Valiron (Univ. Paris Saclay, FR)
Vladimir Zamdzhiev (Inria, FR)
** Contacts **
For any information, please contact us to wadt2022(a)easychair.org
[Apologies for cross/multiple postings]
Dear colleagues,
Please find below the advert for a Lecturer or Teaching fellow
position in Computing and Software Engineering:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=LZ11
Kind regards,
Marco
Marco Caminati
Lecturer in Computing
Lancaster University Leipzig
Strohsack-Passage, room 604
Nikolaistraße 10
04109 Leipzig
Germany
GPS: 51.3410, 12.3782
Landline: +49 341 339 77 646
Email: m.caminati(a)lancaster.ac.uk
www.lancasterleipzig.de
CALL FOR LOCATION ICALP 2024
The International Colloquium on Automata, Languages and Programming
(ICALP) is the main conference and annual meeting of the EATCS
(European Association for Theoretical Computer Science). This
international conference was launched in 1972 and covers all aspects
of theoretical computer science. ICALP comprises the main, two-track
conference over four days, plus a pre- and/or a post-workshop day.
We invite proposals for locations to host the 51th ICALP, to be held
in the first half of July 2024. Previous (and upcoming) ICALP editions
include:
ICALP 2023 in Paderborn (Germany)
ICALP 2022 in Paris (France)
ICALP 2021 in Glasgow (UK), virtual
ICALP 2020 in Saarbrücken (Germany), virtual
ICALP 2019 in Patras (Greece)
ICALP 2018 in Prague (Czech Rep.)
The deadline for proposals is *** May 15, 2022 ***. Proposals or informal
enquires
should be sent to the President of the EATCS and the SC chair (see contact
information below). Selected proposals are to be presented at the General
Assembly of the EATCS at ICALP 2022.
Proposals should address the following points:
- name(s) of the Conference Chair(s) and their host institution
- proposed location (and possibly venue)
- appropriateness of the proposed dates (including possible holidays or
other events)
- travel information and estimated transportation costs
- estimated accommodation and registration costs
- conference facilities (session and plenary rooms, workshop rooms)
EATCS president: Artur Czumaj (aczumaj at acm dot org)
SC chair: Anca Muscholl (anca at labri dot fr)
We have two fully funded PhD scholarships for UK applicants in
the Security and Trust of Advanced Systems Group [1] (Prof. Achim
Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer
Science of the University of Exeter, UK [4].
We are looking for enthusiastic and outstanding Computer Science or
Mathematics students with a strong background in at least one of the
following topics:
* safety or security of (software) systems,
* formal modelling or formal reasoning/verification,
* program analysis or program verification,
* language-based security,
* semantics of programming languages,
* theorem proving, model checking,
* cryptographic protocols,
* distributed systems (e.g., blockchain),
* software security,
* cyber-physical systems,
* specification-based testing, and
* design and implementation of security architectures.
The positions offer the flexibility to define the PhD topic
jointly between the successful candidate and the supervisors.
Interested candidates should contact the potential supervisor
Prof. Achim Brucker (a.brucker(a)exeter.ac.uk) or Dr. Diego Marmsoler
(d.marmsoler(a)exeter.ac.uk) to discuss their application.
For more details, please consult the official advertisements:
* Compositional Verification of Smart Contracts in Isabelle:
https://www.exeter.ac.uk/study/funding/award/?id=4326
* Formal Verification for Safety- or Security-Critical Systems:
https://www.exeter.ac.uk/study/funding/award/?id=4328
The closing date for applications is midnight on the 29th April 2022.
Best,
Achim and Diego
[1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/
[2] https://www.brucker.ch/
[3] https://marmsoler.com/
[4] http://emps.exeter.ac.uk/computer-science/
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
CONCUR 2022: last call for papers
==============================
September 12-16, 2022 at the University of Warsaw, Poland
Website: https://concur2022.mimuw.edu.pl/
The purpose of CONCUR 2022, the 33rd International Conference on Concurrency Theory, is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
IMPORTANT NOTE CONCERNING THE COVID-19 PANDEMIC
CONCUR 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not. This should be definitely decided by the end of June 2022.
INVITED SPEAKERS
Wojciech Czerwiński, University of Warsaw, Poland
Philippa Gardner, Imperial College London, UK
Rupak Majumdar, Max Planck Institute for Software Systems, Germany
Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico, Mexico
CO-LOCATED CONFERENCES
19th International Conference on Quantitative Evaluation of SysTems (QEST 2022)
20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022)
SATELLITE WORKSHOPS
Combined 29th Workshop on Expressiveness in Concurrency / 19th Workshop on Structural Operational Semantics (EXPRESS/SOS 2022)
11th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2022)
8th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2022)
10th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2022)
IMPORTANT DATES (all dates are AoE)
Abstract Submission: April 18, 2022
Paper Submission: April 25, 2022
Author Response: June 6-8, 2022
Notification: June 25, 2022
Camera Ready: July 9, 2022
Conference(s): September 13-16, 2022
Workshops: September 12, 2022
PAPER SUBMISSION
CONCUR 2022 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere.
Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.
The CONCUR 2022 proceedings will be published by LIPIcs.
Papers must be submitted electronically as PDF files via EasyChair:
https://easychair.org/conferences?conf=concur2022
Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style.
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.
AWARDS
In 2022, CONCUR Test-of-Time and best paper awards will be given for the third time. The winners will be announced at the conference.
ORGANIZATION COMMITTEE
Lorenzo Clemente (workshop chair)
Piotrek Hofman
Bartek Klin
Sławek Lasota
Radek Piórkowski (webmaster)
PROGRAM COMMITTEE
C. Aiswarya, Chennai Mathematical Institute, India
S. Akshay, IIT Bombay, India
Shaull Almagor, Technion, Israel
Nathalie Bertrand, INRIA, France
Ilaria Castellani, INRIA, France
Constantin Enea, IRIF, Université de Paris, France
Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany
Blaise Genest, CNRS, France
Rob van Glabbeek, CSIRO, Sydney, Australia
Daniele Gorla, University of Rome La Sapienza, Italy
Jean Goubault-Larrecq, ENS Paris-Saclay, France
Ichiro Hasuo, National Institute of Informatics, Japan
Marcin Jurdzinski, The University of Warwick, UK
Stefan Kiefer, University of Oxford, UK
Bartek Klin, University of Oxford, UK (co-chair)
Barbara König, University of Duisburg-Essen, Germany
Sławomir Lasota, University of Warsaw, Poland (co-chair)
Martin Leucker, University of Lübeck, Germany
Bas Luttik, Eindhoven University of Technology, The Netherlands
P. Madhusudan, University of Illinois at Urbana-Champaign, US
Hernan Melgratti, Universidad de Buenos Aires, Argentina
Anca Muscholl, Bordeaux University, France (co-chair)
Jan Otop, University of Wrocław, Poland
Joel Ouaknine, Max Planck Institute for Software Systems, Germany
Jean-François Raskin, Université libre de Bruxelles, Belgium
Grigore Rosu, University of Illinois at Urbana-Champaign, US
Jurriaan Rot, Radboud University, The Netherlands
Davide Sangiorgi, University of Bologna, Italy
Alexandra Silva, University College London, UK and Cornell University, US
Paweł Sobociński, Tallinn University of Technology, Estonia
Ana Sokolova, University of Salzburg, Austria
Alwen Tiu, The Australian National University, Australia
Frits Vaandrager, Radboud University, The Netherlands
Nobuko Yoshida, Imperial College London, UK
Lijun Zhang, Chinese Academy of Sciences, China
STEERING COMMITTEE
Javier Esparza, TU München, Germany (chair)
Pedro D’Argenio, National University of Cordoba, Argentina
Wan Fokkink, Vrije Universiteit Amsterdam, The Netherlands
Joost-Pieter Katoen, RWTH, Germany
Catuscia Palamidessi, INRIA and Ecole Polytechnique, France
Davide Sangiorgi, University of Bologna, Italy
Jiri Srba, Aalborg University, Denmark