[Hol-info] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam

2019-09-18 Thread Sung-Shik Jongmans
** **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

(PN) CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)

2019-06-20 Thread Sung-Shik Jongmans
pers cannot be made. A special issue of Science of Computer Programming on FACS 2019 will be published by Elsevier. After the conference, authors of select papers will be invited to submit an extended version for inclusion. ## CHAIRS Farhad Arbab, CWI and Leiden University Sung-Shik Jongmans,

[Hol-info] CfP - FACS 2019 (Formal Aspects of Component Software)

2019-04-09 Thread Sung-Shik Jongmans
uter Programming). ## CHAIRS Farhad Arbab, CWI and Leiden University Sung-Shik Jongmans, Open University and CWI ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology Christel Baier, TU Dresden Luís Soares Barbosa, INESC TEC and University of Minho Simon Bliudze, INRIA L