Luís Soares Barbosa

Activities
Forthcoming events
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

SEFM 2019
PC member

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

Oslo, Norway

2019

TASE 2019
PC member

13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, July 29-31, 2019

Guilin, China

2019

ANT-19
PC member

10th International Conference on Ambient Systems, Networks and Technologies, April 29 - May 2, 2019

Leuven, Belgium

2019

ICEGOV 2019
PC member and Track Chair

12th International Conference on Theory and Practice of Electronic Governance, February 20 - 22 2019

Melbourne, Australia

2019

COORDINATION 2018
PC member

International Conference on Coordination Models and Languages, June 18 - 21 2018

Madrid, Spain

2018

MLCSB 2018
PC member

1st International Symposium on Molecular Logic and Computational Synthetic Biology, December 17 - 18 2018

Santiago de Chile, Chile

2018

FACS 2018
PC member

15th International Conference on Formal Aspects of Component Software, October 10-12

Pohang, Korea

2018

SEFM 2018
PC member

6th International Conference on Software Engineering and Formal Methods, SEFM 2018, June 27-29 2018

Toulouse, France

2018

SBMF 2018
PC member

21st Brazilian Symposium on Formal Methods, November 26-30

Salvador, Brazil

2018

FORTE’18
PC member

IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, June 18 - 21 2018

Madrid, Spain

2018

ICEGOV 2018
PC member

11th International Conference on Theory and Practice of Electronic Governance, April 3 - 6 2018

Galway, Ireland

2018

DTGS 2018
PC member

3rd Digital Transformation & Global Society, May 30 - June 1 2018

St. Petersburg, Russia

2018

FMI 2018
PC member

The 6th IEEE International Workshop on Formal Methods Integration, July 7 - 9 2018

Salt Lake City, Utah, USA

2018

ICFEM 2018
PC member

20th International Conference on Formal Engineering Methods, November 12 - 16 2018

Gold Coast, Australia

2018

REFINE 2018
PC member

2018 Refinement Workshop, July 18 2018

Madrid, Spain

2018

DataMod 2018
PC member

7th International Symposium "From Data to Models and Back", June 25 - 26 2018

Toulouse, France

2018

REMEDY 2018
PC member

Formal Models for Mastering Multifaceted Systems, October 24 - 25 2018

Toulouse, France

2018

ICEDEG 2018
PC member

5th International Conference on eDemocracy & eGovernment, April 24 - 26 2018

Quito, Ecuador

2018

INForum 2018
PC member

Simpósio de Informática, September 3 - 4 2018

Coimbra, Portugal

2018

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 I3E 2017 (16th IFIP Conference on e-Business, e-Services and e-Society, New Delhi, Novemeber, 2017), on Digital governance for sustainable development, and at KU International Workshop on Modeling, Analysis and Verification of Large-Scale Complex Systems (MAVeLoS 2017, Beijing, October, 2017), on monadic hybrid components.