VMCAI 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
VenueHotel Cascais Miragem
Room nameSala XII
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 14 Jan

CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 1 and Research Paper at Sala XII
Chair(s): Magnus O. MyreenChalmers University of Technology, Sweden
CPP-201909:00 - 10:00
Talk
Amy FeltyUniversity of Ottawa
DOI
CPP-201910:00 - 10:30
Research paper
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA
DOI
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Proof Theory, Theory of Programming Languages at Sala XII
Chair(s): Assia MahboubiINRIA
CPP-201911:00 - 11:30
Research paper
Kaustuv ChaudhuriInria, France, Matteo ManighettiInria & École Polytechnique, Dale MilerINRIA Saclay and LIX
DOI
CPP-201911:30 - 12:00
Research paper
Yannick ForsterSaarland University, Steven SchäferSaarland University, Simon SpiesSaarland University, Kathrin StarkSaarland University, Germany
DOI
CPP-201912:00 - 12:30
Research paper
Theo WinterhalterGallinette / Inria / LS2N, Nicolas TabareauInria, Matthieu SozeauInria
DOI
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at Sala XII
Chair(s): Chris HawblitzelMicrosoft Research
CPP-201914:00 - 14:30
Research paper
Ian RoessleVirginia Tech, USA, Freek VerbeekOpen University of the Netherlands, The Netherlands, Binoy RavindranVirginia Tech
DOI
CPP-201914:30 - 15:00
Research paper
Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes
DOI
CPP-201915:00 - 15:30
Research paper
Nicolas Koh, Yao LiUniversity of Pennsylvania, Yishuai LiUniversity of Pennsylvania, Li-yao Xia, Lennart BeringerPrinceton University, Wolf Honore, William ManskyUniversity of Illinois at Chicago, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI
CPP-2019
16:00 - 17:30: CPP 2019 - Research Papers: Formalization of Mathematics and Computer Algebra at Sala XII
Chair(s): Georges GonthierInria
CPP-201916:00 - 16:30
Research paper
Robert Y. LewisVrije Universiteit Amsterdam
DOI
CPP-201916:30 - 17:00
Research paper
Wenda LiUniversity of Cambridge, Lawrence PaulsonUniversity of Cambridge
DOI
CPP-201917:00 - 17:30
Research paper
DOI

Tue 15 Jan

CPP-2019
09:00 - 10:30: CPP 2019 - Keynote 2 and Research Paper at Sala XII
Chair(s): Assia MahboubiINRIA
CPP-201909:00 - 10:00
Talk
Jasmin Christian BlanchetteVrije Universiteit Amsterdam
DOI
CPP-201910:00 - 10:30
Research paper
Anders SchlichtkrullTechnical University of Denmark, Jasmin Christian BlanchetteVrije Universiteit Amsterdam, Dmitriy TraytelETH Zurich
DOI
CPP-2019
11:00 - 12:30: CPP 2019 - Research Papers: Rewriting, Automated Reasoning at Sala XII
Chair(s): Andrei PopescuMiddlesex University, London
CPP-201911:00 - 11:30
Research paper
Kathrin StarkSaarland University, Germany, Steven SchäferSaarland University, Jonas Kaiser
DOI
CPP-201911:30 - 12:00
Research paper
Alexander Lochmann, Christian SternagelUniversity of Innsbruck, Austria
DOI
CPP-201912:00 - 12:30
Research paper
DOI
CPP-2019
14:00 - 15:30: CPP 2019 - Research Papers: Program Verification at Sala XII
Chair(s): Nicolas TabareauInria
CPP-201914:00 - 14:30
Research paper
Qianchuan YePurdue University, Benjamin DelawarePurdue University
DOI
CPP-201914:30 - 15:00
Research paper
Véronique BenzakenLRI, Université Paris-Sud, Evelyne Contejean
DOI
CPP-201915:00 - 15:30
Research paper
Susannah Mansky, Elsa GunterUniversity of Illinois
DOI
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

Tue 15 Jan 2019