Sylvia Grewe -

Registered user since Mon 17 Aug 2015

Name:Sylvia Grewe

Affiliation:TU Darmstadt

Contributions

‹Programming› 2018	Publicity Chair in Organizing Committee
DSLDI 2016	Committee Member in Program Committee within the DSLDI-track
SPLASH 2016	Committee Member in Program Committee within the Posters-track Author of VeriTaS: Verification of Type System Specifications within the Doctoral Symposium-track
Onward! 2015	Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track