Luís Soares Barbosa

Activities
Forcoming events
COORDINATION 2018
PC member

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

Madrid, Spain

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

MLCSB 2018
PC member

1st International Symposium on Molecular Logic and Computational Synthetic Biology, December 25 - 26 2018

Santiago de Chile, Chile

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. From 2013 to 2017 I represented Portugal in IFIP TC1 (the IFIP Technical Committee 1: Foundations of Computer Science).

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.