Luís Soares Barbosa

Activities
Recent and forthcoming events
Q-SE 2020
PC member

First International Workshop on Quantum Software Engineering, 24-26 May, 2020

Co-located with ICSE 2020, Seoul, South Korea.

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

ICEGOV 2020
PC member and Track Chair

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

Athens, Greece

2020

ICFEM 2019
PC member

The 21st International Conference on Formal Engineering Methods, ICFEM 2019, November 5-9, 2019

Shenzhen, China

2019

DALÍ 2019
PC co-chair

2nd Workshop on Dynamic Logic: New Trends and Applications, DALÍ 2019, October 11, 2019

Porto, Portugal

2019

FM 2019
PC member

23rd International Symposium on Formal Methods, October 7 - 11 2019

Porto, Portugal

2019

QST
SC member

Quantum Science and Technologies, nanoGateway International Conference 2019, October 22-24, 2019

INL, Braga, Portugal

2019

Refine 2019
PC member

Refinement Workshop Series, October 11, 2019

Porto, Portugal

2019

SEFM 2019
PC member

17th International Conference on Software Engineering and Formal Methods, SEFM 2019, September 16-20, 2019

Oslo, Norway

2019

SmartGov 2019
PC co-chair

First International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2019, December, 4-6, 2019

Braga, Portugal

2019

OpenCert 2019
PC co-chair

9th Int. Workshop on Open Community approaches to Education, Research and Technology, OpenCert 2019, October, 8, 2019

Porto, Portugal

2019

I am a member of the Steering Committee of FACS (International Conference on Formal Aspects of Component Software) and ICEGOV (International Conference on Theory and Practice of Electronic Governance) conference series. I have served on several programme committees and as guest editor for Science of Computer Programming, Jour. Logic and Algebraic Methods in Computer Science, Government Information Quarterly, Springer Tutorial LNCS, and ACM.

In June 2017, with Gilles Barthe, Joost-Pieter Katoen, Renato Neves, and Alexandra Silva, I organised the 1st Summer School on Foundations of Programming and Software Systems on probabilistic programming, in Soutelo.

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.