Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carolyn Talcott
conf.researchr.org general profile
ETAPS 2019 profile
FSEN 2025 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Fri 11 Sep 2020
Name:
Carolyn Talcott
Affiliation:
SRI International
Contributions
2025
FSEN
Author of Concurrent Rules Machines within the Marjan Festschrift-track
Committee Member in Festschrift Committee within the Marjan Festschrift-track
Committee Member in Program Committee
Session Chair of Session 1 (part of Marjan Festschrift)
Committee Member in Steering Committee
2023
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
2020
AGERE
Committee Member in Program Committee within the AGERE 2020-track
2019
AGERE
Committee Member in Program Committee within the AGERE 2019-track
HSB
Author of Fuzzy Matching in Symbolic Systems Biology within the HSB-track
2018
AGERE
Committee Member in Program Committee within the AGERE-track
Share
x
Sun 13 Jul 17:51