Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
SPLASH 2016 (series) / Sylvia Grewe
Sylvia Grewe

Registered user since Mon 17 Aug 2015

Name:Sylvia Grewe
Country:Germany
Affiliation:TU Darmstadt
Personal website:http://www.stg.tu-darmstadt.de/staff/sylvia_grewe/sylvia_grewe.en.jsp
Research interests:type systems and type theory, formal verification of type systems, proof assistants (Isabelle/HOL and Coq) and automated theorem provers, functional programming languages

Contributions

DSLDI 2016 Committee Member in Program Committee within the DSLDI-track
SPLASH 2016 Committee Member in Program Committee within the Posters-track
VeriTaS: Verification of Type System Specifications
Show activities from other conferences

SPLASH 2016-profile
View general profile