Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. About Us
  3. People
  4. Faculty
  5. Jim Davies
  6. External roles

Jim Davies: External roles

SBMF 2012: Brazilian Symposium on Formal Methods, Natal
Programme Committee, Steering Group

IFM 2012: Integrated Formal Methods
Programme Committee

RAISE 2012: Realising AI Synergies in Software Engineering, Zurich
Programme Committee

ICEGOV 2012: International Conference in Electronic Governance, Albany
Programme Committee

ICECCS 2012: Engineering Complex Computer Systems
Programme Committee

EGOV 2012: IFIP Electronic Government
Programme Committee

SBMF 2011: Brazilian Symposium on Formal Methods, Sao Paulo
Programme Committee, Steering Group

ICTSS 2011: International Conference on Testing Software and Systems
Programme Committee

EGOV 2011: IFIP Electronic Government
Programme Committee

ICTAC 2011: Theoretical Aspects of Computing
Programme Committee

SEHC 2011: Software Engineering in Health Care
Programme Committee

ICEGOV 2011: International Conference in Electronic Governance
General Chair

OpenCert 2010: Open Source Software Certification
Programme Committee

SEFM 2010: Software Engineering and Formal Methods
Programme Committee

EGOV 2010: IFIP Electronic Government
Programme Committee

ICTAC 2010: Theoretical Aspects of Computing
Programme Committee

TASE 2010: Theoretical Aspects of Software Engineering
Programme Committee

ICFEM 2010: Formal Engineering Methods
Programme Committee

SMBF 2010: Brazilian Symposium on Formal Methods
Programme Co-chair

ICEGOV 2010: International Conference in Electronic Governance
Programme Co-chair

ICDCIT 2010: 6th International Conference on Distributed Computing and Internet Technology
General Co-Chair

SBMF 2009: Brazilian Formal Methods Symposium
Programme Committee

ICECCS 2010: 15th IEEE International Conference on Engineering of Complex Computer Systems
Programme Committee

ICFEM 2009: International Conference on Formal Engineering Methods
Programme Committee

TFM 2009: Teaching Formal Methods
Programme Committee

ICEGOV 2009: International Conference on the Theory and Practice of Electronic Governance, Bogota
Programme Co-chair

FASE 2009: Fundamental Approaches to Software Engineering (ETAPS)
Programme Committee

TASE 2009: 3rd International Symposium on the Theoretical Aspects of Software Engineering
Programme Committee

SEFM 2009: 7th IEEE International Conference on Software Engineering and Formal Methods
Programme Committee

FM 2009: 16th International Symposium on Formal Methods (2nd World Congress on Formal Methods)
Programme Committee

iFM 2009: Integrated Formal Methods
Programme Committee

SBMF 2008: Brazilian Formal Methods Symposium
Programme Committee

ICEGOV 2008: 2nd International Conference in the Theory and Practice of Electronic Government, Cairo
Programme Committee and Workshops Chair

TASE 2008: 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering
Programme Co-chair

EGOV 2008
Programme Committee

OpenCert 2008: Foundations and Techniques for Open Source Software Certification
Programme Committee

ICFEM 2008: International Conference on Formal Engineering Methods
Programme Committee

ICTAC 2008: International Colloquium on Theoretical Aspects of Computing
Programme Committee

ICECCS 2008: 13th IEEE International Conference on Engineering of Complex Computer Systems
Programme Committee

SBMF 2007: Brazilian Formal Methods Symposium
Programme Committee

TASE 2007: 1st IEEE International Symposium on Theoretical Aspects of Software Engineering
Programme Committee

ICEGOV 2007: 1st International Conference on the Theory and Practice of Electronic Governance
Programme Committee, Workshop Chair

iFM 2007: Integrated Formal Methods
General Chair

ICFEM 2007: International Conference on Formal Engineering Methods
Programme Committee

ICTAC 2007: International Colloquium on Theoretical Aspects of Computing
Programme Committee

SBMF 2006: Brazilian Formal Methods Symposium
Programme Committee

ICECCS 2007: 12th IEEE International Conference on the Engineering of Complex Computer Systems
Programme Committee

ICTAC 2006: International Colloquium on Theoretical Aspects of Computing
Programme Committee

SBMF 2005: Brazilian Formal Methods Symposium
Programme Committee

ICFEM 2006: International Conference on Formal Engineering Methods
Programme Committee

iFM 2005: Integrated Formal Methods
Programme Committee

ICFEM 2005: International Conference on Formal Engineering Methods
Programme Committee

SBMF 2004: Brazilian Formal Methods Symposium
Programme Committee

iFM 2004: Integrated Formal Methods
Programme Committee

ICFEM 2004: International Conference on Formal Engineering Methods
Programme Co-chair

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

About Us

Back to Top