6th International Symposium Formal Methods in Architecture at ETSAC

Por
.
– 23 Novembro, 2021Publicado en: avisos, conferencias, de interese, eventos, principal
The 6th International Symposium Formal Methods in Architecture (6FMA) will be held at ETSAC, between the 24th and the 27th of May 2022 (http://fma2022.archformalmethods.eu/). 

The call for abstracts deadline is the 30th of November (http://fma2022.archformalmethods.eu/index.php/call-for-papers/). Papers accepted for presentation at the 6FMA will be published by Springer. 

Keynote speakers – professors Pilar Chias Navarro, Sophia Psarra, Josep Muntañola and José Pinto Duarte – have been confirmed. (http://fma2022.archformalmethods.eu/index.php/keynote-speakers/).

—

O 6th International Symposium Formal Methods in Architecture (6FMA) vaise celebrar na ETSAC dos días 24 ao 27 de maio do 2022 (http://fma2022.archformalmethods.eu/). 

A data de peche da chamada a participantes é o vindeiro 30 de novembro  (http://fma2022.archformalmethods.eu/index.php/call-for-papers/).  Aquelas comunicacións seleccionadas para presentarse no 6FMA publicaranse pola editorial Springer.

O poñentes confirmados son Pilar Chias Navarro, Sophia Psarra, Josep Muntañola e José Pinto Duarte. (http://fma2022.archformalmethods.eu/index.php/keynote-speakers/).