INESC TEC
HASLab INESC TEC and Universidade do Minho
Portugal Research topics: Program semantics and calculi;
Software components and architectures (composition, reconfiguration and verification);
Coalgebra;
Modal and hybrid logic.
(updated at 2019-12-09)
http://www.di.uminho.pt/~lsb