Jim Davies: External Roles
FM 2009: 16th International Symposium on Formal Methods (2nd World Congress on Formal Methods)
Programme Committee
iFM 2009: Integrated Formal Methods
Programme Committee
ICFEM 2008: International Conference on Formal Engineering Methods
Programme Committee
SBMF 2008: Brazilian Formal Methods Symposium
Programme Committee
ICTAC 2008: International Colloquium on Theoretical Aspects of Computing
Programme Committee
EGOV 2008
Programme Committee
TASE 2008: 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering
Programme Co-chair
ICECCS 2008: 13th IEEE International Conference on Engineering of Complex Computer Systems
Programme Committee
ICEGOV 2007: 1st International Conference on the Theory and Practice of Electronic Governance
Programme Committee, Workshop Chair
ICFEM 2007: International Conference on Formal Engineering Methods
Programme Committee
ICTAC 2007: International Colloquium on Theoretical Aspects of Computing
Programme Committee
SBMF 2007: Brazilian Formal Methods Symposium
Programme Committee
ICECCS 2007: 12th IEEE International Conference on the Engineering of Complex Computer Systems
Programme Committee
TASE 2007: 1st IEEE International Symposium on Theoretical Aspects of Software Engineering
Programme Committee
iFM 2007: Integrated Formal Methods
General Chair
ICFEM 2006: International Conference on Formal Engineering Methods
Programme Committee
ICTAC 2006: International Colloquium on Theoretical Aspects of Computing
Programme Committee
SBMF 2006: Brazilian Formal Methods Symposium
Programme Committee
ICFEM 2005: International Conference on Formal Engineering Methods
Programme Committee
SBMF 2005: Brazilian Formal Methods Symposium
Programme Committee
iFM 2005: Integrated Formal Methods
Programme Committee
SBMF 2004: Brazilian Formal Methods Symposium
Programme Committee
ICFEM 2004: International Conference on Formal Engineering Methods
Programme Co-chair
iFM 2004: Integrated Formal Methods
Programme Committee
ICFEM 2003: International Conference on Formal Engineering Methods
Programme Committee
ASM 2003: Abstract State Machines
Programme Committee
ICFEM 2002: International Conference on Formal Engineering Methods
Programme Committee
iFM 2002: Integrated Formal Methods
Programme Committee
iFM 2000: Integrated Formal Methods
Programme Committee
AMAST 2000: Algebraic Methods and Software Technology
Programme Committee
FM 99: International Symposium on Formal Methods (1st World Congress on Formal Methods)
Programme Committee
ICEGOV 2008: 2nd International Conference in the Theory and Practice of Electronic Government, Cairo
Programme Committee and Workshops Chair
ICEGOV 2009: 3rd International Conference on the Theory and Practice of Electronic Governance, Bogota
Programme Co-chair
ICECCS 2010: 15th IEEE International Conference on Engineering of Complex Computer Systems
Programme Committee
ICDCIT 2010: 6th International Conference on Distributed Computing and Internet Technology
General Co-Chair
ICFEM 2009: International Conference on Formal Engineering Methods
Programme Committee
FASE 2009: Fundamental Approaches to Software Engineering (ETAPS)
Programme Committee
SBMF 2009: Brazilian Formal Methods Symposium
Programme Committee
SEFM 2009: 7th IEEE International Conference on Software Engineering and Formal Methods
Programme Committee
TASE 2009: 3rd International Symposium on the Theoretical Aspects of Software Engineering
Programme Committee
SMBF 2010: Brazilian Symposium on Formal Methods
Programme Co-chair
ICEGOV 2010
Programme Co-chair