APPLICATION FORM

The 2nd Winter School in Computer Science and Engineering

on Formal Verification

Michael Rabin, General Director (Harvard University)

Orna Kupferman, Director (The Hebrew University)

Moshe Vardi, Director (Rice University)
 

Application Deadline: October 1, 2017

Notification of acceptance will be sent by email by November 1, 2017

 

 Registration Fee (payment is required upon acceptance):  

NIS 700 for non-Israeli participants (currency convertor link

NIS 50 for Israeli students 

NIS 250 for Israeli non-students

The registration fee includes local accommodation (for non-Israeli participants only), school tuition, reception, daily lunches during the days the School is in session, coffee breaks and social events. Israeli participants that need local accommodation, please specify this in the comments below.

  

 

 

wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
wf      
Files must be less than 2 MB.
Allowed file types: pdf.
wf      
     
References:
     
Non-Israeli participants: a. Hotel accommodation will be arranged at the Prima Park Hotel. It will be for the duration of the School, up to 6 nights from December 16 to December 21, in double occupancy, with breakfast included. The hotel is a few minutes walk from the School venue. b. Limited financial support will be available for participants that cannot obtain support from their own institution, based on excellence and need.