Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg II
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 1: Invited talk by Harvey Friedman at Room St Petersburg II
CPP-2016-main145310400000009:00 - 10:00
Talk
Harvey FriedmanOhio State University
CPP-2016-main
10:30 - 12:00: CPP - Session 2: Verifying Imperative Programs at Room St Petersburg II
CPP-2016-main145310940000010:30 - 11:00
Talk
CPP-2016-main145311120000011:00 - 11:30
Talk
CPP-2016-main145311300000011:30 - 12:00
Talk
Peter LammichTechnische Universität München
CPP-2016-main
14:00 - 15:30: CPP - Session 3: Design and Implementation of Theorem Provers at Room St Petersburg II
CPP-2016-main145312200000014:00 - 14:30
Talk
Evgenii KotelnikovChalmers University of Technology, Laura KovacsChalmers University of Technology, Giles RegerUniversity of Manchester, Andrei VoronkovUniversity of Manchester
CPP-2016-main145312380000014:30 - 15:00
Talk
Lukasz CzajkaUniversity of Innsbruck
CPP-2016-main145312560000015:00 - 15:30
Talk
Cezary KaliszykUniversity of Innsbruck, Karol PąkUniversity of Bialystok, Institute of Computer Science, Josef Urban
CPP-2016-main
16:00 - 18:00: CPP - Session 4: Mathematics at Room St Petersburg II
CPP-2016-main145312920000016:00 - 16:30
Talk
Wenda LiUniversity of Cambridge, Lawrence PaulsonCambridge University
CPP-2016-main145313100000016:30 - 17:00
Talk
Sophie BernardINRIA, Yves BertotINRIA, Laurence RideauINRIA, Pierre-Yves StrubIMDEA Software Institute
CPP-2016-main145313280000017:00 - 17:30
Talk
René ThiemannUniversity of Innsbruck, Akihisa Yamada
CPP-2016-main145313460000017:30 - 18:00
Talk

Tue 19 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 5: Invited talk by Leonardo de Moura at Room St Petersburg II
CPP-2016-main145319040000009:00 - 10:00
Talk
Leonardo De MouraMicrosoft Research, Redmond
CPP-2016-main
10:30 - 12:00: CPP - Session 6: Foundations at Room St Petersburg II
CPP-2016-main145319580000010:30 - 11:00
Talk
Nathan FultonCarnegie Mellon University, André Platzer
CPP-2016-main145319760000011:00 - 11:30
Talk
Floris van DoornCarnegie Mellon University
CPP-2016-main145319940000011:30 - 12:00
Talk
Vincent RahliSnT, Mark BickfordCornell University
CPP-2016-main
14:00 - 15:30: CPP - Session 7: Verification for Concurrent and Distributed Systems at Room St Petersburg II
CPP-2016-main145320840000014:00 - 14:30
Talk
Johannes Å. PohjolaUppsala University, Joachim ParrowUppsala University
CPP-2016-main145321020000014:30 - 15:00
Talk
Doug WoosUniversity of Washington, James R. WilcoxUniversity of Washington, Steve AntonUniversity of Washington, Zachary TatlockUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Pre-print
CPP-2016-main145321200000015:00 - 15:30
Talk
Michel St-MartinUniversity of Ottawa, Amy FeltyUniversity of Ottawa
CPP-2016-main
16:00 - 17:00: CPP - Session 8: Compiler Verification at Room St Petersburg II
CPP-2016-main145321560000016:00 - 16:30
Talk
Sandrine BlazyIRISA / University of Rennes 1, Alix TrieuENS Rennes
CPP-2016-main145321740000016:30 - 17:00
Talk
Steven Schäfer, Sigurd SchneiderSaarland University, Gert SmolkaSaarland University

Sat 23 Jan

pps-2016
09:00 - 10:00: PPS 2016 - Session 1 at Room St Petersburg II
Chair(s): Cameron FreerGamalon
pps-2016145353600000009:00 - 09:20
Talk
Pre-print
pps-2016145353720000009:20 - 09:30
Meeting
pps-2016145353780000009:30 - 09:50
Talk
Jan-Willem van de MeentUniversity of Oxford, Brooks PaigeUniversity of Oxford, David TolpinUniversity of Oxford, Frank WoodUniversity of Oxford
Pre-print
pps-2016145353900000009:50 - 10:00
Meeting
pps-2016
10:30 - 12:15: PPS 2016 - Session 2 at Room St Petersburg II
Chair(s): Chad ScherrerGalois, Inc.
pps-2016145354140000010:30 - 10:50
Talk
Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Pre-print
pps-2016145354260000010:50 - 11:00
Meeting
pps-2016145354320000011:00 - 11:20
Talk
Avi PfefferCharles River Analytics, Brian RuttenbergCharles River Analytics
Pre-print
pps-2016145354440000011:20 - 11:30
Meeting
pps-2016145354500000011:30 - 12:15
Meeting
Angelika KimmigKU Leuven, Oleg Kiselyov, Jan-Willem van de MeentUniversity of Oxford, Avi PfefferCharles River Analytics, Frank WoodUniversity of Oxford
pps-2016
14:00 - 15:30: PPS 2016 - Session 3 at Room St Petersburg II
Chair(s): Mitchell WandNortheastern University
pps-2016145355400000014:00 - 14:20
Talk
Johannes BorgströmUppsala University, Ugo Dal LagoUniversity of Bologna, Andrew D. GordonMicrosoft Research and University of Edinburgh, Marcin SzymczakUniversity of Edinburgh
Pre-print
pps-2016145355520000014:20 - 14:30
Meeting
pps-2016145355580000014:30 - 14:50
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Cătălin HriţcuINRIA Paris, John HughesChalmers University of Technology, Zoe ParaskevopoulouPrinceton University, Li-yao XiaENS Paris
Pre-print
pps-2016145355700000014:50 - 15:00
Meeting
pps-2016145355760000015:00 - 15:20
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, UK, Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Cambridge, Frank WoodUniversity of Oxford
Pre-print
pps-2016145355880000015:20 - 15:30
Meeting
pps-2016
15:30 - 16:30: PPS 2016 - Poster Session at Room St Petersburg II
pps-2016145355940000015:30 - 16:30
Meeting
Aleksey KligerXamarin, Inc., Sean StromstenBAE Systems, Inc.
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Theophilos GiannakopoulosBAE Systems, Inc., Mitchell WandNortheastern University, Andrew CobbNortheastern University
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Larry MossIndiana University, Chung-chieh ShanIndiana University, Alexandra SilvaRadboud University Nijmegen
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Faris Abou-SalehUniversity of Oxford, Kwok-Ho CheungUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Johannes HölzlTechnische Universität München
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Yohei MiyamotoGraduate School of Informatics, Kyoto University, Kohei Suenaga, Koji NakazawaGraduate School of Information Science, Nagoya University
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Ryan CulpepperNortheastern University
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Andrew D. GordonMicrosoft Research and University of Edinburgh
Pre-print
pps-2016145355940000015:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Bernhard SchölkopfMPI Tuebingen
Pre-print
pps-2016
16:30 - 18:00: PPS 2016 - Session 5 at Room St Petersburg II
Chair(s): Chung-chieh ShanIndiana University
pps-2016145356300000016:30 - 16:50
Talk
Nathanael L. AckermanHarvard University, Cameron FreerGamalon, Daniel RoyUniversity of Toronto
Pre-print
pps-2016145356420000016:50 - 17:00
Meeting
pps-2016145356480000017:00 - 17:20
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
Pre-print
pps-2016145356600000017:20 - 17:30
Meeting
pps-2016145356660000017:30 - 17:50
Talk
Friedrich GretzRWTH Aachen University, Nils JansenRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University, Federico OlmedoRWTH Aachen University
Pre-print
pps-2016145356780000017:50 - 18:00
Meeting

Mon 18 Jan 2016

Tue 19 Jan 2016

Sat 23 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room St Petersburg II
09:00 - 10:00
10:30 - 12:15
14:00 - 15:30
16:30 - 18:00

Sat 23 Jan 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Room St Petersburg II
09:20 - 09:30
09:50 - 10:00
10:50 - 11:00
11:20 - 11:30
14:20 - 14:30
14:50 - 15:00
15:20 - 15:30
16:50 - 17:00
17:20 - 17:30
17:50 - 18:00