February 2022 - finite-model-theory

EDBT-INTENDED Summer School on Data and Knowledge
by Diego Figueira 25 Feb '22

25 Feb '22

************************************************************************************************** CALL FOR APPLICATIONS Joint EDBT-INTENDED School on Data and Knowledge July 4th-9th, 2022 Bordeaux, France https://edbtschool22.labri.fr/ *************************************************************************************************** APPLICATION DEADLINE: April 3rd, 2022 SOME STUDENT GRANTS AVAILABLE *************************************************************************************************** The EDBT association and INTENDED AI Chair are happy to announce a jointly sponsored Summer School on Data and Knowledge, which will be hosted in Bordeaux, France, from Monday July 4 to Saturday July 9, 2022. The school will cover a diverse range of topics around foundational database theory and the use of knowledge (constraints, ontologies) in data management, with a special focus on inconsistent, incomplete and more generally "imperfect" data. We invite students, postdocs, and other researchers interested in learning about the foundational aspects of databases and handling imperfect data to participate in the summer school. Application and registration details can be found on the school website. PROGRAM The summer school will feature 11 tutorials from internationally renowned researchers: * Reasoning with Constraints Andreas Pieris, University of Edinburgh, UK; University of Cyprus, Cyprus * Foundations of Graph Databases Pablo Barceló, Universidad Católica de Chile, Chile * Provenance Val Tannen, University of Pennsylvania, USA * Enumeration Nicole Schweikardt, Humboldt-University Berlin, Germany * Probabilistic Databases Antoine Amarilli, Télécom Paris, France * Consistent Query Answering Jef Wijsen, University of Mons, Belgium * Quantitative Reasoning about Constraint Violations Benny Kimelfeld, Technion, Israel * Ontology-Mediated Query Answering Carsten Lutz, University of Bremen, Germany * Ontology-Based Data Access Made Practical Diego Calvanese, Free University of Bozen-Bolzano, Italy; Ontopic s.r.l., Italy; Umeå University, Sweden * Computational Fact Checking Paolo Papotti, EURECOM, France * Data Quality Floris Geerts, University of Antwerp, Belgium The school will also feature several social events to encourage discussions between students and lecturers. IMPORTANT DATES Deadline for application: April 3, 2022 Notification of acceptance: April 15, 2022 Deadline for registration: May 22, 2022 EDBT Summer School: July 4–9, 2022 ORGANIZATION Meghyn Bienvenu, CNRS & University of Bordeaux, France Diego Figueira, CNRS & University of Bordeaux, France If you have any questions, please contact us at: edbtschool2022(a)easychair.org

1 0

[fm-announcements] 1st Call for Participation: 15th Summer School on Modelling
by Martin Zimmermann via fm-announcements 23 Feb '22

23 Feb '22

1st Call for Participation: 15th Summer School on Modelling and Verification of Parallel Processes (MOVEP2022) WHERE? Aalborg University, Aalborg, Denmark WHEN? June 13 - 17, 2022 WEBSITE: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022… == MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems. MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings. The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually. == Speakers == * Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings * David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel * Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications * Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems * Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms * Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire * Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers * Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis * Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation * Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes == Student Session == We encourage participants to present their (ongoing or published) work. Talks will last around 20 minutes. 1-2 page abstracts (no particular format is required) should be submitted via easychair: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair… Important Dates Abstract submission: May 1st, 2022 Notification of acceptance: May 14, 2022 == Fees and Registration == The fees include coffee and lunch breaks as well as the conference dinner. Early-bird 350 Euro (before May 1st, 2022) Late 400 Euro https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmovep2022… == Committees == Organising committee * Peter G. Jensen (Aalborg University, Denmark) * Florian Lorber (Aalborg University, Denmark) * Martin Zimmermann (chair, Aalborg University, Denmark) Program committee * Saddek Bensalem (Universirsité Grenoble Alpes, France) * Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France) * Emmanuel Filiot (Université libre de Bruxelles, Belgium) * Dana Fisman (Ben-Gurion University, Israel) * Radu Grosu (Vienna University of Technology, Austria) * Holger Hermanns (Saarland University, Germany) * Nils Jansen (Radboud University Nijmegen, Netherlands) * Marcin Jurdzinski (University of Warwick, United Kingdom) * Steve Kremer (Inria Nancy - Grand Est, France) * K Narayan Kumar (Chennai Mathematical Institute, India) * Denis Kuperberg (ENS Lyon, France) * Anca Muscholl (LaBRI & Université Bordeaux, France) * Paritosh K. Pandya (IIT Bombay, India) * Gabrielle Puppis (Udine University, Italy) * Nir Piterman (Chalmers University of Technology, Sweden) * Kristin Rozier (Iowa State University, United States) * César Sánchez (IMDEA Software Institute, Spain) * Szymon Torunczyk (University of Warsaw, Poland) * Martin Zimmermann (chair, Aalborg University, Denmark) Steering committee * Nathalie Bertrand (INRIA Rennes, France) * Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France) * Radu Iosif (CNRS & Verimag, France) * Didier Lime (Ecole centrale de Nantes, France) * Christof Löding (RWTH Aachen University, Germany) * Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France) --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

GandALF 2022 -- 1st Call For Papers
by Pierre Ganty 22 Feb '22

22 Feb '22

[apologies for cross-postings] 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

1 0

22nd Midlands Graduate School, 10-14 April 2022: Call for
by Anupam das 22 Feb '22

22 Feb '22

CALL FOR PARTICIPATION 22nd Midlands Graduate School (MGS'22) in the Foundations of Computing Science 10-14 April 2022, Nottingham (UK) https://www.cs.nott.ac.uk/~psznk/events/mgs22.html OVERVIEW MGS is an annual spring school that offers an intensive programme of lectures on the mathematical foundations of computing. While the school addresses especially PhD students in their first or second year, it is also open to UG and MSc students, postdocs, participants from the industry, and generally everyone interested in its topics. MGS'22 is the school's 22nd incarnation. PROGRAMME MGS'22 offers eight courses: - our invited course by Andrej Bauer - three basic courses on category theory, proof theory, and HoTT/UF with agda, which require no previous experience - four advanced courses on topos theory, string diagrams, coalgebra, and graph transformations. REGISTRATION Participation at MGS'22 costs GBP 320. Please see the website https://www.cs.nott.ac.uk/~psznk/events/mgs22.html for details, point "Registration". The fee covers participation in all lectures and exercise classes, refreshments in coffee breaks, and a conference dinner. Please note that you have to book accommodation yourselves but there are rooms available on campus. Places are limited and will be allocated on a first-come-first-served basis. If you would like to participate, please register early to secure a place. The registration period closes as soon as all places are filled or on March 20, whichever is sooner. ORGANISATION Please direct all queries about MGS'22 to Thorsten Altenkirch and Nicolai Kraus, thorsten....(a)nottingham.ac.uk<https://groups.google.com/> nicola...(a)nottingham.ac.uk<https://groups.google.com/>

1 0

DaLí 2022 - Call for Papers
by Carlos Areces 21 Feb '22

21 Feb '22

DaLí 2022 - Call for Papers http://dali2022.campus.ciencias.ulisboa.pt ***Important Dates*** - Abstract submission deadline: 03 May 2022 - Full paper submission deadline: 10 May 2022 - Author notifications: 15 June 2022 ************ ****Overview***** Dynamic logic (DL), a generalisation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations. Previous editions of DaLí took place in Brasília (2017) and Porto (2019), and an online edition (2020). ****List of Topics**** Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics ****Submission and Proceedings**** Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through https://easychair.org/my/conference?conf=dal2022 A post-proceedings volume and a special issue of a journal are planned. ****Invited Speakers**** TBA ****Program Committee Chairs**** Carlos Areces (FaMAF, Universidad Nacional de Córdoba, AR) Diana Costa (LASIGE, FCUL, University of Lisbon, PT) ****Program Commitee**** Thomas Ågotnes (U. Bergen, NO) Natasha Alechina (Utrecht U., NL) Carlos Areces (U. Córdoba, AR) Philippe Balbiani (IRIT, FR) Serenella Cerrito (IBISC, U. Evry, U. Paris-Saclay, FR) Diana Costa (U. Lisbon, PT) Giovanna D'Agostino (U. Udine, IT) Stéphane Demri (CNRS, FR) Hans van Ditmarsch (Open University, NL) Raul Fervari (U. Córdoba, AR) Sabine Frittella (LIFO, FR) Nina Gierasimczuk (TU Denmark, DK) Rajeev Gore (Vienna U. of Technology, AU and Polish A. of Science, PO) Reiner Hähnle (TU Darmstadt, DE) Rolf Hennicker (LMU Munich, DE) Sophia Knight (U. Minnesota, USA) Clemens Kupke (U. Strathclyde, UK) Stepan Kuznetsov (Steklov Mathematical Institute, RU) Alexandre Madeira (U. Aveiro, PT) Sonia Marin (U. Birmingham, UK) Manuel Martins (U. Aveiro, PT) Larry Moss (Indiana University Bloomington, USA) Cláudia Nalon (U. Brasília, BR) Nicola Olivetti (Aix-Marseille U., FR) Eric Pacuit (U. Maryland, USA) Alessandra Palmigiano (Vrije Universiteit Amsterdam, NL) Vít Punčochář (Czech Academy of Sciences, CZ) Katsuhiko Sano (Hokkaido U., JP) Igor Sedlár (Czech Academy of Sciences, CZ) Rineke Verbrugge (U. Groningen, NL) Frank Wolter (U. Liverpool, UK)

1 0

ACKERMANN AWARD 2022: CALL FOR NOMINATIONS
by EACSL Mail-Account 21 Feb '22

21 Feb '22

ACKERMANN AWARD 2022 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2022 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2020 and 31 December 2021 are eligible for nomination for the award. The deadline for submission is 1 July 2022. Submission details follow below. Nominations can be submitted from 1 March 2022 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de *** The Award The 2022 Ackermann award will be presented to the recipient(s) at CSL 2023, the annual conference of the EACSL. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Maribel Fernandez (King’s College London); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Delia Kesner (IRIF, U Paris); * Slawomir Lasota (U Warsaw); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund), the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative; * James Worrell (U Oxford). *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 10 pages) of the thesis in ENGLISH (ps or pdf file); it is recommended to not squeeze as much material as possible into these (at most) 10 pages, but rather to use them for a gentle introduction and overview, stressing the novel results obtained in the thesis and their impact; 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de With the following subject line and text: * Subject: Ackermann Award 22 Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text.

1 0

FORMATS'22: second call for papers
by Gethin Norman 21 Feb '22

21 Feb '22

FORMATS 2022: SECOND CALL FOR PAPERS 20th International Conference on Formal Modeling and Analysis of Timed Systems https://conferences.ncl.ac.uk/formats2022/ 12-17 September 2022, Warsaw, Poland co-located with CONCUR, FMICS and QEST as part of CONFEST 2022 SCOPE & TOPICS FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. Typical topics include (but are not limited to): • Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving). • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics). New for this year, FORMATS will incorporate a special track on: • Learning-based and data-driven systems: We particularly encourage papers that exploit synergies between the formal analysis of timed systems and data-driven techniques (such as reinforcement learning or deep learning), or which target application domains where learning is important (such as robotics or autonomous systems). In 2022, FORMATS celebrates its 20th anniversary and we plan to commemorate this with a special session at the conference. INVITED SPEAKERS FORMATS 2022 will feature two invited speakers: • Thao Dang (CNRS & VERIMAG, Université Grenoble-Alpes) • Joël Ouaknine (Max Planck Institute for Software Systems) PAPER SUBMISSION FORMATS 2022 solicits high-quality papers reporting research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Two categories of papers are invited: • Regular papers, which should not exceed 15 pages in length • Short papers, which should not exceed 7 pages in length Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2022 ARTIFACT EVALUATION This year, FORMATS is encouraging authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be submitted and evaluated only for papers accepted for publication. These will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published version. For more details, see: https://conferences.ncl.ac.uk/formats2022/artifactevaluation/ PUBLICATION AND BEST PAPER AWARD The proceedings of FORMATS 2022 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. IMPORTANT DATES • Abstract submission: 19 April 2022 • Paper submission: 22 April 2022 • Acceptance notification: 17 June 2022 • Artifact submission deadline: 24 June 2022 • Camera-ready copy deadline: 15 July 2022 • Conference: 12-17 September 2022 CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, in-person event with support for remote presence for speakers and participants. Depending on the pandemic situation, a decision whether to cancel the physical component of CONFEST or not will be made by the end of June 2022. For any questions, feel free to contact the program chairs Sergiy Bogomolov (sergiy.bogomolov(a)ncl.ac.uk) and David Parker (d.a.parker(a)cs.bham.ac.uk). ORGANISATION Program Chairs • Sergiy Bogomolov (UK) • David Parker (UK) Artifact Evaluation Chairs • Akshay Rajhans (USA) • Paolo Zuliani (UK) Publicity Chair • Gethin Norman (UK) Special Track Chair • Alessandro Abate (UK) Program Committee • Alessandro Abate (UK) • Parosh Aziz Abdulla (Sweden) • Erika Abraham (Germany) • Bernhard Aichernig (Austria) • Nicolas Basset (France) • Nathalie Bertrand (France) • Sergiy Bogomolov (co-chair, UK) • Lei Bu (China) • Milan Ceska (Czech Republic) • Thao Dang (France) • Catalin Dima (France) • Rayna Dimitrova (Germany) • Mirco Giacobbe (UK) • Radu Grosu (Austria) • Arnd Hartmanns (The Netherlands) • Hsi-Ming Ho (UK) • Peter Gjøl Jensen (Denmark) • Taylor Johnson (USA) • Sebastian Junges (Netherlands) • Joost-Pieter Katoen (Germany) • Sophia Knight (USA) • Matthieu Martel (France) • Gethin Norman (UK) • Miroslav Pajic (USA) • David Parker (co-chair, UK) • Igor Potapov (UK) • Christian Schilling (Denmark) • Ana Sokolova (Austria) • Sadegh Soudjani (UK) • Stavros Tripakis (USA) • Jana Tumova (Sweden) • Naijun Zhan (China) Steering Committee • Rajeev Alur (USA) • Eugene Asarin (France) • Martin Fränzle (chair, Germany) • Thomas A. Henzinger (Austria) • Joost-Pieter Katoen (Germany) • Kim G. Larsen (Denmark) • Oded Maler (founding chair, France) (1957-2018) • Pavithra Prabhakar (USA) • Mariëlle Stoelinga (The Netherlands) • Wang Yi (Sweden)

1 0

CONCUR 2022: 2nd CFP
by Anca Muscholl 19 Feb '22

19 Feb '22

============================== CONCUR 2022: second call for papers ============================== September 13-16, 2022 at the University of Warsaw, Poland Website: https://concur2022.mimuw.edu.pl/ Co-located with QEST, FORMATS, FMICS (under the joint name CONFEST) 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) Website: https://concur2022.mimuw.edu.pl/ 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 and 17, 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

1 0

VerifyThis 2022 --- Call for Participation
by Lammich, Peter (UT-EEMCS) 18 Feb '22

18 Feb '22

apologies for multiple postings. *********************************************************************** ********* VerifyThis Verification Competition 2022 CALL FOR PARTICIPATION -- TRAVEL GRANTS Competition to be held at ETAPS 2022 http://verifythis.ethz.ch *********************************************************************** ********* IMPORTANT DATES Grant application deadline: March 7, 2022 Competition: April 2 and 3, 2022 ABOUT VerifyThis 2022 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022) on April 2-3, 2022 in Munich, Germany. It is the 10th event in the VerifyThis competition series. The competition will offer a number of challenges presented in natural language and pseudo code. Participants have to formalize the requirements, implement a solution, and formally verify the implementation for adherence to the specification. There are no restrictions on the programming language and verification technology used. The correctness properties posed in problems will have the input-output behaviour of programs in focus. Solutions will be judged for correctness, completeness, and elegance. PARTICIPATION Participation is open for anybody interested. Teams of up to two people are allowed. Registration for ETAPS workshops and physical presence on site is required. We particularly encourage participation of: - student teams (this includes PhD students) - non-developer teams using a tool someone else developed - several teams using the same tool TRAVEL GRANTS The competition has funds for a limited number of travel grants. A grant covers the incurred travel and accommodation costs up to a certain limit. The expected limit is EUR 350 for those coming from Europe and EUR 600 for those coming from outside Europe. To apply for a travel grant, send an email to verifythis(a)googlegroups.com by March 7, 2022. The application should include: - your name - your affiliation - the verification system(s) you plan to use at the competition - the planned composition of your team (and whether you are developers of the tools you'll be using) - a short letter of motivation explaining your involvement with formal verification so far - if you are a student, please state the academic degree you are seeking and have your supervisor send a brief letter of support to verifythis(a)googlegroups.com ORGANIZERS * Marie Farrell, Maynooth University, Ireland * Peter Lammich, University of Twente, The Netherlands CONTACT Email: verifythis(a)googlegroups.com Web: http://verifythis.ethz.ch

1 0

Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University
by Sergiy Bogomolov 16 Feb '22

16 Feb '22

The School of Computing here at Newcastle University is growing. We are advertising *five* faculty positions at Lecturer / Senior Lecturer levels (deadline on 27 February 2022): https://jobs.ncl.ac.uk/job/Newcastle-LecturerSenior-Lecturer-in-Computing-S… Two of these are specifically in the area of *formal methods*. Please do not hesitate to reach out to me if you are interested in applying and would like to learn more about the School. Thanks, Sergiy

1 0