Researcher of
IKF
(Eureka project on Information and Knowledge Fusion, (2001-2005)
Participant of the Camila project on
Formal Specification and Prototyping (1990 - 1997).
Researcher and secretary of the
LogComp project on
Logic and Computation (1997 - 2000).
Coordinator of the PURe Project
on Program Understanding and Re-engineering: Calculi and Applications (2003-2006)
Coordinator of the MAP-i Doctoral Programme Executive Committee
(2006-2008)
Member of the
APPSEM-II (Tematic Network on Applied Semantics)
Portuguese Coordinator of the LerNet
Alfa Europe - Latin America
Joint PhD Program on Language Engineering and Rigourous Software Development
(2005-2008)
Researcher:IVY(FCT Project: A model-based usability analysis environment, 2005-08)
Coordinator: Portugal - P. R. China Grices Project
on Formal Models for Software Components, since 2005.
PC member of SBLP'03, Ouro Preto, Brasil, May 28-30, 2003
PC member of WSE'03 - Workshop on Software Engineering, CACIC, Univ. de La Plata, Argentina, 2003
PC member of FACS'03, co-located with FME, Pisa,
Italy, September 8-9, 2003
PC member of WMF'03, VI Brazilian Workshop on Formal Methods,
Campina Grande, Paraíba, Brasil,
October 13-14, 2003
PC member of SBLP'04, Niteroi, Brasil, May 26-28, 2004
PC member of ICTAC'04, First International Colloquium on Theoretical Aspects
of Computing, Guiyang, China, 20-24 Sep., 2004
PC member of SBMF'04, 7th Brazilian Symposium on Formal Methods, Recife, Brasil, 29 Nov - 1 Dec., 2004
Member of the Evaluation Board of XI Concurso CLEI - UNESCO (Teses de Maestria en Informatica
Latinoamericanas), August 2004.
PC member of SBLP'05, Recife, Brasil, May 23-25, 2005
PC co-chair of FACS'05,
(2nd Inter. Workshop on Formal Aspects of Component Software), Macau, 24-25 October 2005
PC member of SBMF'05
(Brazilian Symp. on Formal Methods), Porto Alegre, Brasil, 28-30 Nov 2005
PC member of FACS'06
(3rd Inter. Workshop on Formal Aspects of Component Software), Prague, Check Republic,
20-22 Sep 2006
PC member of SBMF'06
(Brazilian Symp. on Formal Methods), Natal, Brasil, 18-20 Sep 2006
PC member of FOCLASA'06
(5th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Bonn, Germany, 31 August 2006
PC member of ICFEM'06
(8th Inter. Conf. on Formal Engineering Methods), Macau, 30 Oct - 3 Nov 2006
PC co-chair of Overture'06
(2nd Overture Workshop), at FM'06, McMaster University, Hamilton, Ontario, Canada, 21 August 2006
PC member of AMAST'06
(11th Inter. Conf. on Algebraic Methodology and Software Technology), Kuressaare, Estonia, 5-8 Jul 2006
PC member of Coordination 2006
(8th Inter. Conf. on Coordination Models and Languages), Bologna, Italy, 14-16 Jun 2006
PC member of SBLP'06
(10th Brazilian Symp. on Programming Languages), Itatiaia, Rio de Janeiro, Brasil, 15-17 May 2006
PC member of CMCS'06
(8th Inter. Workshop on Coalgebraic Methods in Computer Science), Vienna, Austria, 25-27 Mar 2006
PC member of TTSS'07
(1th Inter. Workshop on Harnessing Theories for Tool Support in Software), Macau, China,
22-23 Sep 2007
PC member of FACS'07
(4th Inter. Workshop on Formal Aspects of Component Software), Sophia-Antipolis, France,
19-21 Sep 2007
PC member of SYANCO'07
(Inter. Workshop on Synthesis and Analysis of Component Connectors), Dubrovnik, Croatia,
3-4 Sep 2007
PC member of FOCLASA'07
(6th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Lisbon, Portugal, September 2007
PC member of SBMF'07
(Brazilian Symp. on Formal Methods), Ouro Preto, Brasil, August 2007
PC member of QAC 2007,
(First International Workshop on Quality Aspects of Coordination),
Shangai, China, 4-5 June 2007
PC member of SBLP'07
(Brazilian Symp. on Programming Languages), Natal, Brasil, May 2007
PC co-chair of OpenCert'07,
(1st Inter. Workshop on Foundations and Techniques for Open Source Software Certification),
at ETAPS'07, Braga, 24-25 March 2007
PC member of FInCo'07,
(2nd Inter. Workshop on Foundations of Interactive Computation),
at ETAPS'07, Braga, 24-25 March 2007
Satellite Events Co-Chair of ETAPS'07
(European Joint Conferences on Theory and Practice of Software), Braga, Portugal, 24 Mar - 1 Apr 2007
PC member of SEFM'08
(6th IEEE Inter. Conf. on Software Engineering and Formal Methods), Cape Town, South Africa,
10-14 Nov 2008
PC member of FACS'08
(5th Inter. Workshop on Formal Aspects of Component Software), Malaga, Spain,
10-12 Sep 2008
PC member of SBMF'08
(Brazilian Symp. on Formal Methods), Bahia, Brasil, 26-29 August 2008
PC member of SBLP'08
(Brazilian Symp. on Programming Languages), Fortaleza, Brasil, 27-29 August, 2008
PC member of FOCLASA'08
(7th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Reykjavik, Iceland, July 13th, 2008
PC member of TTSS'08
(2th Inter. Workshop on Harnessing Theories for Tool Support in Software), Nanjing, China,
15-16 June 2008
PC member of SEFM'09
(7th IEEE Inter. Conf. on Software Engineering and Formal Methods), Hanoi, Vietnam,
23-27 Nov 2009
PC member of FACS'09
(6th Inter. Workshop on Formal Aspects of Component Software), Eindhoven, The Netherlands,
2-3 November 2009
PC member of FOCLASA'09
(9th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Rhodes, Greece, 11 July 2009
PC member of SBLP'09
(XIII Brazilian Symp. on Programming Languages), Gramado, RS, Brazil,
19-21 August 2009
PC member of SBMF'09
(Brazilian Symp. on Formal Methods), Gramado, RS, Brazil,
19-21 August 2009
PC member of FInCo'09,
(3rd Inter. Workshop on Foundations of Interactive Computation),
at ETAPS'09, York, 29 March 2009
PC co-chair of OpenCert'09,
(3rd International Workshop on Foundations and Techniques for
Open Source Software Certification),
at ETAPS'09, York, 28 March 2009
PC member of SBMF'10
(13th Brazilian Symp. on Formal Methods), Natal, Brazil,
8-12 November 2010
PC member of SBLP'10
(XIV Brazilian Symp. on Programming Languages), Salvador - Bahia, Brazil,
27-29 October, 2010.
PC co-chair of FACS'10
(7th Inter. Workshop on Formal Aspects of Component Software), Guimaraes, Portugal,
14-16 October 2010.
PC member of SEFM'10
(8th IEEE Inter. Conf. on Software Engineering and Formal Methods), Pisa, Italy,
20-24 Sep 2010
PC co-chair of OpenCert'10,
(4th International Workshop on Foundations and Techniques for
Open Source Software Certification),
Pisa, Italy, 17-18 September, 2010.
PC co-chair of Inforum'10
(2th Portuguese Forum for Informatics), UM, Braga, Portugal, 9-10 Sep 2010
PC member of FOCLASA'10
(9th Inter. Workshop on the Foundations of Coordination Languages and Software Architectures),
Paris, France, 4th September, 2010.
OC member of ICPC'10
(18th IEEE International Conference on Program Comprehension), Braga, Portugal,
30 June - 2 July 2010
PC member of CMCS'10
(10th International Workshop on Coalgebraic Methods in Computer Science), Paphos, Cyprus,
26-28 Mar 2010