Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Georgiana Caltais
conf.researchr.org general profile
Dutch Formal Methods Day 2024 profile
ETAPS 2019 profile
FSEN 2025 profile
NASA Formal Methods 2023 profile
POPL 2019 profile
STAF 2024 profile
Registered user since Tue 7 Aug 2018
Name:
Georgiana Caltais
Affiliation:
University of Konstanz
Personal website:
https://www.sen.uni-konstanz.de/members/research-staff/dr-georgiana-caltais/
Contributions
2023
NFM
Committee Member in Program Committee within the NFM 2023-track
2019
CREST
Co-chair in Program Committee within the CREST-track
OPCT
Author of Causal Reasoning for Safety within the OPCT 2019-track
Share
x
Thu 21 Nov 12:48