VenueOmni Hotel
Room nameBradbury
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30: Equational reasoning for probabilistic programmingTutorialFest at Bradbury
09:00 - 10:30
Talk
TutorialFest
A: Chung-chieh ShanIndiana University, USA
Media Attached
11:00 - 12:00: Equational reasoning for probabilistic programmingTutorialFest at Bradbury
11:00 - 12:00
Talk
TutorialFest
A: Chung-chieh ShanIndiana University, USA
Media Attached
14:00 - 15:30: Computational Higher Type TheoryTutorialFest at Bradbury
14:00 - 15:30
Talk
TutorialFest
A: Robert HarperCarnegie Mellon University, A: Carlo AngiuliCarnegie Mellon University
Media Attached
16:00 - 17:00: Computational Higher Type TheoryTutorialFest at Bradbury
16:00 - 17:00
Talk
TutorialFest
A: Robert HarperCarnegie Mellon University, A: Carlo AngiuliCarnegie Mellon University
Media Attached

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: SESSION I (invited talk) PPS at Bradbury
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
09:00 - 10:00
Talk
PPS
10:00 - 10:30: POSTER SESSION (14 posters - not talks) PPS at Bradbury
10:00 - 10:02
Talk
PPS
Nils NappSUNY at Buffalo, Marco GaboardiUniversity at Buffalo, SUNY
10:02 - 10:04
Talk
PPS
C.-H. Luke OngUniversity of Oxford, Matthijs VákárUniversity of Oxford
10:04 - 10:06
Talk
PPS
Javier Burroni, Arjun GuhaUniversity of Massachusetts, Amherst, David JensenUniversity of Massachusetts Amherst
Pre-print
10:06 - 10:08
Talk
PPS
10:08 - 10:10
Talk
PPS
Mathias Ruggaard PedersenAalborg University, Nathanaël FijalkowAlan Turing Institute, Giorgio BacciAalborg University, Kim LarsenAalborg University, Radu MardareAalborg University
10:10 - 10:12
Talk
PPS
Avi PfefferCharles River Analytics
10:12 - 10:15
Talk
PPS
Link to publication Pre-print
10:15 - 10:17
Talk
PPS
Benjamin ShermanMassachusetts Institute of Technology, USA, Jared TramontanoMassachusetts Institute of Technology, Michael CarbinMIT
Pre-print
10:17 - 10:19
Talk
PPS
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
10:19 - 10:21
Talk
PPS
Steffen SmolkaCornell University, David KahnCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter Kozen, Alexandra SilvaUniversity College London
Link to publication File Attached
10:21 - 10:23
Talk
PPS
Tetsuya SatoUniversity at Buffalo, SUNY, USA
10:23 - 10:25
Talk
PPS
Andres Molina-MarkhamThe MITRE Corporation
10:25 - 10:27
Talk
PPS
Avi PfefferCharles River Analytics
10:27 - 10:30
Talk
PPS
Daniel LundénKTH Royal Institute of Technology, David BromanKTH Royal Institute of Technology, Lawrence M. MurrayUppsala University
10:30 - 12:00: SESSION II (3 talks) PPS at Bradbury
Chair(s): Erik Meijer
10:30 - 11:00
Talk
PPS
Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Oxford, Sean K. MossUniversity of Cambridge, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Sam StatonUniversity of Oxford, Matthijs VákárUniversity of Oxford, Hongseok YangUniversity of Oxford
11:00 - 11:30
Talk
PPS
Michele PaganiUniversity Paris Diderot, Thomas EhrhardCNRS and University Paris Diderot, Christine TassonUniversity Paris Diderot
11:30 - 12:00
Talk
PPS
Daniel SelsamStanford University
14:00 - 15:30: SESSION III (invited tutorial + 1 talk) PPS at Bradbury
Chair(s): Cameron FreerRemine and Borelian
14:00 - 15:00
Talk
PPS
15:00 - 15:30
Talk
PPS
Praveen NarayananIndiana University, USA, Chung-chieh ShanIndiana University, USA
16:00 - 18:00: SESSION IV (4 talks) PPS at Bradbury
Chair(s): Rif A. SaurousGoogle
16:00 - 16:30
Talk
PPS
16:30 - 17:00
Talk
PPS
Steven HoltzenUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles
Pre-print
17:00 - 17:30
Talk
PPS
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
Pre-print
17:30 - 18:00
Talk
PPS
Mitchell WandNortheastern University, USA, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University, Ryan CulpepperNortheastern University

Mon 8 Jan
Times are displayed in time zone: Tijuana, Baja California change

Tue 9 Jan
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Bradbury