18, December - New paper
Paper published: Reactive models for biological regulatory networks, with Daniel Figueiredo. Springer LNCS (in print).
17-18, December - at MLCSB18, Santiago de Chile.
Presented a paper at MLCSB18 - International Symposium on Molecular Logic and Computational Synthetic Biology, the first international conference co-promoted by the KLEE - Coalgebraic modeling and analysis for computational synthetic biology project.
3-6, December - at UN DESA Expert Group Meeting, New York
Joined the Expert Group Meeting on Role of public institutions on the transformative impact of new technologies, United Nations Headquarters, New York.
30, November - New paper
15-17, November - at CCC'18, New Delhi
Keynote lecture on "The impact of quantum technologies" and panelist on a debate on "Artificial Intelligence, Privacy and Data Protection", at the International Conference on Cyberlaw, Cybercrime, and Cybersecurity, New Delhi.
12, November - A New Doctor in the group: Guillermina Cledou concluded a PhD on "A Virtual Factory for Smart City Service Integration"
With a PhD thesis on "A Virtual Factory for Smart City Service Integration", Guillermina Cledou became a new doctor in the group. Erik de Vink, and Marijn Janssen, served as main opponents in the jury. Congratulations, Guille!
5, November - A New MSc in the group: Afonso Rodrigues concluded a MSc in Physics Engineering with a dissertation "Validation of Quantum Simulations"
For his dissertation Afonso won a New Talents in Quantum Tecnhologies Gulbenkian Fellowship, a quite prestigiuos and competitive programme. Congratulations, Afonso!
30, October - Michael Oliveira won a Gulbenkian Fellowship "New Talents in Quantum Tecnhologies"
Michael is a 5th year student in Physics Engineering, starting a MSc dissertation on "Quantum Bayesian Networks" under my supervision. The New Talents in Quantum Tecnhologies Gulbenkian Fellowship is a higly prestigious programme for undergraduate studets in this exciting area. Well done Michael!
29, October - Representing the Portuguese MCTES in the launching of the Quantum Flagship in Wien
A festive, most relevant event for the Quantum Technologies community in Europe. I represented Minister Manuel Heitor in the high level policy debate on perspectives for Quantum Technologies in Europe.
15, October - First MSc dissertation on Quantum Computation in the group.
Ana Neri defended her MSc dissertation in Physics Engineering entitled "Towards Quantum Program Calculation", jointly supervised by José Nuno Oliveira (UMinho) and Rui Soares Barbosa (Oxford). Congratulations, Ana!
16, July - New paper
Paper published: On infinitary equational hybrid logic, with Manuel Martins, and Alexandre Madeira, as a chapter in "Aftermath of the Logical Paradise", Beziau, J-Y.; Costa-Leite, A; D'Ottaviano, I. M. L. (eds), CLEF, vol 81, pp 173-202. 2018.
IFIP WG 1.3 meeting at Royal Holloway, London.
Representing UNU-EGOV in the IBEI-CEPAL-CAF Summer School on Digital Transformation for Latin America, Barcelona.
22, June - A New Doctor in the group: Renato Neves concluded a PhD on "Hybrid Programs"
With a PhD thesis on "Hybrid Programs", Renato Neves became the youngest doctor in the group. The jury pointed out his work as an outstanding contribution, denoting a comprehensive knowledge and solid mathematical maturity. E.-E. Doberkat, Tarmo Uustalu, served as main opponents in a jury which also included Marcello Bonsangue, Gabriel David, Jose Nuno Oliveira and myself. Well done, Renato!
25, May - Farhahd Arbab Festschrift at CWI, Amsterdam
Paper published: A note on reactive transitions and Reo connectors, with Daniel Figueiredo and Manuel Martins. in "It's All About Coordination" ---Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, Springer LNCS, 10865. 2018
Representing UNU-EGOV in the meeting of the Director Committee for PASP-TL, in Praia, Cabo Verde.
6, April - New funded project
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.
Panelist 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).
20, February - New paper
Paper published: Languages and models for hybrid automata: A coalgebraic perspective, with Renato Neves Theoretical Comp. Sci. (in print).
10, February - New funded project
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.