Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Service

Current Service

Past Program Committees/Service

  • Program Chair, FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2019
  • FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2018--2014
  • ECMFA 2017: European Conference on Modelling Foundations and Applications), 2017
  • 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-2006
  • IEEE International Conference on Requirements Engineering (RE), 2006
  • International Conference on Formal Methods in Computer Aided Design (FMCAD), 2004

Selected Past University Service

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

Last modified on Friday 17th of July 2020 11:33:15 AM