[TYPES/announce] FACS 2023 - Call for Participation

[Sung-Shik Jongmans]

FACS 2023 - Call for Participation
https://urldefense.com/v3/__https://facs-conference.github.io__;!!IBzWLUs!Q6O9t3mFhLnAq9f4WfM3Po0Dy7jNulOxlIr6FdwmdDC7sQZjgXhvwKGZhbPwEQExRVhoN5Hb2TtlDmJXuZ8DJZtGjREF0RNEKPLJyI27BA$ 

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://urldefense.com/v3/__https://forms.gle/HB7kKSuK1tHxGVEP9__;!!IBzWLUs!Q6O9t3mFhLnAq9f4WfM3Po0Dy7jNulOxlIr6FdwmdDC7sQZjgXhvwKGZhbPwEQExRVhoN5Hb2TtlDmJXuZ8DJZtGjREF0RNEKPLgefTXcA$ 

The program is available here:

    https://urldefense.com/v3/__https://facs-conference.github.io/2023/program/__;!!IBzWLUs!Q6O9t3mFhLnAq9f4WfM3Po0Dy7jNulOxlIr6FdwmdDC7sQZjgXhvwKGZhbPwEQExRVhoN5Hb2TtlDmJXuZ8DJZtGjREF0RNEKPLoc-D3FQ$ 



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