HASLab organizes an international conference on Formal Methods

The INESC TEC's High-Assurance Software Laboratory (HASLab) organized the 14th edition of FACS – the International Conference on Formal Aspects and Software Components, held from October 10 to October 13 in Braga.

The FACS 2017 edition was attended by about 24 researchers from 13 different nationalities who came to Portugal to participate in an international forum that discusses how formal methods can or should be used to safely and reliably develop software based on components.

FACS 2017 received two well renowned invited lecturers: Catuscia Palamidessi, research director at INRIA Saclay in France, and Farhad Arbab, a full professor at Leiden University in The Netherlands. 

The conference proceedings were published in Lecture Notes in Computer Science (Springer) and will feature a special journal edition at Elsevier.

FACS was born in 2003 and has been held in all around the globe - including in several European countries, in China, in the United States, and in Brazil. The 2018 edition is already planned for South Korea.