finite-model-theory

Download

finite-model-theory@lists.rwth-aachen.de

December 2021

9 participants
12 discussions

Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022
by Matteo Sammartino 02 Dec '21

02 Dec '21

- Application deadline: Midnight, 9 Jan 2022 - Starting date: As soon as possible - Salary: £35,931-£37,979 - Duration: until February 2023 Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London. Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project (EP/S028641/1), led by Alexandra Silva (UCL/Cornell) and Matteo Sammartino (Royal Holloway University of London). This is a joint research effort involving Royal Holloway University of London, University College London, and ARM, world-leading designer of multi-core chips. For an informal discussion about the post, please contact Dr. Matteo Sammartino on matteo.sammartino(a)rhul.ac.uk. # Project Description Digital devices increasingly rely on multi-threaded computation, with sophisticated concurrent behaviour becoming prevalent at any scale. As the complexity of these systems increases, there is a pressing need to automate the assessment of their correctness, especially with respect to concurrency-related aspects. Formal verification provides highly effective techniques to assess the correctness of systems. However, formal models are usually built by humans, and as such can be error-prone and inaccurate. The CLeVer project aims to: - develop a novel verification framework that relies on learning techniques to automatically build and verify models of concurrency, with a particular focus on multi-core systems. - apply the framework to real-world verification tasks, in collaboration with ARM. # The ideal candidate We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills. # Where to apply https://jobs.royalholloway.ac.uk/0721-259-R-R

1 0

FORMATS 2022: first call for papers
by Gethin Norman 02 Dec '21

02 Dec '21

FORMATS 2022: FIRST 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). 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. 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