Luís Soares Barbosa

Activities
Recent and forthcoming events
FORTE 2021
PC member

1st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, June 14-18, 2021

University of Malta, Valletta

2021

TASE 2021
PC member

The 15th International Symposium on Theoretical Aspects of Software Engineering, August 25-27, 2021

Shanghai, China.

2021

Q-SE 2021
PC member

Second International Workshop on Quantum Software Engineering, 1-2 June, 2021

Co-located with ICSE 2021 (virtual).

2021

FACS 2021
PC member

17th edition of the International Conference on Formal Aspects of Component Software, 28-29 October, 2021

(virtual)

2021

SEFM 2020
PC member

18th International Conference on Software Engineering and Formal Methods, SEFM 2020, September 14-17, 2020

Amsterdam, The Netherlands (virtual)

2021

ICFEM 2020
PC member

The 22st International Conference on Formal Engineering Methods, ICFEM 2020, March, 1-3, 2020

Singapore

2020

ICEGOV 2020
PC member and Track Chair

13th International Conference on Theory and Practice of Electronic Governance, April, 1-3, 2020

Athens, Greece

2020

TTCS 2020
Co-chair

The Third IFIP International Conference on Topics in Theoretical Computer Science, 1-3 July, 2020

Institute for Research in Fundamental Sciences (IPM), Tehran, Iran

2020

TASE 2020
PC member

14th International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, July 15-17, 2020

Hangzhou, China

2019

I am currently

  • serving in the Editorial Board of the Journal of Logical and Algebraic Methods in Computer Science, Elsevier.
  • chairing the Steering Committee of FACS (International Conference on Formal Aspects of Component Software)
  • and 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.