Luís Soares Barbosa

Activities
Recent and forthcoming events
FM 2024
PC member

26th International Symposium on Formal Methods

Milan, Italy.

2024

ICTAC 2024
PC member

21st edition of International Colloqium on Theoretical Aspects of Computing, 25-29 November, 2024

Bangkok, Thailand

2024

AILA 2924
PC co-chair

4th International Conference on Artificial Intelligence Logic and Applications, 10-11 August 2024

Lanzhou, China

2024

FACS 2024
PC member

20th edition of the International Conference on Formal Aspects of Component Software, 9-10 Septemebr, 2024

Milan, Italy

2024

IEEE QSW 2024
PC member

IEEE International Conference on Quantum Software

Shenzhen, China

2024

QCTip 24
PC member

Quantum Computing Theory in Practice, 16th–18th April 2024

Edinburgh, Scotland

2024

ICEGOV 2024
SC member

17th International Conference on Theory and Practice of Electronic Governance, 1-4 October, 2024

Pretoria, South Africa

2024

I am currently

  • serving in the Editorial Board of the Journal of Logical and Algebraic Methods in Computer Science, Elsevier.
  • chairind the Steering Committee of FACS (International Conference on Formal Aspects of Component Software)
  • and DaLi (Dynamic Logic: new trends and applications) conference series.
  • I am also a member of the Steering Committee of ICEGOV (International Conference on Theory and Practice of Electronic Governance) conference series.
Recent Keynote Lectures delivered at EBL 2019 (19th Brazilian Logic Conference, João Pessoa, May, 2019), on What coalgebra can do for you?, and at I3E 2017 (16th IFIP Conference on e-Business, e-Services and e-Society, New Delhi, November, 2017), on Digital governance for sustainable development, and KU International Workshop on Modeling, Analysis and Verification of Large-Scale Complex Systems (MAVeLoS 2017, Beijing, October, 2017), on monadic hybrid components.