The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme
LogiCS@TUWien - Logics for Computer Science
http://www.vcla.at/msca
co-funded by the European Commission, will offer 20 full-time PhD positions. The
program is hosted by TU Wien, one of the most successful technical universities in
Europe and the largest one in Austria. The Faculty of Informatics of TU Wien is a leading
research and teaching institution which consistently ranks among the top 100 computer
science faculties in the global Times Higher Education ranking. In the heart of Europe,
Vienna has a distinguished history in mathematics, computer science, and logic research
and offers one of the highest living standards in the world.
The doctoral positions are open to international high-potential early-stage researchers
working on Logical Methods in Computer Science and their applications, including:
* Artificial Intelligence
* Databases
* Verification
* Algorithms
* Security
* Cyber-Physical Systems
The programme provides a 4-year long doctoral training for international PhD
candidates within an English-language curriculum. LogiCS@TUWien will run for 60
months and foresees the recruitment of 20 PhD candidates. The PhD candidates will be
supervised by:
* Ezio Bartocci
* Pavol Cerny
* Agata Ciabattoni
* Thomas Eiter
* Robert Ganian
* Georg Gottlob
* Laura Kovács
* Matteo Maffei
* Magdalena Ortiz
* Stefan Szeider
* Georg Weissenbacher
* Stefan Woltran
* Florian Zuleger
Two calls will accomplish the recruitment of the 20 positions. The first call is now open,
with an application deadline of December 30, 2021.
For details on how to apply, seehttp://www.vcla.at/msca/apply or watch the video
athttps://youtu.be/Aq0JGJ9eqzQ.
--
Magdalena Ortiz
Assoc.Prof. Knowledge Representation and Reasoning
Institute of Logic and Computation (E192/3)
Faculty of Informatics, TU Wien
==========================================================
CALL FOR PAPERS
iFM 2022
17th International Conference on integrated Formal Methods
7-10 June 2022, Lugano, Switzerland
https://ifm22.si.usi.ch/
===========================================================
=== COVID-19 ===
We are monitoring the COVID-19 pandemic development and are prepared to run the conference virtually or in a hybrid fashion in the unfortunate situation that a physical conference is not feasible. The paper selection process will not be affected and LNCS proceedings will be prepared regardless of whether the conference is held physically, virtually or in a hybrid fashion.
=== Important dates ===
- Abstract submission: January 14, 2022
- Paper submission: January 21, 2022
- Paper notification: March 18, 2022
- Artefact submission: March 28, 2022
- Artefact notification: April 15, 2022
- Camera-ready: April 15, 2022
- iFM conference: June 7-10, 2022
Deadlines expire at 23:59 anywhere on earth on the dates displayed above.
Submission site: https://easychair.org/conferences/?conf=ifm2022
=== Objectives and scope ===
In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we introduce EAPLS artefact badging (https://eapls.org/pages/artifact_badges/) in this edition of iFM.
Areas of interest include but are not limited to:
- Formal and semi-formal modelling notations
- Combining formal methods with different performance, simulation and system analysis techniques
- Program verification, model checking, and static analysis
- Theorem proving, decision procedures and SAT/SMT solving
- Runtime analysis, monitoring and testing
- Program synthesis
- Modelling, analysis and synthesis of cyber-physical, hybrid, embedded, probabilistic, distributed or concurrent systems
- Abstraction and refinement
- Model learning and inference
- Approaches to integrating formal methods into software engineering practice or industry
- Approaches to integrating formal methods into standardisation or certification processes
- Formal methods for AI
- Tools and case studies supporting the integration of formal methods
=== Paper Categories ===
iFM 2022 solicits high-quality papers reporting research results and/or experience reports related to the overall theme of formal methods integration.
We accept papers in the following categories:
(1) Regular papers (limit 16 pages) on
- original scientific research results
- tools, their foundation and evaluations
- applications of formal methods, including rigorous evaluations
(2) Short papers (limit 6 pages) on
- any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit
(3) Journal-First papers (limit 4 pages)
- summarising recently published papers in high-quality journals
All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion.
Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality and clarity.
The aim of journal-first papers in category (3) is to further enrich the program of iFM and to provide more visibility to an already published journal papers in the scope of the iFM conference.
Authors of published papers in high-quality journals can submit a proposal to present their journal paper in iFM. The published journal paper must adhere to the following four criteria:
- It should be clearly within the scope of the conference.
- It should be recent: it should have been accepted and made publicly available in a journal (online or in print) by 1 July 2019 or more recently.
- It should report new research results that significantly extend prior work ��� as opposed to simply extending prior conference work with material such as proofs, algorithms or minor enhancements.
- It has not been presented at, and is not under consideration for, journal-first tracks of other conferences or workshops.
The 4-page submission to iFM for category (3) should provide a concise summary of the published journal paper, which makes it clear
- why its topics fits iFM���s scope, and
- why a presentation of its results would enrich the programme of iFM.
Journal-first submissions must be marked as such in the submission���s title, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the conference���s technical programme.
=== Submission guidelines ===
Submissions for all categories should be made using the iFM 2022 EasyChair site:
https://easychair.org/conferences/?conf=ifm2022
Submissions must be in PDF format, using the Springer LNCS style files.
Springer requires that authors should consult Springer���s authors��� guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guide…) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llnc/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. After a paper is accepted, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.
The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2022.
All accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference by the early registration date.
=== EAPLS Artefact Badging ===
Reproducibility of experiments is crucial to foster an atmosphere of open, reusable and trustworthy research. To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in our community, authors of accepted papers will be invited to submit possible artefacts associated with their paper for evaluation, and based on the level of reproducibility they will be awarded one or more badges. See https://eapls.org/pages/artifact_badges/ for details. Artefact submission is optional and the result of the artefact evaluation will not alter the paper's acceptance decision. Detailed guidelines for the preparation and submission of the artefacts will be made available on the iFM website.
=== Organisation ===
= General Chair =
- Carlo A. Furia (USI Universit�� della Svizzera Italiana, Switzerland)
= PC Chairs =
- Maurice H. ter Beek (ISTI-CNR, Italy)
- Rosemary Monahan (Maynooth University, Ireland)
= Journal First Track Chairs =
- Ferruccio Damiani (University of Torino, Italy)
- Marieke Huisman (University of Twente, Netherlands)
= Artefact Evaluation Committee Chairs =
- Alessio Ferrari (ISTI-CNR, Italy)
- Marie-Christine Jakobs (TU Darmstadt, Germany)
= PhD-iFM Symposium Chairs =
- Marie Farrell (Maynooth University, Ireland)
- Jo��o F. Ferreira (University of Lisbon, Portugal)
= Program Committee =
- Erika ��brah��m (RWTH Aachen University)
- Yamine A��t Ameur (University of Toulouse)
- Petra van den Bos (University of Twente)
- Giovanna Broccia (ISTI-CNR, Pisa)
- Ana Cavalcanti (University of York)
- Ivana ��ern�� (Masaryk University)
- Louise A. Dennis (University of Manchester)
- John Derrick (University of Sheffield)
- Brijesh Dongol (University of Surrey)
- Einar Broch Johnson (University of Oslo)
- Rajeev Joshi (Amazon Web Services)
- Nikolai Kosmatov (CEA List, Saclay)
- Michael Leuschel (University of D��sseldorf)
- Alberto Lluch Lafuente (Technical University of Denmark)
- Matt Luckcuck (Maynooth University)
- Anamaria Martins Moreira (Federal University of Rio de Janeiro)
- Dominique M��ry (LORIA and University of Lorraine)
- Stephan Merz (INRIA Nancy)
- Luigia Petre (��bo Akademi University)
- Andr�� Platzer (Carnegie Mellon University)
- Jaco van de Pol (Aarhus University)
- Kostis Sagonas (Uppsala University)
- Gerhard Schellhorn (University of Augsburg)
- Emil Sekerinski (McMaster University)
- Marjan Sirjani (M��lardalen University)
- Volker Stolz (Western Norway University of Applied Sciences)
- Silvia Lizeth Tapia Tarifa (University of Oslo)
- Helen Treharne (University of Surrey)
- Elena Troubitsyna (KTH Royal Institute of Technology)
- Frits W. Vaandrager (Radboud University, Nijmegen)
- Andrea Vandin (Sant'Anna School of Advanced Studies, Pisa)
- Heike Wehrheim (University of Oldenburg)
- Anton Wijs (Eindhoven University of Technology)
- Kirsten Winter (University of Queensland)
- Burkhart Wolff (Universit�� Paris-Saclay)
- Naijun Zhan (Chinese Academy of Sciences)
=== Local Organisation ===
= Web Chair =
- Mohammad Rezaalipour (USI Universit�� della Svizzera italiana, Switzerland)
= Publicity Chair =
- Diego Marcilio (USI Universit�� della Svizzera italiana, Switzerland)
= Finance Chairs =
- Elisa Larghi (USI Universit�� della Svizzera italiana, Switzerland)
- Roberto Minelli (USI Universit�� della Svizzera italiana, Switzerland)
CONCUR 2022: first 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
--
Prof. Javier Esparza
Faculty of Computer Science
Technical University of Munich
Boltzmannstr. 3, 85748 Garching
* CONFEST 2022 * -- Call for Workshop Proposals
September 12 - September 17 2022, Warsaw, Poland
(https://confest2022.mimuw.edu.pl/)
CONFEST is the umbrella conference comprising the joint international 2022
meetings:
- CONCUR (33st International Conference on Concurrency Theory),
- QEST (19th International Conference on Quantitative Evaluation of
SysTems),
- FORMATS (20th International Conference on Formal Modeling and Analysis of
Timed Systems), and
- FMICS (27th International Conference on Formal Methods for Industrial
Critical Systems).
Researchers and practitioners are invited to submit proposals for ONE DAY
workshops on topics related to theory, formal modeling, verification,
performance evaluation and engineering of concurrent, timed, industrial,
and other systems.
Typically, CONFEST workshops feature a number of invited speakers and a
number of contributed presentations.
The workshops will take place one day before (12 September) and one day
after (17 September) the main conferences.
The purpose of the workshops is to provide participants with a friendly,
stimulating, and interactive atmosphere for
- presenting novel ideas,
- discussing their applications,
- encouraging cross-fertilization between industry and academia, and
- fostering opportunities for young and prospective researchers.
The conferences and workshops of CONFEST’22 are currently planned as
physical, in-person events with support for remote presence for speakers
and for other participants.
Depending on the pandemic situation, we will make a decision whether to
cancel the physical component of CONFEST or not by the end of June 2022.
Workshop proposals should include:
- The name and the preferred date of the proposed workshop.
- The names and contact information (web page, email address) of the
organisers.
- A short scientific summary and justification of the proposed topic for
the CONFEST community (500 words max).
- A discussion of the proposed format and agenda.
- If applicable, a description of past versions of the workshop, including
dates, organizers, submission and acceptance counts, and attendance.
- Procedures for selecting papers and participants.
- The publication plan (only invited speakers, no published proceedings,
pre-/post-proceedings published with EPTCS/ENTCS/...).
- Potentially invited speakers.
- Tentative schedule for paper submission and notification of acceptance.
The main responsibility for organizing the workshop goes to the workshop
organizer(s), including:
- workshop publicity (possibly including call for papers, submission and
review process)
- scheduling of workshop activities in collaboration with the CONFEST
workshop chair.
Proposals should be sent to Lorenzo Clemente (workshop chair):
clementelorenzo(a)gmail.com
IMPORTANT DATES
- Submission deadline February 28, 2022
- Notification March 15, 2022
- Program of the workshops ready: July 29, 2022
- Workshops: September 12, 17 2022
- CONFEST conferences: September 13-16, 2022
The CONFEST 2022 workshop chair,
Lorenzo Clemente
https://www.mimuw.edu.pl/~lclemente/
University of Warsaw, Poland
CONCUR 2022: the first 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
CALL FOR CONTRIBUTIONS
28th International Conference on Types for Proofs and Programs, TYPES
2022 and EuroProofNet Cost Action CA20111 meeting
Nantes, France, 20-25 June 2022
https://types22.inria.fr
BACKGROUND
The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.
The TYPES areas of interest include, but are not limited to:
* foundations of type theory and constructive mathematics;
* applications of type theory;
* dependently typed programming;
* industrial uses of type theory technology;
* meta-theoretic studies of type systems;
* proof assistants and proof technology;
* automation in computer-assisted reasoning;
* links between type theory and functional programming;
* formalizing mathematics using type theory.
We encourage talks proposing new ways of applying type theory. In the
spirit of workshops, talks may be based on newly published papers,
work submitted for publication, but also work in progress.
The EuroProofNet Cost Action CA20111 focuses on the same research topics
as TYPES and partially sponsors the TYPES Conference.
INVITED SPEAKERS: TBA
CONTRIBUTED TALKS:
We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp (not including bibliography)
formatted with easychair.cls. The submission site is
https://easychair.org/conferences/?conf=types2022
IMPORTANT DATES:
* submission of 2 pp abstract: 9 March 2022
* notification of acceptance/rejection: 20 April 2022
* camera-ready version of abstract: 15 May 2022
Camera-ready versions of the accepted contributions will be published
in an informal book of abstracts for distribution at the workshop.
POST-PROCEEDINGS
A post-proceedings volume will be published in the Leibniz International
Proceedings in Informatics (LIPIcs) series. Submission to that volume
will be open to everyone.
Tentative submission deadline for the post-proceedings: September 2022.
PROGRAM COMMITTEE
Sandra Alves (University of Porto)
Carlo Angiuli (Carnegie Mellon University)
Stephanie Balzer (Carnegie Mellon University)
Lars Birkedal (Aarhus University)
Frédéric Blanqui (INRIA)
Sandrine Blazy (Université de Rennes 1 - IRISA)
Thierry Coquand (University of Technology)
Andrej Dudenhefner (Saarland University)
Jacques Garrigue (Nagoya University)
Delia Kesner (Université de Paris) (PC Co-Chair)
Marina Lenisa (Università di Udine)
Paul Blain Levy (University of Birmingham)
Sara Negri (Università degli Studi di Genova)
Pierre-Marie Pédrot (INRIA) (PC Co-Chair)
Luca Padovani (Università di Torino)
Zoe Paraskevopoulou (Northeastern University)
Brigitte Pientka (McGill University)
Matija Pretnar (University of Ljubljana)
Talia Ringer (University of Washington)
Kathrin Stark (Princeton University)
Paweł Urzyczyn (University of Warsaw)
Lionel Vaux (Université d’Aix-Marseille)
Niki Vazou (IMDEA Software)
TYPES STEERING COMMITTEE
Andreas Abel (Gothenburg University)
Sandra Alves (University of Porto) (Secretary)
Henning Basold (Leiden University) (SC chair)
Frédéric Blanqui (INRIA)
Ugo de'Liguoro (Università di Torino)
Matthieu Sozeau (INRIA & Université de Nantes)
ABOUT TYPES
The TYPES meetings from 1990 to 2008 were annual workshops of a sequence
of five EU funded networking projects. From 2009 to 2015, TYPES has been
run as an independent conference series. Previous TYPES meetings were
held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen
(1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee
(1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen
(2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham
(2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009),
Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn
(2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019),
Virtual (2021).
CONTACT
Email: types2022(a)easychair.org
Organisers:
Assia Mahboubi (INRIA & Université de Nantes)
Matthieu Sozeau (INRIA & Université de Nantes)
Nicolas Tabareau (INRIA & Université de Nantes)
von Havelund, Klaus (US 348B) via fm-announcements
NFM 2022 - THIRD CALL FOR PAPERS
The 14th NASA Formal Methods Symposium
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.c…
May 24-27, 2022
Pasadena, California, USA
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: December 3, 2021
- Paper Submission: December 10, 2021
- Paper Notifications: February 4, 2022
- Camera-ready Papers: March 4, 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://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnasa.gith…)
- 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).
Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings.
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. Reviewing is Single-blind.
We encourage authors to focus on readability of their submissions.
Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…);reserved=0). Papers must be submitted in PDF format at the EasyChair submission site:
https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…p;reserved=0.
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://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.sprin…);reserved=0).
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.
ORGANIZERS
PC chairs
- Klaus Havelund, JPL, USA
- Jyo Deshmukh, USC, USA
- Ivan Perez, NIA, USA
Application Advisors
- Robert Bocchino, JPL, USA
- John Day, JPL, USA
- Maged Elasaar, JPL, USA
- Amalaye Oyake, Blue Origin, USA
- Nicolas Rouquette, JPL, USA
- Vandi Verma, JPL, USA
Application advisors advise the PC chairs to ensure a strong connection to the problems facing NASA.
Local Organizer
- Richard Murray, Caltech, USA
Scientific Advisor
- Mani Chandy, Caltech, USA
Program Committee
- Aaron Dutle, NASA, USA
- Alessandro Cimatti, Fondazione Bruno Kessler, Italy
- Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA
- Anne-Kathrin Schmuck, Max-Planck-Institute for Software Systems, Germany
- Arie Gurfinkel, University of Waterloo, Canada
- Bardh Hoxha, Toyota Research Institute North America, USA
- Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany
- Betty H.C. Cheng, Michigan State University, USA
- Borzoo Bonakdarpour, Michigan State University, USA
- Carolyn Talcott, SRI International, USA
- Chuchu Fan, MIT, USA
- Constance Heitmeyer, Naval Research Laboratory, USA
- Corina Pasareanu, CMU, NASA, KBR, USA
- Cristina Seceleanu, Mälardalen University, Sweden
- Dejan Nickovic, Austrian Institute of Technology AIT, Austria
- Dirk Beyer, LMU Munich, Germany
- Doron Peled, Bar Ilan University, Israel
- Erika Abraham, RWTH Aachen University, Germany
- Ewen Denney, NASA, USA
- Gerard Holzmann, Nimble Research, USA
- Giles Reger, The University of Manchester, UK
- Huafeng Yu, TOYOTA InfoTechnology Center USA, USA
- Jean-Christophe Filliatre, CNRS, France
- Johann Schumann, NASA, USA
- John Day, Jet Propulsion Laboratory, USA
- Julia Badger, NASA, USA
- Julien Signoles, CEA LIST, France
- Kerianne Hobbs, Air Force Research Laboratory, USA
- Kristin Yvonne Rozier, Iowa State University, USA
- Leonardo Mariani, University of Milano Bicocca, Italy
- Lu Feng, University of Virginia, USA
- Marcel Verhoef, European Space Agency, The Netherlands
- Marie Farrell, Maynooth University, Ireland
- Marieke Huisman, University of Twente, The Netherlands
- Marielle Stoelinga, University of Twente, The Netherlands
- Martin Feather, Jet Propulsion Laboratory, USA
- Martin Leucker, University of Luebeck, Germany
- Michael Lowry, NASA, USA
- Misty Davies, NASA, USA
- Natasha Neogi, NASA, USA
- Nicolas Rouquette, Jet Propulsion Laboratory, USA
- Nikos Arechiga, Toyota Research Institute, USA
- Rajeev Joshi, Amazon Web Services, USA
- Stanley Bak, Stony Brook University, USA
- Sylvie Boldo, INRIA, France
- Vandi Verma, NASA, USA
- Willem Visser, Amazon Web Services, USA
CONTACT
Email: nfm2022 [at] easychair [dot] org
---
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
Join the Logica Universalis Webinar!
The next session will be held on Wednesday, November 17 at 4pm CET with the talk
Correspondence Analysis for Some Fragments of Classical Propositional Logic<https://link.springer.com/article/10.1007/s11787-021-00267-4>
Yaroslav Petrukhin<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.researchgate.net_p…> (University of Łódź, Poland) and Vasilyi Shangin<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.researchgate.net_p…> (Lomonosov Moscow State University, Russia)
Chair: Andrei Rodin<https://urldefense.proofpoint.com/v2/url?u=http-3A__philomatica.org_&d=DwMG…>, Editorial Board LU
Associate Organization: Moscow Logic Group
presented by its chairman Vladimir Vasyukov<https://urldefense.proofpoint.com/v2/url?u=https-3A__eng.iph.ras.ru_vasyuko…>
The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.)
The sessions take place on Wednesdays at 4pm CET (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance.
Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…>
Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min).
Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>.
---
To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>).
--
Antje Herbst
Associate Editor Mathematics
Journals
Springer Nature
Tiergartenstraße 17, 69121 Heidelberg, Germany
T +49 62214878984
antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>
www.springernature.com<http://www.springernature.com/>
--
Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve.
--
Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany
Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B
Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas
=================================================================
First Call for Contributions
LCC 2022
22nd International Workshop on Logic and Computational Complexity
February 20, 2022, Online
Collocated with CSL 2022
http://www.cs.swansea.ac.uk/lcc/
=================================================================
LCC meetings are aimed at the foundational interconnections between
logic and computational complexity, as present, for example, in
implicit computational complexity (descriptive and type-theoretic
methods); deductive formalisms as they relate to complexity
(e.g. ramification, weak comprehension, bounded arithmetic, linear
logic and resource logics); complexity aspects of finite model theory
and databases; complexity-mindful program derivation and verification;
computational complexity at higher type; and proof complexity. The
program will consist of invited lectures as well as contributed talks
selected by the Program Committee.
IMPORTANT DATES:
* submission December 12, 2021
* notification January 3, 2022
* workshop February 20, 2022
SUBMISSION:
Submissions must be in English and in the form of an abstract of about
3-4 pages. All submissions should be submitted through Easychair at:
https://easychair.org/conferences/?conf=lcc22
We also welcome submissions of abstracts based on work submitted or
published elsewhere, provided that all pertinent information is
disclosed at submission time. There will be no formal reviewing as is
usually understood in peer-reviewed conferences with published
proceedings. The program committee checks relevance and may provide
additional feedback.
PROGRAM COMMITTEE:
Patrick Baillot (CNRS, University of Lille, France, co-chair)
Meghyn Bienvenu (CNRS, University of Bordeaux, France)
Juha Kontinen (University of Helsinki, Finland, co-chair)
Cynthia Kop (Radboud University Nijmegen, The Netherlands)
Barnaby Martin (Durhan University, UK)
Nicole Schweikardt (Humboldt-University Berlin, Germany)
CONTACT:
To contact the workshop organizers, please send e-mail to lcc22(a)easychair.org<mailto:lcc22@easychair.org>