List of conferences - page 3


ISD2021
by Fernando González-Ladrón-de-Guevara, Feb. 10, 2021

2nd CFP: ISD2021 Valencia, Spain (29th International Conference on Information Systems Development)

CfP: 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021)
by Anastasia Mavridou, Feb. 5, 2021

****************************************************************
The 26th International Conference on
Formal Methods for Industrial Critical Systems
(FMICS 2021)

https://qonfest2021.lacl.fr/fmics21.php

****************************************************************

About
-------------------------
The aim of the FMICS conference series (http://fmics.inria.fr/) is to provide a forum for researchers who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

FMICS 2021 is part of the QONFEST umbrella conference comprising:

- FMICS 2021: 26th International Conference on Formal Methods for Industrial Critical Systems
- CONCUR 2021: 32nd International Conference on Concurrency Theory
- FORMATS 2021: 19th International Conference on Formal Modeling and Analysis of Timed Systems
- QEST 2021: 18th International Conference on Quantitative Evaluation of SysTems

QONFEST takes place from August 23 to August 27, 2021.

Topics
-------------------------
Topics of interest include (but are not limited to):

- Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions.
- Methods, techniques and tools to support automated analysis, certification, debugging, descriptions, learning, optimisation and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems.
- Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues).
- Impact of the adoption of formal methods on the development process and associated costs. Application of formal methods in standardisation and industrial forums.

New this year! Special track papers on Formal Methods for Blockchain-based Smart Contracts
-------------------------
We invite submissions in topics related to the formal specification, analysis, and verification of blockchain-based smart contracts. For this occasion, the Program Committee has been enlarged with experts from the blockchain domain. Formatting instructions and the review procedure are the same as the ones for regular papers. However, the authors will need to specifically indicate their interest in the special track during the submission. Papers accepted for the special track will be included in a special session at FMICS 2021 along with a panel on this topic, while they will be published in the conference proceedings together with papers accepted for the regular track.

Submission and Publication
-------------------------
We welcome contributions of different categories:

- Regular papers that describe original research work and results. Length: 15 pages + 2 pages of references.
- Short papers that describe work-in-progress, or positions on the future of formal methods. Length: 6 pages + 2 pages of references.
- Tool papers that describe software artefacts. The paper must contain a link to a publicly available video of at most 10 minutes length. Length: 6 pages + 2 pages of references.
- Journal-first papers that summarize a paper recently published in a journal and not yet presented in a conference. The main aim of this category is to allow authors present archived work in a public forum. The original journal paper should have been published between January 1st, 2020 and the date of submission. Length: 2 pages + 1 page of references.

With the exception of the journal-first category, submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

Submissions should clearly motivate relevance to industrial application. Case-Deastudy papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development.

Submissions should be formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee members who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results.

Papers must be written in English and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2021

The conference proceedings will be published by Springer in the LNCS series. Contributions of the journal-first category will not be included in the proceedings.

Authors should consult Springer’s authors guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, 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.

At least one author of each accepted paper is expected to present the paper at the conference as a registered participant.

Best paper award: A Springer-sponsored award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2021 Best Paper.

Special issue: The Program Committee of FMICS 2021 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT).

Concerning the COVID-19 Pandemic:
-------------------------
Due the pandemic situation, the organization committee of QONFEST 2021 decided that all conferences will take place online.

Important Dates
-------------------------
Abstract submission: May 7, 2021
Paper submission: May 14, 2021 (23:59:59 AoE)
Author notification: June 28, 2021
Camera-ready version: July 5, 2021
Conference: August 23-27, 2021
NOTE: the actual conference dates will be announced on the webpage. Most likely, it will be 2-3 days within the QONFEST week (August 23-27, 2021)

Keynote Speaker
-------------------------
Joe Kiniry (Galois Inc. and Free & Fair, US)

PC Chairs
-------------------------
Alberto Lluch Lafuente (Technical University of Denmark, DK)
Anastasia Mavridou (KBR/ NASA Ames Research Center, US)

PC Members
-------------------------
Erika Abraham (RWTH Aachen University, DE)
Massimo Bartoletti (University of Cagliari, IT)
Maurice ter Beek (ISTI-CNR, IT)
Simon Bliudze (INRIA, FR)
Yu-Fang Chen (Academia Sinica, TW)
Silvia Crafa (University of Padova, IT)
Hubert Garavel (INRIA, FR)
Diego Garbervetsky (University of Buenos Aires/CONICET, AR)
Ákos Hajdu (Budapest University of Technology and Economics, HU)
Klaus Havelund (NASA JPL, US)
Anne Haxthausen (Technical University of Denmark, DK)
Fritz Henglein (University of Copenhagen/ Deon Digital , DK)
Fuyuki Ishikawa (National Institute of Informatics, JP)
Xiaoqing Jin (Apple Inc., US)
Joe Kiniry (Galois Inc. and Free & Fair, US)
Thierry Lecomte (ClearSy, FR)
Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE)
Diego Marmsoler (University of Exeter, UK)
Radu Mateescu (INRIA, FR)
Dejan Nickovic (Austrian Institute of Technology, AT)
Corina Pasareanu (CMU/ NASA Ames Research Center, US)
Anna Philippou (University of Cyprus, CY)
Jaco van de Pol (Aarhus University, DK)
Clara Schneidewind (Vienna University of Technology, AT)
Cristina Seceleanu (Mälardalen University, SE)
Carolyn Talcott (SRI International, US)
Virginie Wiels (ONERA / DTIM, FR)

Steering Committee
-------------------------
Maurice ter Beek (ISTI-CNR, IT)
Alessandro Fantechi (University of Florence, IT)
Hubert Garavel (INRIA, FR)
Tiziana Margaria (CSIS, Univ. of Limerick, and LERO, IE)
Radu Mateescu (INRIA, FR)
Jaco van de Pol (Aarhus University, DK)

17th International Conference on Web Information Systems and Technologies
by Calendar_Sites_INSTICC, Feb. 4, 2021

The purpose of the International Conference on Web Information Systems and Technologies (WEBIST) is to bring together researchers, engineers and practitioners interested in the technological advances and business applications of web-based information systems. The conference has five main tracks, covering different aspects of Web Information Systems, namely Internet Technology, Web Interfaces and Applications, Society, e-Communities, e-Business, Web Intelligence and Mobile Information Systems. WEBIST focuses on real world applications; therefore authors should highlight the benefits of Web Information Systems and Technologies for industry and services, in addition to academic applications. Ideas on how to solve business problems using web-based information systems and technologies, will be discussed at the conference.

SAT 2021: CFP
by Jesús Giráldez-Cru, Feb. 4, 2021

24th International Conference on Theory and Applications of Satisfiability Testing
SAT-2021, July 5-9, 2021, Barcelona, Spain

Call For Papers

https://www.iiia.csic.es/sat2021

10th Symposium on Languages, Applications and Technologies
by Ricardo Queirós, Jan. 23, 2021

We often use languages. First, to communicate between ourselves. Later, to communicate with computers. And more recently, with the advent of networks, we found a way to make computers communicate between themselves. All these different forms of communication use languages, different languages, but that still share many similarities. In SLATE, we are interested in discussing these languages, organized in three main tracks: HHL TRACK (Human-Human Languages), HCL Track (Human-Computer Languages) and CCL Track (Computer-Computer Languages)

Call for Papers - MDEML track at Euromicro SEAA 2021
by Andreas Wortmann, Jan. 20, 2021

MDEML: Model-Driven Engineering and Modeling Languages
https://dsd-seaa2021.unipv.it/seaa/MDEML.html

Paper Submission Deadline: April 1, 2021
Notification of Acceptance: May 15, 2021
Camera-Ready Papers: June 15, 2021

Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)
by Lisa Nguyen Quang Do, Jan. 14, 2021

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems.

ISSTA 2021 will be held in Aarhus, Denmark, on July 12-16, 2021, co-located with ECOOP 2021.

2021 will mark the 30th edition of ISSTA.

Authors are invited to submit technical papers, experience papers, and reproducibility studies.

Call for workshops: ECOOP and ISSTA 2021
by Lisa Nguyen Quang Do, Jan. 12, 2021

Call for workshops: 35th European Conference on Object-Oriented Programming (ECOOP'21) & 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21)