POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / CPP 2017 (series) / CPP 2017 /

Type-and-scope safe programs and their proofs

Guillaume Allais, James Chapman, Conor McBride, James McKinna
CPP 2017

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
Tue 17 Jan 2017 16:00 - 16:30 at Auditorium - Formal verification of programming language foundations
small-avatar
Guillaume Allais
Radboud University Nijmegen
France
small-avatar
James Chapman
small-avatar
Conor McBride
James McKinna
James McKinna
University of Edinburgh

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close

Tue 17 Jan (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

CPP-2017
16:00 - 17:30: CPP - Formal verification of programming language foundations at Auditorium
CPP-201716:00 - 16:30
Talk
Guillaume AllaisRadboud University Nijmegen, James Chapman, Conor McBride, James McKinnaUniversity of Edinburgh
CPP-201716:30 - 17:00
Talk
Brandon Bohrer, Vincent RahliSnT, Ivana Vukotic, Marcus Voelp, André Platzer
CPP-201717:00 - 17:30
Talk
Jonas Kaiser, Tobias Tebbi, Gert SmolkaSaarland University