Monthly 221
January 02, 2022
Monthly 221Past Issues - How to submit an announcement
Table of Content
- DEADLINES
- ANNOUNCEMENTS
- CALLS
Deadlines
| NFM 2022: | Jan 03, 2022 (Abstract, EXTENDED), Jan 10, 2022 (Paper, EXTENDED) |
| CPP 2022: | Jan 03, 2022 (Registration deadline) |
| CiE 2022: | Jan 14, 2022 (Article registration, abstract), Jan 28, 2022 (Article) |
| LICS 2022: | Jan 17, 2022 (Titles and Short Abstracts Due), Jan 21, 2022 (Full Papers Due) |
| CAV 2022: | Jan 21, 2022 (Paper) |
| FSCD 2022: | Jan 22, 2022 (Call for Locations), Feb 08, 2022 (Abstract), Feb 11, 2022 (Paper) |
| FoIKS 2022: | Feb 04, 2022 (Abstract), Feb 11, 2022 (Paper) |
| IJCAR 2022: | Feb 11, 2022 (Paper) |
| ICGT 2022: | Feb 21, 2022 (Abstract), Feb 28, 2022 (Paper) |
| AiML 2022: | Mar 07, 2022 (Abstracts for full papers), Mar 14, 2022 (Full papers), May 23, 2022 (Short presentations) |
| TYPES 2022 and CA20111: | Mar 09, 2022 (2 page abstract) |
| FORMATS 2022: | Apr 19, 2022 (Abstract), Apr 22, 2022 (Paper) |
| ATVA 2022: | Apr 24, 2022 (Abstract), May 01, 2022 (Paper) |
TheoretiCS: Launch of a new diamond open-access journal for TCS
ANNOUNCEMENT- TheoretiCS is firmly rooted in the Theoretical Computer Science global community. It has involved an unprecedented level of cooperation of representatives of leading conferences from across the entire Theoretical Computer Science community. Its Advisory Board is composed of representatives of most of the main conferences in the field (currently APPROX, CCC, COLT, CONCUR, CSL, FOCS, FoSSaCS, FSCD, FSTTCS, ICALP, ICDT, ITCS, LICS, MFCS, PODC, SoCG, SODA, STACS, STOC, TCC) and of a few further "members-at-large".
- The scope of TheoretiCS is the whole of Theoretical Computer Science, understood in an inclusive meaning.
- The aim of this journal is to rapidly become a reference journal and to contribute to the unity of the Theoretical Computer Science global community. In particular, we will seek to publish only papers that make a very significant contribution to their respective fields, that strive to be accessible to a wider audience within theoretical computer science, and that are, generally, of a quality on par with the very best journals in the field.
- TheoretiCS adheres to the principles of diamond open-access: there is no charge to read the journal, nor to publish in it. The copyright of the papers remains with the authors, under a Creative Commons license.
- The inaugural Editors-in-Chief are Javier Esparza (TU München) and Uri Zwick (Tel Aviv U.). See the website above for the entire Editorial Board and instructions for submission.
MOVEP 2022: 15th Summer School on Modelling and Verification of Parallel Processes
ANNOUNCEMENT- 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.
- Confirmed Speakers
- Anca Muscholl (LaBRI & Université Bordeaux, France)
- Amaury Pouly (IRIF, France)
- Nir Piterman (Chalmers University of Technology, Sweden)
- Christel Baier (Technische Universität Dresden, Germany)
- Laura Kovacs (Vienna University of Technology, Austria)
- Wojcziech Czerwinski (University of Warsaw, Poland)
- Giovanni Bacci (Aalborg University, Denmark)
- Bartek Klin (Oxford University, United Kingdom)
- Renaud Vilmart (LMF & Inria)
- David Baelde (ENS Rennes & IRISA)
- Registration will open in January 2022, abstract submission for the student session will be in early spring 2022.
CPP 2022: Certified Programs and Proofs
CALL FOR PARTICIPATION- Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2022 (https://popl22.sigplan.org/home/CPP-2022) will be held on 17-18 January 2022 and will be co-located with POPL 2022. CPP 2022 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG, and supported by a diverse set of industrial sponsors.
Similarly to other events collocated with POPL 2022, CPP will take place as an in-person event at the Westin Philadelphia (99 South 17th Street at Liberty Place, 19103 Philadelphia), and will require attendees to provide proof of vaccination (details will be available soon). Authors who are unable to attend CPP in person will be able to present remotely. All talks will be recorded, and all recordings will be available either as a livestream or soon afterwards. - INVITED TALKS
- June Andronick (UNSW Sydney). The seL4 verification: the art and craft of proof and the reality of commercial support
- Andrew W. Appel (Princeton). Coq’s vibrant ecosystem for verification engineering
- Cesar Munoz (Currently at AWS, Formerly at NASA, USA). Structural Embeddings Revisited
- SUBSIDIZED STUDENT REGISTRATION
To facilitate in-person participation of undergraduate and graduate students who require financial assistance, CPP 2022 offers the opportunity to register at a special reduced rate, determined on a case-by-case basis, and implemented using a special-purpose registration code on POPL's registration website. Students wishing to apply for such support may do so by sending an email to the CPP conference co-chairs (Beringer and Krebbers, see below for their email) preferably by December 24, 2021, with a brief description of their situation. Notifications will be sent out at most one week later; hence, students who cannot be supported will still have the opportunity to register at the publicly available reduced rate, which is available until January 3rd. Applications arriving after December 24th will be considered only in exceptional cases. Students who already receive registration support for PLMW or are supported by SIGPLAN PAC are not eligible.
CPP's student support is made possible by our generous industrial supporters: https://popl22.sigplan.org/home/CPP-2022
IJCAR 2022: International Joint Conference on Automated Reasoning 2022
CALL FOR PAPERS- Important Dates
Paper submission: Feb 11, 2022 Start of authors response period: Apr 16, 2022 End of authors response period: Apr 18, 2022 Authors notification: Apr 25, 2022 - OVERVIEW
IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2022 is the 11th edition of IJCAR. It will be held in Haifa (Israel), during August 7-12, 2022, as part of FLoC 2022. IJCAR 2022 is the merger conference of the following leading events in automated reasoning:- CADE (Conference on Automated Deduction)
- FroCoS (Symposium on Frontiers of Combining Systems)
- TABLEAUX (Conference on Analytic Tableaux and Related Methods)
- SUBMISSION GUIDELINES
IJCAR 2022 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:- Regular papers describing solid new research results. They can be up to 16 pages long, including figures but excluding references and appendices. Where applicable, regular papers are supported by experimental validation. Submissions reporting on case studies in an industrial context are strongly invited as regular papers, and should describe details, weaknesses and strength in sufficient depth.
- System description papers describing implementations of systems, reporting on novel features and experiments with implemented systems. System description papers can be up to 7 pages long, including figures but excluding references and appendices. System description papers should also be supported by a link to the artifact/experimental evaluation available to the reviewers. Each of these papers should mention the phrase ``(system description)" beneath the title. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented.
Authors of accepted papers are required to ensure that at least one of them will present the paper at the conference. - LIST OF TOPICS
IJCAR 2022 topics include the following ones:- Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory.
- Methods of interest include: tableaux, sequent calculi, resolution, model- elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures,model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, integration of proof assistants with automated provers and other symbolic tools, etc.
- Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, education, formalization of mathematics etc.
- PUBLICATION
IJCAR 2022 proceedings will be published in the Springer LNCS series. Springer encourages authors to include their ORCIDs in their papers.
ICGT 2022: 15th International Conference on Graph Transformation
CALL FOR PAPERS- AIMS AND SCOPE
The use of graphs and graph-like structures as a formalism for specification and modelling is widespread in all areas of computer science as well as in many fields of computational research and engineering. Relevant examples include software architectures, pointer structures, state space and control/data flow graphs, UML and other domain-specific models, network layouts, topologies of cyber-physical environments, quantum computing and molecular structures. Often, these graphs undergo dynamic change, ranging from reconfiguration and evolution to various kinds of behaviour, all of which may be captured by rule-based graph manipulation. Thus, graphs and graph transformation form a fundamental universal modelling paradigm that serves as a means for formal reasoning and analysis, ranging from the verification of certain properties of interest to the discovery of fundamentally new insights.
The International Conference on Graph Transformation aims at fostering exchange and collaboration of researchers from different backgrounds working with graphs and graph transformation, either in contributing to their theoretical foundations or by applying established formalisms to classical or novel areas. The conference not only serves as a well-established scientific publication outlet, but also as a platform to boost inter- and intra-disciplinary research and to leeway for new ideas.
The 15th International Conference on Graph Transformation (ICGT 2022) will be held in Nantes, France, as part of STAF 2022 (Software Technologies: Applications and Foundations). The conference takes place under the auspices of EATCS and IFIP WG 1.3. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series. - IMPORTANT DATES (AoE)
Abstract submission: Feb 21, 2022 Paper submission: Feb 28, 2022 Notification: Apr 18, 2022 Camera-ready: May 09, 2022 Conference: Jul 7-8, 2022 - TOPICS OF INTEREST
In order to foster a lively exchange of perspectives on the subject of the conference, the programme committee of ICGT 2022 encourages all kinds of contributions related to graphs and graph transformation, either from a theoretical point of view or a practical one.
Topics of interest include, but are not limited to the following subjects:- General models of graph transformation (e.g. adhesive categories and hyperedge replacement systems); Analysis and verification of graph transformation systems; Graph theoretical properties of graph languages; Automata on graphs and parsing of graph languages; Logical aspects of graph transformation; Computational models based on graphs; Structuring and modularization of graph transformation; Hierarchical graphs and decomposition of graphs; Parallel, concurrent, and distributed graph transformation; Term graph and string diagram rewriting; Petri nets and other models of concurrency; Business process models and notations; Bigraphs and bigraphical reactive systems; Graph databases and graph queries; Model-driven development and model transformation; Model checking, program analysis and verification, simulation and animation; Syntax, semantics and implementation of programming languages, including domain-specific and visual languages; Graph transformation languages and tool support; Efficient algorithms (e.g. pattern matching, graph traversal, network analysis); Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation); Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual); Graph transformation and artificial intelligence (e.g., AI for graph transformations, applying graph transformations in AI engineering and search-based software engineering)
- SPECIAL INTEREST TOPIC OF ICGT 2022: EXECUTABLE APPLIED CATEGORY THEORY
A special focus of this conference will consist of new approaches to formalizing the knowledge in the research field of graph transformation theory via proof assistants such as Coq. Referring to the homepage of the GReTA-ExACT workgroup for further information https://www.irif.fr/~greta/gretaexact/, a long-term goal of this kind of approach will consist in establishing a Coq-enriched wiki for our research field akin to the nLab. This platform will serve as a sustainable mechanism for curating applied and mathematical knowledge in graph transformation research, and eventually as a research tool in its own right, notably through the provision of interactive database-supported proof construction. Another avenue of research will concern executable applied category theory (ExACT), i.e., code extraction from formalized categorical structures, with the perspective of curating a database of correct-by-construction reference prototype algorithms for various forms of graph transformation semantics and graph-like data structures. To introduce the initiative and facilitate the broad involvement of the ICGT community and collect feedback from participants regarding the scope and format of such a wiki project, a peer-reviewed brainstorming session is planned as one of the events at the conference. - SUBMISSION GUIDELINES
Springer’s LNCS format via EasyChair https://easychair.org/conferences/?conf=icgt2022 using . For regular and tool demonstration papers, simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. At least one author for each accepted paper must register before the early registration deadline and present the paper during the conference.
Papers are solicited in three categories:- Regular papers (max 16 pages inc references) describe innovative contributions and are evaluated with respect to their originality, significance, and technical soundness. We also solicit case studies describing applications of graph transformation in any application domain. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix.
- Tool presentation papers (max 8 pages inc references) demonstrate the main features and functionality of graph-based tools. A tool presentation paper may have an appendix with a detailed demo description (up to 4 pages), which will be reviewed but not included in the proceedings.
- New ideas papers (max 2 pages inc references) report on relevant contributions to the theory or applications of graph transformation, which may have been published (or accepted for publication) in a peer-reviewed conference other than ICGT, as a book chapter or journal article since 2018. Papers in this category will be selected for presentation at the conference according to their relevance to the graph transformation community, and they will be considered for the special issues. Submissions will consist of a 2-page abstract. In case of extended abstracts of published papers, the submission must refer to the published paper and include the original paper in PDF.
- SPECIAL ISSUE
Authors of the best papers at the conference will be invited to prepare and submit extended journal versions to be considered for publication in a special issue after an independent round of peer review (details TBA). - CONTACT
All questions about submissions should be emailed to icgt2022.info@gmail.com.
FORMATS 2022: 20th International Conference on Formal Modeling and Analysis of Timed Systems
CALL FOR PAPERS- SCOPE and 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. - TOPICS
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).
- 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
- 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
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.Abstract submission: Apr 19, 2022 Paper submission: Apr 22, 2022 Acceptance notification: Jun 17, 2022 Artifact submission deadline: Jun 24, 2022 Camera-ready copy deadline: Jul 15, 2022 Conference: September 12-17, 2022 - CONTACT
For any questions, feel free to contact the program chairs Sergiy Bogomolov (sergiy.bogomolov@ncl.ac.uk) and David Parker d.a.parker@cs.bham.ac.uk).
ATVA 2022: THE 20TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
CALL FOR PAPERS- ATVA 2022 is the 20th in a series of symposia aimed at bringing together academics, industrial researchers and practitioners in the area of theoretical and practical aspects of automated analysis, synthesis, and verification of hardware, software, and machine learning (ML) systems.
- IMPORTANT DATES (AOE)
Abstract submission: Apr 24, 2022 Paper submission: May 01, 2022 Notification: Jun 17, 2022 Camera-ready: Jul 15, 2022 Conference: Oct 25-28, 2022 - ATVA solicits high-quality submissions in the following suggestive list of topics:
- Formalisms for modeling hardware, software and cyber-physical systems
- Specifications and correctness criteria for programs and systems
- Decision procedures and solvers for verification and synthesis
- Deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification
- Program analysis and software verification
- Analysis and verification of hardware circuits and systems-on-chip
- Analysis and verification of parallel and concurrent systems
- Analysis of probabilistic and cyber-physical systems
- Analysis and verification of machine learning algorithms and systems
- Formal models and methods for security and privacy
- Formal models and methods for biological systems
- Testing and runtime analysis based on verification technology
- Synthesis for hardware and software systems
- Applications and case studies
- Verification in industrial practice
To the SIGLOG or LICS website