Monthly 218
October 01, 2021
Monthly 218Past Issues - How to submit an announcement
Table of Content
- DEADLINES
- CALLS
Deadlines
| HyLo 2022: | Oct 09, 2021 (Abstract deadline) |
| HSCC 2022: | Oct 29, 2021 (Submission deadline) |
| ICALP 2022: | Nov 19, 2021 (Workshop proposal deadline) |
| NFM 2022: | Dec 03, 2021 (Abstract), Dec 10, 2021 (Paper) |
| FSCD 2022: | Feb 08, 2022 (Abstract), Feb 11, 2022 (Paper) |
| AiML 2022: | Mar 07, 2022 (Abstracts for full papers), Mar 14, 2022 (Full papers), May 23, 2022 (Short presentations) |
HyLo 2022: Workshop on Hybrid Logic and Applications
CALL FOR PAPERS- IMPORTANT DATES
Abstract submission deadline: Oct 09, 2021 Notification: Oct 21, 2021 Worskhop: Apr 6-11, 2022 - Target audience: Logicians (computational, philosophical, mathematical)
- Hybrid logic is a branch of modal logic in which it is possible to directly refer to worlds/times/states or whatever the elements of the (Kripke) model are meant to represent. Hybrid logic is now a mature field with significant impact on a range of other fields, including
- applied modal logics,
- temporal logic,
- labelled deduction,
- philosophy of time, and
- social reasoning.
- The scope of the workshop is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.
- The duration of the workshop is a half day or one day and it will take place at some point during the UNILOG congress, April 6-11, 2022.
ICALP 2022: International Colloquium on Automata, Languages and Programming
CALL FOR WORKSHOPS- 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 year, after two virtual ICALP events, we are happy to be able to host this event in hybrid mode--and hope that many of us will be able to meet again in beautiful Paris! This is a call for workshops to be affiliated with ICALP 2022. We invite researchers to organise workshops on central topics on Automata, Languages and Programming, to help further mark off ICALP 2022.
- Important Dates (Aoe)
Workshop proposal deadline: Nov 19, 2021 Workshop notification: Dec 10, 2021 Workshops: Jul 04, 2022 - Workshop Proposal Guidelines:
We strongly suggest that prospective workshop organizers contact the workshop selection committee before submitting a proposal.
Proposals should be submitted by sending an email to the workshop selection committee. You should expect notification on the acceptance of your proposal by 10 December 2021. - A workshop proposal submission should consist of the following
A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community.
An organisational part including:- workshop’s name and URL (if already available);
- contact information for the workshop organizers (including their webpages);
- expected number of participants (if available, please include the data of previous years);
- proposed format and agenda (e.g. paper presentations, tutorials, see below for more details);
- potential invited speakers;
- plans for dissemination, if any (e.g. a journal special issue);
- planned format of the event (see below for mode details);
- virtual/hybrid backup plans (including platform preference).
Note that ICALP 2022 is not able to provide financial support for the organization of workshops. The conference can however provide a room, internet connection and help with some local organisation. For workshops that are online or in hybrid mode, it is expected that the organizers provide the supporting technical infrastructure. - Workshop Selection Committee:
- Track A: Valia Mitsou vmitsou@irif.fr
- Track B: Mahsa Shirmohammadi mahsa@irif.fr
NFM 2022: The 14th NASA Formal Methods Symposium
CALL FOR PAPERS- The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person.
The symposium has NO registration fee for presenting and attending. - IMPORTANT DATES
Abstract submission: Dec 03, 2021 Paper submission: Dec 10, 2021 Paper Notifications: Feb 04, 2022 Camera-ready Papers: Mar 04, 2022 Symposium: May 24-27, 2022 - THEME OF SYMPOSIUM
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle.
The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. - TOPICS ON INTEREST
Topics of interest include, but are not limited to, the following aspects of formal methods:- Advances in formal methods: Interactive and automated theorem proving, SMT and SAT solving, Model checking , Static analysis, Runtime verification, Automated testing, Specification languages, textual and graphical , Refinement, Code synthesis , Design for verification and correct-by-design techniques, Requirements specification and analysis
- Integration of formal methods techniques: Integration of diverse formal methods techniques, Use of machine learning and probabilistic reasoning techniques in formal methods, Integration of formal methods into software engineering practices, Combination of formal methods with simulation and analysis techniques, Formal methods and fault tolerance, resilient computing, and self healing systems, Formal methods and graphical modeling languages such as SysML, UML, MATLAB/Simulink, Formal methods and autonomy, e.g., verification of systems and languages for planning and scheduling (PDDL, Plexil, etc.), self-sufficient systems, and fault-tolerant systems.
- Formal methods in practice: Experience reports of application of formal methods on real systems, such as autonomous systems, safety-critical systems, concurrent and distributed systems, cyber-physical, embedded, and hybrid systems, fault-detection, diagnostics, and prognostics systems, and human-machine interaction analysis, Use of formal methods in systems engineering (including hardware components), Use of formal methods in education, Reports on negative results in the development and the application for formal methods in practice., Usability of formal method tools, and their infusion into industrial contexts., Challenge problems for future reference by the formal methods community. The formulation of these papers can range from plain English description of a problem over formal specifications, to specific implementations in a programming language.
- NASA OPEN SOURCE
Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the following two frameworks for programming flight software: F’ (https://nasa.github.io/fprime/) and cFS (https://cfs.gsfc.nasa.gov/). - SUBMISSIONS
There are two categories of submissions:- Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references);
- Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references).
All papers must be in English and describe original work that has not been published. All submissions will be reviewed by at least three members of the Program Committee. We encourage authors to focus on readability of their submissions.
Papers must use LNCS style formatting and will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) PDF Submission: https://easychair.org/conferences/?conf=nfm2022.
Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://www.springer.com/journal/11334). - ARTIFACTS
Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper.
FSCD 2022: Seventh International Conference on Formal Structures for Computation and Deduction
CALL FOR PAPERS- IMPORTANT DATES (AoE)
Abstract: Feb 08, 2022 Paper submission: Feb 11, 2022 Rebuttal: Mar 29-Apr 1, 2022 Notification: Apr 15, 2022 Final version: Apr 30, 2022 - FSCD (http://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation, semantics and verification in new challenging areas.
- TOPICS
The suggested, but not exclusive, list of topics for submission is:- Calculi: Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); Lambda calculus; Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); Proof theory (natural deduction, sequent calculus, proof nets, etc.); Type theory and logical frameworks; Homotopy type theory; Quantum calculi.
- Methods in Computation and Deduction: Type systems (polymorphism, dependent, recursive, intersection, session, etc.); Induction, coinduction; Matching, unification, completion, orderings; Strategies (normalization, completeness, etc.); Tree automata; Model building and model checking; Proof search and theorem proving; Constraint solving and decision procedures.
- Semantics: Operational semantics and abstract machines; Game Semantics and applications; Domain theory and categorical models; Quantitative models (timing, probabilities, etc.); Quantum computation and emerging models in computation.
- Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking; Abstract Interpretation; Complexity analysis and implicit computational complexity; Checking termination, confluence, derivational complexity and related properties; Symbolic computation.
- Tools and Applications: Programming and proof environments; Verification tools; Proof assistants and interactive theorem provers; Applications in industry; Applications of formal systems in other sciences.
- Semantics and Verification in new challenging areas: Certification; Security; Blockchain protocols; Data Bases; Deep learning and machine learning algorithms; Planning.
- PUBLICATION
The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. - SPECIAL ISSUE
Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science. - SUBMISSION GUIDELINES
Submit in LIPIcs style at https://easychair.org/conferences/?conf=fscd2022
Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. They must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.
One author of an accepted paper is expected to present it at the (physical) conference, unless Covid restrictions prevent travel. - BEST PAPER AWARD BY JUNIOR RESEARCHERS
The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s).
AiML 2022: 14TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
CALL FOR PAPERS- Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences.
- TOPICS
We invite submissions on all aspects of modal logic, including:- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of
- modal and temporal logics, modal and temporal logic programming,
- model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (topological/algebraic/categorical perspectives
- on modal logic, coalgebraic modal logic, completeness and canonicity,
- correspondence and duality theory, many-dimensional modal logics,
- modal fixed point logics, model theory of modal logic, proof theory
- of modal logic)
- specific instances and variations of modal logic (description logics,
- modal logics over non-boolean bases, dynamic logics and other process
- logics, epistemic and deontic logics, modal logics for agent-based
- systems, modal logic and game theory, modal logic and grammar
- formalisms, provability and interpretability logics, spatial and
- temporal logics, hybrid logic, intuitionistic logic, substructural
- logics, computationally light fragments of all such logics)
- PAPER SUBMISSIONS
There will be two types of submissions for AiML 2022:- Full papers for publication in the proceedings and presentation at the conference.
- Short presentations intended for presentation at the conference but not for the published proceedings.
At least one author of each accepted paper or short presentation must register for and attend the conference. - FULL PAPERS
Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. Information on the submission procedure will be made available in due course.
The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2022 website in due time.
Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper.
The presentations of accepted full papers will be 30 minutes long. - SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. - IMPORTANT DATES
Abstracts for full papers submission: Mar 07, 2022 Full papers submission: Mar 14, 2022 Full papers acceptance notification: May 13, 2022 Short presentations submission: May 23, 2022 Short presentations acceptance notification: Jun 06, 2022 Final version of full papers and short presentations due: Jun 13, 2022 Conference: Aug 22-25, 2022
To the SIGLOG or LICS website