Representing UNU-EGOV in the meeting of the Director Committee for PASP-TL, in Praia, Cabo Verde.
New project approved DaVinci - Distributed architectures: Variability and interaction for cyber-physical systems. Funding: FCT; Partner: HASLab (ARCA) at INESC TEC; Budget: 239K€; Starting date: 1 July 2018.
Pannelist at the "Public sector ICT and modernisation in Sub-Saharan Africa" at ICEGOV 2018. Key objective of the session was to highlight the potential of ICT as a tool, linking vision, strategy, action plans, active monitoring, measurement, and sustainable business models.
Paper published: A logic for the stepwise development of reactive systems, with Alexandre Madeira, Manuel Martins, and Rolf Hennicker Theoretical Comp. Sci. (in print).
Paper published: Languages and models for hybrid automata: A coalgebraic perspective, with Renato Neves Theoretical Comp. Sci. (in print).
New project approved KLEE - Coalgebraic modeling and analysis for computational synthetic biology, in the first round of FCT call. Partners: HASLab (ARCA) at INESC TEC, and CIDMA, at Aveiro University; Budget: 238K€; Starting date: 1 June 2018.