[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
**
** Call for Participation: FACS 2019
**
** 16th International Conference on
** Formal Aspects of Component Software
**
** 23-25 October 2019, Amsterdam
**
** http://facs2019.org
**
## OVERVIEW
Component-based software development proposes sound engineering principles and
techniques to cope with the complexity of present-day software systems.
However, many challenging conceptual and technological issues remain in
component-based software development theory and practice. Furthermore, the
advent of service-oriented and cloud computing, cyber-physical systems, and the
Internet of Things has brought to the fore new dimensions, such as quality of
service and robustness to withstand faults, which require revisiting
established concepts and developing new ones.
FACS 2019 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.
## PROGRAM
> http://facs2019.org/program <
Invited Speakers:
* Carlo Ghezzi (Polytechnic University of Milan)
* Kim Larsen (Aalborg University)
* Wan Fokkink (Vrije Universiteit Amsterdam)
Tutorial:
* Jan Friso Groote & Tim Willemse: mCRL2 (Eindhoven University of Technology)
Accepted papers:
* Reynaldo Cobos Mendez, Julio de Oliveira Filho, Douwe Dresscher and Jan
Broenink. A Bond-graph Metamodel: Physics-based Interconnection of Software
Components
* Arpit Sharma. Revisiting Trace Equivalences For Markov Automata
* Lars Luthmann, Hendrik Göttmann and Malte Lochau. Compositional
Liveness-Preserving Conformance Testing of Timed I/O Automata
* Timm Liebrenz, Paula Herber and Sabine Glesner. A Service-oriented Approach
for Decomposing and Verifying Hybrid System Models
* Achim D. Brucker and Michael Herzberg. A Formally Verified Model of Web
Components
* Petra van den Bos and Frits Vaandrager. State Identification for Labeled
Transition Systems with Inputs and Outputs
* Kadir Bulut, Guy-Vincent Jourdan and Uraz Cengiz Turker. Minimizing
characterizing sets: hardness and effect on test derivation from systems
modelled as finite state machines
* Habtom Kahsay Gidey, Alexander Collins and Diego Marmsoler. Modeling and
Verifying Dynamic Architectures with FACTum Studio
* Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. Combining state-
and event-based semantics to verify highly available programs
* Kasper Dokter. Multilabeled Petri Nets
* Tobias Reiher, Alexander Senier, Jeronimo Castrillon and Thorsten Strufe.
RecordFlux: Formal Message Specification and Generation of Verifiable Binary
Parsers
* Christopher Esterhuyse and Hans-Dieter Hiep. Reowolf: Synchronous
Multi-Party Communication over the Internet
## VENUE
FACS 2019 will be held at Centrum Wiskunde & Informatica (CWI), Amsterdam, the
Netherlands.
## REGISTRATION
> http://facs2019.org/registration <
* Early: until 4 October (AoE)
* Late: from 5 October
