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
2022
FTSCS
Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2020
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
MeTRiD
Committee Member in Program Committee within the MeTRiD-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
2016
VMCAI
Committee Member in Program Committee
Share
x
Tue 3 Dec 18:03