conf.researchr.org / Ana Cavalcanti
Ana Cavalcanti

Registered user since Tue 1 Oct 2019

Name:Ana Cavalcanti
Country:United Kingdom
Affiliation:University of York
Personal website:https://www-users.cs.york.ac.uk/~alcc/

Contributions

FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
FASE 2019 Committee Member in Program Committee within the FASE 2019-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track
GPCE 2017 Author of Avoiding Useless Mutants within the GPCE 2017-track