Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal

Tue 15 Jan

CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at Sala XII
Chair(s): Zhong ShaoYale University
CPP-201916:00 - 16:30
Research paper
Yannick ForsterSaarland University, Dominik KirstSaarland University, Gert SmolkaSaarland University
DOI
CPP-201916:30 - 17:00
Research paper
Manuel EberlTechnische Universität München
DOI
CPP-201917:00 - 17:30
Meeting
Assia MahboubiINRIA, Magnus O. MyreenChalmers University of Technology, Sweden