Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Catherine Dubois
conf.researchr.org general profile
MODELS 2020 profile
MODELS 2021 profile
NASA Formal Methods 2023 profile
POPL 2018 profile
STAF 2023 profile
Registered user since Sat 9 Dec 2017
Name:
Catherine Dubois
Affiliation:
ENSIIE Paris-Evry
Contributions
2023
STAF
Committee Member in Workshop Evaluation Committee within the Workshop Proposals-track
TAP
Session Chair of TAP Session 3: Formal Models (part of Research Papers)
NFM
Committee Member in Program Committee within the NFM 2023-track
2021
MODELS
Educators Symposium Chairs in Organizing Committee
Chair in Chairs within the Educators Symposium-track
2020
MODELS
Committee Member in Program Committee within the Educators Symposium-track
2018
Off the Beaten Track
Keynote Speaker of Keynote: Programming and proving with FoCaLiZe: a tour from computer algebra to interoperability applications within the Off the Beaten Track 2018-track
Share
x
Sat 21 Dec 19:39