Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Service

Current Service

Past Program Committees

  • FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2018, 2017, 2016, 2015, 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, 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 26th of September 2018 12:00:10 PM