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

BliStrTune: Hierarchical Invention of Theorem Proving Strategies

Jan Jakubuv, Josef Urban
CPP 2017
Mon 16 Jan 2017 14:00 - 14:30 at Auditorium - Automated proof and its verification
small-avatar
Jan Jakubuv
Josef Urban
Josef Urban

Mon 16 Jan

CPP-2017
14:00 - 15:30: CPP - Automated proof and its verification at Auditorium
CPP-201714:00 - 14:30
Talk
Jan Jakubuv, Josef Urban
CPP-201714:30 - 15:00
Talk
Reuben RoweUniversity College London, James Brotherston
CPP-201715:00 - 15:30
Talk
Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto