Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Service

I currently serve as a Graduate Student Advocate in the Cheriton School of Computer Science.

Program Committees, etc.

  • Editoral Board, Requirements Engineering Journal, 2017, 2016
  • ECMFA 2017: European Conference on Modelling Foundations and Applications), 2017
  • FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2017, 2016, 2015, 2014
  • International Conference on Fundamental Approaches to Software Engineering (FASE), 2016, 2014
  • Formal Verification for Practicing Engineers (FVPE), an ISSRE Workshop, 2016
  • International Workshop on Modelling in Automotive Software Engineering (MASE), a workshop of MODELS, 2015
  • ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2015
  • International Conference on Formal Methods for Open Object-based Distributed Systems and the 31th edition of the International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS & FORTE), 2011
  • IPM International Workshop on Foundations of Software Engineering (FSEN), 2007, 2005
  • International Workshop on Requirements Engineering Visualization (REV, a workshop of RE), 2009, 2008, 2007, 2006
  • IEEE International Conference on Requirements Engineering (RE), 2006
  • International Conference on Formal Methods in Computer Aided Design (FMCAD), 2004

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Wednesday 22nd of March 2017 11:45:33 AM