• Sign in
  • Sign up
conf.researchr.org / Martina Seidl
  • ETAPS 2019 profile
  • MODELS 2020 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2010 profile
  • SPLASH 2022 profile
Martina Seidl

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
xFri 22 Sep 17:27
using conf.researchr.org (v1.62.0)
Support page
Sign Up