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-papers09: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-papers10:30 - 11:00
Talk
VMCAI-2016-papers11:00 - 11:30
Talk
Alexander Bakst, Ranjit JhalaUniversity of California, San Diego
VMCAI-2016-papers11:30 - 12:00
Talk
VMCAI-2016-papers
16:00 - 17:00: VMCAI - Abstraction II at Room St Petersburg I
Chair(s): David Pichardie
VMCAI-2016-papers16:00 - 16:30
Talk
VMCAI-2016-papers16: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-papers09: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-papers10:30 - 11:00
Talk
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
VMCAI-2016-papers11:00 - 11:30
Talk
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
VMCAI-2016-papers11: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-papers14:00 - 14:30
Talk
Pavel ParizekCharles University in Prague
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15:00 - 15:30
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-papers09: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-papers10:30 - 11:00
Talk
Frédéric Haziza, Lukas Holik, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
VMCAI-2016-papers11:00 - 11:30
Talk
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
VMCAI-2016-papers11: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-papers14:00 - 14:30
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15: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-papers16:00 - 16:30
Talk
VMCAI-2016-papers16: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-main18: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-talks09:00 - 09:15
Day opening
Lindsey KuperIntel Labs
OBT-2016-talks09: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-talks14:00 - 14:45
Talk
Robert AtkeyUniversity of Strathclyde
OBT-2016-talks14:45 - 15:10
Talk
Pre-print
OBT-2016-talks15:10 - 15:35
Talk
Pre-print

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