Tue 9 Jan 2018 10:08 - 10:10 at Bradbury - POSTER SESSION (14 posters - not talks)

blah blah blah

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

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