GPCE 2015
Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
Program
GPCE Program
Your Program
Mon 26 Oct
Tue 27 Oct
Track/Call
Organization
GPCE 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
GPCE 2024
GPCE 2023
GPCE 2022
GPCE 2021
GPCE 2020
GPCE 2019
GPCE 2018
GPCE 2017
GPCE 2016
GPCE 2015
GPCE 2014
GPCE 2013
GPCE 2011
Sign in
Sign up
SPLASH 2015
(
series
) /
GPCE 2015
(
series
) /
Pascal Wittmann
SPLASH 2015 profile
conf.research.org general profile
SPLASH 2014 profile
Registered user since Thu 18 Sep 2014
Name:
Pascal Wittmann
Affiliation:
TU Darmstadt
Contributions
2015
Onward!
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Show activities from other conferences
Share
SPLASH 2015-profile
View general profile
x
Sat 23 Nov 11:15