VerifyThis 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
co-located with
ETAPS 2019
Toggle navigation
Attending
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Program
VerifyThis Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Track/Call
Organization
VerifyThis 2019 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Sign in
Sign up
VerifyThis 2019 Contributors
Filter
Role Type
Contributing to
Number of Roles
Country
Search
Results
(
5
)
D
Claire Dross
Dross, Claire
AdaCore
France
Committee Member in Organizing Committee within the VerifyThis-track
F
Carlo A. Furia
Furia, Carlo A.
Università della Svizzera italiana (USI)
Switzerland
Committee Member in Organizing Committee within the VerifyThis-track
H
Marieke Huisman
Huisman, Marieke
University of Twente
Netherlands
Committee Member in Organizing Committee within the VerifyThis-track
M
Rosemary Monahan
Monahan, Rosemary
National University of Ireland
Committee Member in Organizing Committee within the VerifyThis-track
Peter Müller
Müller, Peter
ETH Zurich
Switzerland
Committee Member in Organizing Committee within the VerifyThis-track
x
Sun 22 Dec 08:49