FTSCS 2022
Mon 5 - Sat 10 December 2022
Auckland, New Zealand
co-located with
SPLASH 2022
Toggle navigation
Attending
Venue: University of Auckland
Program
Complete Program
Your Program
Mon 5 Dec
Tue 6 Dec
Wed 7 Dec
Thu 8 Dec
Fri 9 Dec
Sat 10 Dec
Tracks
FTSCS 2022
Formal Techniques for Safety-Critical Systems
SPLASH 2022
SPLASH-E
Organization
FTSCS 2022 Committees
Track Committees
Formal Techniques for Safety-Critical Systems
Organizing Committee
Formal Techniques for Safety-Critical Systems
Program Committee
SPLASH
SPLASH-E
Program Committee
SPLASH-E
Steering Committee
Contributors
People Index
Search
Series
Series
FTSCS 2023
FTSCS 2022
Sign in
Sign up
SPLASH 2022
(
series
) /
SPLASH-E Symposium (SE/PL & Computing Education)
/
Program Committee
SPLASH -E
Martin Henz
Co-chair
National University of Singapore
Singapore
Benjamin Lerner
Co-chair
Northeastern University, United States
United States
Meghan Allen
Committee Member
University of British Columbia
Canada
Mike Barkmin
Committee Member
University of Duisburg-Essen, Germany
Germany
Ravi Chugh
Committee Member
University of Chicago
Molly Feldman
Committee Member
Oberlin College
United States
Philip Guo
Committee Member
University of California San Diego
Eli Tilevich
Committee Member
Virginia Tech
United States
x
Wed 8 May 05:18