Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

3 - 5 September 2019, Working Formal Methods Symposium 2019 (FROM 2019), Timisoara, Romania

Date: 3 - 5 September 2019
Location: Timisoara, Romania
Deadline: Friday 21 June 2019

FROM 2019 is the third event in a yearly workshop series. It aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. The program of the symposium will include invited lectures and regular contributions. FROM 2019 will be held in conjunction with SYNASC 2019.

Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPTCS macro package. The paper must represent original work and should not be submitted to another conference at the same time. Regular contributions should be preceded by the submission of a a short abstract.

For more information, see http://from2019.projects.uvt.ro.