Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martina Seidl
conf.researchr.org general profile
ETAPS 2019 profile
MODELS 2020 profile
POPL 2016 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
SPLASH 2010 profile
SPLASH 2022 profile
Not registered as user yet
Name:
Martina Seidl
Country:
Austria
Affiliation:
Johannes Kepler University Linz
Contributions
FTSCS 2022
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
VMCAI 2022
PC Member in Program Committee within the VMCAI 2022-track
VMCAI 2020
PC Member in Program Committee within the VMCAI 2020-track
MeTRiD 2019
Committee Member in Program Committee within the MeTRiD-track
VMCAI 2019
Committee Member in Program Committee within the VMCAI 2019-track
VMCAI
Committee Member in Program Committee
Share
x
Tue 30 May 10:41