Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

Service

Current Service

Past Program Committees/Service

  • Review Board IEEE Transactions on Software Engineering (2018-2023)
  • International Symposium on Formal Methods (FM), 2023
  • FME Workshop on Formal Methods in Software Engineering (FormaliSE) (co-located with ICSE), 2022
  • Section Chair, NSERC Discovery Grants Program Computer Science Evaluation Group (EG 1507) (2021 - 2022)
  • Member, NSERC Discovery Grants Program Computer Science Evaluation Group (EG 1507) (2019 - 2021)
  • Program Chair, FME Conference on Formal Methods in Software Engineering (FormaliSE), 2020
  • FME Conference on Formal Methods in Software Engineering (FormaliSE), 2021-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

  • Member, UW NSERC Research Incentive Funds (RIF) Committee (2020 - 2022)
  • UW CS Women in Computer Science Committee (WICS) (Jul 2019 - Jun 2023)
  • UW CS Graduate Student Advocate (Sep 2016 - Jul 2019)
  • Member, Steering committee for the development of an annual graduate and postdoctoral student conference as part of UW's involvement in the UN Women's HeForShe campaign and IMPACT 10x10x10 (Sep 2015 - Aug 2018)

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

Last modified on Friday 5th of January 2024 12:27:26 PM