Offside
Corporate

INESC TEC, in the words of our partners – Statement by Teresa Bianchi de Aguiar, Manager of LTPLabs.

Limelight

Vítor Cerqueira (LIAAD), José Costa Pereira (CTM), Gaspar Pacheco (CAP)

Serious Thinking

“Sharing stories (…) and debating new ideas daily, whether during lunch time or during the five minutes of the coffee break, leads to the establishment of connections between us and to social and professional growth.” Cláudia Rocha (CRIIS)

Gallery of the Uncommon

We know that people from science and technology always have some kind of genius in them. If you are thinking about Einstein, we are thinking about José Carlos Sousa of the Management Information Systems Service of INESC TEC.

Where are you now?

Every month INESC TEC sends highly qualified individuals into the market...

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC TEC offering grants, contracts and other opportunities of the same kind.

Biptoon

More scenes of how life goes merrily on...

Subscribe BIP
 
 

INESC TEC organises international conference on Formal Methods

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.