VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg I
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 17 Jan

VMCAI-2016-papers
08:50 - 09:00: VMCAI - Welcome at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk I at Room St Petersburg I
Chair(s): Sharon Shoham
VMCAI-2016-papers145301760000009:00 - 10:00
Talk
Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Abstract Interpretation at Room St Petersburg I
Chair(s): Peter MüllerETH Zurich
VMCAI-2016-papers145302300000010:30 - 11:00
Talk
VMCAI-2016-papers145302480000011:00 - 11:30
Talk
Alexander Bakst, Ranjit JhalaUniversity of California, San Diego
VMCAI-2016-papers145302660000011:30 - 12:00
Talk
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Abstraction I at Room St Petersburg I
Chair(s): Eva DarulovaMPI-SWS, Germany
VMCAI-2016-papers145303560000014:00 - 14:30
Talk
VMCAI-2016-papers145303740000014:30 - 15:00
Talk
VMCAI-2016-papers145303920000015:00 - 15:30
Talk
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Abstraction II at Room St Petersburg I
Chair(s): David Pichardie
VMCAI-2016-papers145304280000016:00 - 16:30
Talk
VMCAI-2016-papers145304460000016:30 - 17:00
Talk

Mon 18 Jan

VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk II at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
VMCAI-2016-papers145310400000009:00 - 10:00
Talk
Bryan ParnoMicrosoft Research
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Hybrid and Timed Systems at Room St Petersburg I
Chair(s): David MonniauxCNRS, VERIMAG
VMCAI-2016-papers145310940000010:30 - 11:00
Talk
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
VMCAI-2016-papers145311120000011:00 - 11:30
Talk
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
VMCAI-2016-papers145311300000011:30 - 12:00
Talk
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Dynamic and Static Verification at Room St Petersburg I
Chair(s): Aarti GuptaPrinceton University
VMCAI-2016-papers145312200000014:00 - 14:30
Talk
Pavel ParizekCharles University in Prague
VMCAI-2016-papers145312380000014:30 - 15:00
Talk
VMCAI-2016-papers145312560000015:00 - 15:30
Talk
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Probabilistic Systems at Room St Petersburg I
Chair(s): Paul Jackson
VMCAI-2016-papers145312920000016:00 - 16:30
Talk
VMCAI-2016-papers145313100000016:30 - 17:00
Talk

Tue 19 Jan

VMCAI-2016-papers
09:00 - 10:00: VMCAI - Invited Talk III at Room St Petersburg I
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder
VMCAI-2016-papers145319040000009:00 - 10:00
Talk
Peter MüllerETH Zurich
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Concurrent Programs at Room St Petersburg I
Chair(s): Noam Rinetzky
VMCAI-2016-papers145319580000010:30 - 11:00
Talk
Frédéric Haziza, Lukas Holik, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
VMCAI-2016-papers145319760000011:00 - 11:30
Talk
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
VMCAI-2016-papers145319940000011:30 - 12:00
Talk
Kamil Dudka, Lukas Holik, Petr Peringer, Tomas VojnarBrno University of Technology
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Parameterized and Component-Based Systems at Room St Petersburg I
Chair(s): Arie GurfinkelCarnegie Mellon University
VMCAI-2016-papers145320840000014:00 - 14:30
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
VMCAI-2016-papers145321020000014:30 - 15:00
Talk
VMCAI-2016-papers145321200000015:00 - 15:30
Talk
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Solver Improvements at Room St Petersburg I
Chair(s): Roopsha SamantaIST Austria
VMCAI-2016-papers145321560000016:00 - 16:30
Talk
VMCAI-2016-papers145321740000016:30 - 17:00
Talk
CPP-2016-main
18:00 - 21:00: CPP - CPP Reception, sponsored by the DeepSpec project at Room St Petersburg I
CPP-2016-main145322280000018:00 - 21:00
Social Event

Sat 23 Jan

OBT-2016-talks
09:00 - 10:00: Off the Beaten Track - Session One at Room St Petersburg I
Chair(s): Lindsey KuperIntel Labs
OBT-2016-talks145353600000009:00 - 09:15
Day opening
Lindsey KuperIntel Labs
OBT-2016-talks145353690000009:15 - 10:00
Talk
Chris MartensCarnegie Mellon University
OBT-2016-talks
14:00 - 15:35: Off the Beaten Track - Session Three at Room St Petersburg I
Chair(s): Limin JiaCarnegie Mellon University
OBT-2016-talks145355400000014:00 - 14:45
Talk
Robert AtkeyUniversity of Strathclyde
OBT-2016-talks145355670000014:45 - 15:10
Talk
Pre-print
OBT-2016-talks145355820000015:10 - 15:35
Talk
Pre-print
OBT-2016-talks
16:00 - 17:30: Off the Beaten Track - Session Four at Room St Petersburg I
Chair(s): Nada AminEPFL
OBT-2016-talks145356120000016:00 - 16:25
Talk
Pre-print
OBT-2016-talks145356270000016:25 - 16:50
Talk
Pre-print
OBT-2016-talks145356420000016:50 - 17:15
Talk
William E. ByrdUniversity of Utah
Pre-print
OBT-2016-talks145356570000017:15 - 17:30
Day closing

Sun 17 Jan 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg I
08:50 - 09:00
09:00 - 10:00
14:00 - 15:30
16:00 - 17:00

Mon 18 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg I

Tue 19 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Room St Petersburg I

Sat 23 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room St Petersburg I