Home HASLab News and Events News INESC TEC organises international conference on Formal Methods
Document Actions

INESC TEC organises international conference on Formal Methods

The High-Assurance Software Laboratory (HASLab) of INESC TEC organised the 14th edition of FACS – International Conference on Formal Aspects of Component Software, which took place between the 10th and the 13th of October in Braga.

FACS 2017 had the participation of 24 researchers from 13 different countries who travelled to Portugal to participate in this international forum, which focuses on how formal methods can or should be used to develop component-based software in a secure and reliable way.

FACS 2017 had as guest speakers researchers Catuscia Palamidessi, research director at INRIA Saclay, in France, and Farhad Arbab, professor at the Leiden University, in the Netherlands.

The proceedings of the conference were published in Lecture Notes in Computer Science (Springer) and will have a magazine edition in Elsevier.

FACS was created in 2003 and has had editions in several places across the globe – including several European countries, China, the United States, and Brazil. The next edition will take place in South Korea.



HASLab +351 22 209 4000