Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 09:00 - 10:00 at Amphitheater 44 - Invited talk 3 Chair(s): Andreas Podelski

Tue 17 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Invited talk 3VMCAI at Amphitheater 44
Chair(s): Andreas Podelski University of Freiburg, Germany
09:00
60m
Talk
Verification of Cancer Programs
VMCAI
Jasmin Fisher Microsoft Research