Professional Activities

Currenct Activities

Steering Committee Chair of

SEFM - International Conference on Software Engineering and Formal Methods

Program Co-chair of

FMIS 2OO7 - 1st International Workshop on Formal Methods for Interactive Systems

Guest Editor of

Special Issue on Formal Methods for Interactive Systems of the journal Innovations in Systems and Software Engineering

Special Issue on Theoretical Aspects of Computing of the journal Formal Aspects of Computing

Regional Representative for South-East Asia of

EASST - European Association of Software Science and Technology

Editorial Board Member for

ECEASST - Electronic Communications of the EASST

Organiser of

1st International School on Methodologies and Tools for Human-computer Interaction
(Rio de Janeiro, Brazil, 17-21 September 2007).

IFIP-UNU Advanced Course on Networking and Security
(Maputo, Mozambique, 9-20 July and 13-17 August 2007).

Steering Commitee Member of

SEFM - International Conference on Software Engineering and Formal Methods

QAPL - Workshop on Quantitative Aspects of Programming Languages

OpenCert - International Workshop on Fondations and Techniques for Open Source Software Certification

Program Commitee Member of

ICTAC 2OO7 - 4th International Colloquium on Theoretical Aspects of Computing

OpenCert 2OO7 - 1st International Workshop on Fondations and Techniques for Open Source Software Certification

ICSOFT 2OO7 - International Conference on Software Data Technologies

FMIS 2OO7 - 2nd International Workshop on Formal Methods for Interactive Systems

QAPL 2007 - 5th Workshop on Quantitative Aspects of Programming Languages

Tutorials

Model-checking in Human-computer Interaction
on 11 September 2007 in London at SEFM 2007

Memberships

FME - Formal Methods Europe

EASST - European Association of Software Science and Technology

TRain - The Railway Domain

Past Activities