• Sign in
  • Sign up
conf.researchr.org / Sylvia Grewe
  • SPLASH 2015 profile
  • SPLASH 2016 profile
  • ‹Programming› 2018 profile
Sylvia Grewe

Registered user since Mon 17 Aug 2015

Name:Sylvia Grewe
Affiliation:TU Darmstadt

Contributions

2018

‹Programming›

  • Publicity Chair in Organizing Committee

2016

DSLDI

  • Committee Member in Program Committee within the DSLDI-track

SPLASH

  • Committee Member in Program Committee within the Posters-track
  • Author of VeriTaS: Verification of Type System Specifications within the Doctoral Symposium-track

2015

Onward!

  • Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Share
xFri 23 May 02:03
using conf.researchr.org (v1.69.0)
Support page
Sign Up