11, June 2024 - 90 professors and researchers at UMinho in solidarity with Gaza
An open letter to the Rector and the University General Council asking the University to take a public and unequivocal stance against the ongoing genocide, and suspend all cooperation with the state of Israel and with all Israeli companies and academic institutions that in any way contribute to the occupation, terror and the gross violation of international humanitarian law.
(pdf, in PT)
15, May 2024 - Invited Talk at BEB Days, Coimbra University
Talk at
BEB Day 2024 (Doctoral Program on Experimental Biology and Biomedicine) on
What is Quantum Computing and Why
We Should Care.
19-20, October 2023 - FACS 2023
Invited Talk on Paraconsistent components at FACS 2023 in the context of FACS 20th Anniversary.
The first FACS workshop, which initiated the long Formal Aspects of Component Software conference series was held in Pisa, in 2003, twenty years ago.
13 - 14, September 2023 - WADGOV Forum, Banjul
The West Africa Digital Governance Forum met in Bajul, The Gambia, for the first time, organised by
UNU-EGOV and the Gambia Government, supported by UN ECA.
5 - 6, August 2023 - IFIP WG 1.3 Meeting at ETAPS, Paris.
Keynote talk at AILA'2023, the AI Logics and Applications International Conference hosted by Jilin University, in Changchun, China.
Slides here.
21 - 28, May 2023 - UNU Mission to Palestine
UNU-EGOV mission to Palestine to plan possible cooperation in the area of Digital Governance, and discuss the LOSI assessment made.
24-25, April 2023 - IFIP WG 1.3 Meeting at ETAPS, Paris.
My original IFIP Working Group on Foundations of Systems Specification, IFIP WG1.3 met at ETAPS'2023, Paris, Campus Pierre & Marie Curie, Sorbonne Université. I gave a talk on Paraconsitent modal logics.
28, December 2022 - MSc dissertation in Physics Enginnering concluded:
Gilberto Cunha: Quantum Bayesian Reinforcement Learning (28 December)
17-21, October 2022 - UNU Mission to Cabo Verde
Field work to prepare the Action Plan for the implementation of the National Digital Governance Strategy
27, May 2022 - A New Doctor: Carlos Tavares concluded a PhD on Computer Science (MAP-i)
with a thesis on "Foundations for quantum algorithms and complexity".
Congratulations, Carlos!
8, April 2022 - A New Doctor: Leandro Gomes concluded a PhD on Computer Science (MAP-i)
with a thesis on "Weighted computations: Semantics and program logics".
Congratulations, Leandro!
15, January 2022 - Talk at A. Baltag's Anniversary Workshop
The talk, entitled Paraconsistent transition systems and their logics, will be available from the event webpage Exploring Baltag's Universe
24, December 2021 - Relected Chair of IFIP TC1
Relected for a second term as chair of
IFIP TC1, the Technical Committee on Foundations of Computer Science.
3, December 2021 - MSc dissertation in Physics Enginnering concluded:
Ana Luzia Cruz: Exploring paraconsistent logics for quantum programs (3 December)
20, October 2021 - Two new MSc dissertation in Physics Enginnering concluded:
Paulo Ribeiro: Regular expressions for timed automata (20 October)
Bernardo Faria: Combining paraconsistent and dynamic logic for Qiskit (20 October)
26, September 2021 - New paper
Paper accepted: Quantum Tree-Based Planning, with André sequeira and Luis Paulo Santos. IEEE Access, 9: 125416--125427. 2021.
20, October 2021 - A new MSc dissertation in Physics Enginnering concluded:
Jaime Santos: Quantum random walks (20 September)
27, August 2021 - New paper
Paper accepted: Towards a specification theory for fuzzy modal logic, with Manisha Jain, Leandro Gomes and Alexandre Madeira. Proc. TASE 2021 (International Symposium on Theoretical Aspects of Software Engineering), IEEE: 175-182. 2021.
22, February 2021 - New paper
Paper accepted: Generalised quantum tree search, with André Sequeira and Luis Paulo Santos. Proc. Q-SE 2021, Second International Workshop on Quantum Software Engineering at ICSE 2021. IEEE, 2021.
14, January 2021 - A new MSc dissertation in Physics Enginnering concluded:
André Sequeira: Quantum-enhanced reinforcement learning (14 January)
2, September 2020 - TTCS post-proceedings published
The post-proceedings for TTCS'2020, the IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, I co-edited with M. Ali Abam, appeared at Springer, as LNCS 12281.
29, July 2020 - Two MSc dissertations in Physics Enginnering concluded:
Sofia Oiveira: Flexible molecular alignment: An industrial case study on quantum algorithmic techniques (29 July)
José Diogo Guimarães: Simulation of Quantum Biology: Quantum simulation of photosynthesis (6 July)
15, February 2020 - A New Doctor: Daniel Figueiredo concluded a PhD on Maths
with a thesis on "Logic foundations and computational tools for synthetic biology", partly developed in the context of the KLEE project.
Congratulations, Daniel!
20, January 2020 - DaLí post-proceedings published
The post-proceedings for DaLí 2019, the second international workshop on Dynamic Logic, I co-edited with Alexandru Baltag, appeared at Springer, as LNCS 12005.
, 17, January 2020 - Strategy for Digital Governance for S. Tomé e Princípe
First version of the National Strategy for Digital Governance for S. Tomé e Princípe concluded, by a team I lead from UNU-EGOV and INIC (further details here)
20, December 2019 - Two MSc dissertations in Physics Enginnering concluded:
Michael Oiveira: On quantum Bayesian networks (18 December)
Vítor Fernandes: Integration of time in a quantum process algebra (20 December)
18, October 2019 - Jubilation ceremony José Manuel Esgalhado Valença
Quotying from the preface to the JLAM Special Issue:
A tribute to a professor, in the deepest sense of the word, a colleague and a
friend, but above all to a long and inspiring academic journey that has so profoundly shaped the
development of Informatics as a scientific area in Portugal. A scientific area that, as he taught
us, needs to be understood broadly: not only as an independent research domain, but also as an
educational pilar, a strategy for social and economic development, a foundation for a multifaceted
professional career.
Link for the JLAMP Special Issue.
11, September 2019 - MSc Physics Engineering
Step down as Director of Studies for the MSc on Physics Engineering at UMinho, on copmpletion of a two-years mandate. The degree performed excepetionally well wrt to new admissions: although the number of places raised to 35, the minimum access mark in the 2019 national contest for our degree also raised to 16.72 (out of 20). Moreover, we received the student with a highest classification to join the University in 2019 - Hélder Martins (19.66). I am most grateful to all students, lecturers and administrative staff for their support along this journey.
24-28, June 2019 - UNU Mission to S. Tomé e Princípe
UNU-EGOV Mission to S. Tomé e Princípe, following up an invitation of the Government to support the design of the National Strategy for Digital Governance.
6, May 2019 - Keynote lecture on Coalgebraic Logic at EBL'2019
Keynote speaker at EBL'2019, the 19th Brazilian Logic Conference, 6-10 May, Joao Pessoa, Brazil --- speaking on "What coalgebra can do for you?"
11-12, April 2019 - Quantum activities
Organization of the Quantum Days, a joint CMAT and INESC TEC innitiative. Along March and April, I dave talks on Quantum Computation at CEiiA (6 March), OET (22 March), and CIONET (23 April).
2, April 2019 - Two new papers on digital transformation
At ICEGOV'2019, with Nuno Carvalho, "Deep learning powered question-answering framework for organizations digital transformation", ACM (in print).
At DTGS'2019, with Ali Al-Lawati, "A framework for intelligent policy decision making based on a government data hub", Springer LNCS (in print).
28, February 2019 - At CWI, Amsterdam, for Jan Rutten's workshop and dinner
7, February 2019
At the intercalar meeting of the Gulbenkian Fellowship Programme on "New Talents in Quantum Tecnhologies".
12, November 2018 - 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 2018 - 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 2018 - 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 2018 - 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.
16, July 2018 - 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.
6-7, July 2018
IFIP WG 1.3 meeting at Royal Holloway, London.
22, June 2018 - 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!
22, April 2018
Representing UNU-EGOV in the meeting of the Director Committee for PASP-TL, in Praia, Cabo Verde.
4, April 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.
