[TYPES/announce] CFP: Winter School on Formal Methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION The First IPM Advanced School on Computing: Formal Methods for

[TYPES/announce] PhD position in concurrency/programming languages/formal methods at CWI (Amsterdam)

cols. The successful applicant will work under supervision of Sung-Shik Jongmans (principal investigator of the project), Farhad Arbab, and Frank de Boer. The starting date is flexible (but preferably sooner rather than later). ## Requirements Applicants should either have a master's degree (or equiva

[TYPES/announce] CfP - FACS 2019 (Formal Aspects of Component Software)

made. As in previous years, we plan to invite authors of selected papers to submit an extended version of their paper for inclusion in a special issue of a journal dedicated to FACS 2019 (historically, Science of Computer Programming). ## CHAIRS Farhad Arbab, CWI and Leiden University Sung-Shik Jong

[TYPES/announce] CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)

bmit an extended version for inclusion. ## 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 S

[TYPES/announce] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam

[ 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 ** **

[TYPES/announce] FACS 2023 - Call for Participation

ions 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 Fa

[TYPES/announce] FACS 2023 - Final Call for Papers (extended deadlines)

/ 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

[TYPES/announce] FACS 2023 - Call for Papers

or workshops. Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI). Program Chairs -- Javier Cámara, University of Málaga, Spain / University of York, UK Sung-Shik Jongmans, Open University