FACS 2023 - Call for Participation

FACS 2023 - Call for Participation

https://facs-conference.github.io

19th International Conference on

Formal Aspects of Component Software

19-20 October 2023 (online)

Highlights

________________

- Keynotes by Marsha Chechik and Rajeev Alur

- Free registration

- Regular research track

- Special 20-year anniversary track about component-based software: past, present, and future

Scope

________________

FACS 2023 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Free Registration & Program

________________

We cordially invite you to join FACS 2023! Registration for FACS 2023 is free and open here:

    https://forms.gle/HB7kKSuK1tHxGVEP9

The program is available here:

    https://facs-conference.github.io/2023/program/

Invited Talks

________________

- Marsha Chechik (University of Toronto): Assurance for Software Product Lines Through Lifting and Reuse

- Rajeev Alur (University of Pennsylvania): Model Checking for Safe Autonomy

Contributed Talks

________________

Research track:

- Naoya Nitta, Shinji Kageyama and Kouta Fujii. A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer

- Bence Graics, Milán Mondok, Vince Molnár and Istvan Majzik. Model-Based Testing of Asynchronously Communicating Distributed Controllers

- Boutheina Bannour, Arnault Lapitre, Pascale Le Gall and Ngo Minh Thang Nguyen. Symbolic Path-guided Test Cases for Models with Data and Time

- Perla Tannoury, Samir Chouali and Ahmed Hammad. Joint use of SysML and Reo to specify and verify the compatibility of CPS components

- Stefan Hallerstede and John Hatcliff. A Mechanized Semantics for Component based Systems in the HAMR AADL Runtime

- German Vidal. From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs

20-year anniversary track:

- Kyungmin Bae and Peter Ölveczky: Formal Model Engineering of Distributed CPSs using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADL

- Yi Li and Meng Sun: Challenges Engaging Formal CBSE in Industrial Applications

- Anton Wijs: Embedding Formal Verification in Model-Driven Software Engineering with SLCO: An Overview

- Olga Kouchnarenko and Louis Robert: Exploring the Available FACS Impact

- José Proença: Overview over Constrained Multiparty Synchronisation in Teams

- Zhiming Liu, Jiadong Teng and Bo Liu: Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories

Follow Us

________________

All updates on twitter.com/facs_conf

Program Chairs

________________

Javier Cámara, University of Málaga, Spain / University of York, UK

Sung-Shik Jongmans, Open University and CWI, Netherlands

Steering Committee

________________

Farhad Arbab, CWI and Leiden University, Netherlands

Kyungmin Bae, Pohang University of Science and Technology, Korea

Peter Csaba Ölveczky, University of Oslo, Norway

Sung-Shik Jongmans, Open University and CWI, Netherlands

Zhiming Liu, Southwest University, China

Markus Lumpe, Swinburne University of Technology, Australia

Eric Madelaine, INRIA Sophia Antipolis, France

Corina Pasareanu, CMU, USA

José Proença, Polytechnic Institute of Porto, Portugal

Gwen Salaün, Université Grenoble Alpes, France

Luís Soares Barbosa (Chair), University of Minho, Portugal

Anton Wijs, Eindhoven University of Technology, Netherlands