Nancy Day -

Registered user since Tue 14 Nov 2017

Name:Nancy Day

Country:Canada

Affiliation:University of Waterloo, Canada

Personal website: https://cs.uwaterloo.ca/~nday/

Research interests:formal methods; MDE; safety

Contributions

2025

ASE

PC Member in Research Papers within the Research Papers-track

Requirements Engineering

PC Member in Program Committee within the RE@Next! Papers-track

FormaliSE

Session Chair of Session 2 – Theorem Proving and Probabilistic Model Checking (part of Research Track)
Committee Member in Program Committee within the Research Track-track

2023

FormaliSE

Committee Member in Program Committee within the FormaliSE 2023-track

2022

FormaliSE

Committee Member in Program Committee within the FormaliSE 2022-track

2021

Requirements Engineering

Author of Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems within the Workshops-track

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

2020

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

FormaliSE

2018

FormaliSE

Committee Member in Program Committee within the FormaliSE 2018-track