Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Catherine Dubois
conf.researchr.org general profile
FM 2026 profile
MODELS 2020 profile
MODELS 2021 profile
NASA Formal Methods 2023 profile
POPL 2018 profile
POPL 2026 profile
STAF 2023 profile
Registered user since Sat 9 Dec 2017
Name:
Catherine Dubois
Affiliation:
ENSIIE Paris-Evry
Contributions
2026
FM
Committee Member in Program Committee within the Research Track-track
Committee Member in Tutorial Track Committee within the Tutorials-track
CPP
Committee Member in Program Committee within the CPP 2026-track
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
Mon 13 Apr 00:31