Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015) The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings …
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab SDL FORUM 2015 (SDL 2015) The SDL Forum is held every 2 years and is one of the most important open events in the calendar for anyone from industry and academia involved in System Design Languages and modelling technologies. It is a primary conference …
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TNC18 – Intelligent networks, cool edges? Laura Panizo presents the EuWireless project poster in TNC18 on Monday 11th and Tuesday 12th of June 2018 in Trondheim, Norway.More information on the conference schedule and the EuWireless poster can be found from the event website. 11-12 June 2018 – Norway
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab SPIN 2018 The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on …
Morse Reseach group Home Members Projects Publications Activities Tools Morse Lab TNC 2019 Forging Digital Societies Victoriano Giralt (UMA) and Álvaro Martín Heredia participates in the session entitle ” 5G: pan-European mobile research capabilities” that presents differente talks about future mobile networks and the EuWireless project. Website 16-20 June 2019 – Estonia
