Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg I
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

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:50 - 09:00: WelcomeVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
09:00 - 10:00: Invited Talk IVMCAI at Room St Petersburg I
Chair(s): Sharon Shoham
09:00 - 10:00
Talk
VMCAI
Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Invited Talk IIVMCAI at Room St Petersburg I
Chair(s): K. Rustan M. LeinoMicrosoft Research
09:00 - 10:00
Talk
VMCAI
Bryan ParnoMicrosoft Research
10:30 - 12:00: Hybrid and Timed SystemsVMCAI at Room St Petersburg I
Chair(s): David MonniauxCNRS, VERIMAG
10:30 - 11:00
Talk
VMCAI
Kengo Kido, Swarat ChaudhuriRice University, Ichiro HasuoUniversity of Tokyo
11:00 - 11:30
Talk
VMCAI
Thomas A. HenzingerIST Austria, Jan OtopUniversity of Wrocław, Roopsha SamantaIST Austria
11:30 - 12:00
Talk
VMCAI
14:00 - 15:30: Dynamic and Static VerificationVMCAI at Room St Petersburg I
Chair(s): Aarti GuptaPrinceton University
14:00 - 14:30
Talk
VMCAI
Pavel ParizekCharles University in Prague
14:30 - 15:00
Talk
VMCAI
15:00 - 15:30
Talk
VMCAI

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Invited Talk IIIVMCAI at Room St Petersburg I
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder
09:00 - 10:00
Talk
VMCAI
Peter MüllerETH Zurich
10:30 - 12:00: Concurrent ProgramsVMCAI at Room St Petersburg I
Chair(s): Noam Rinetzky
10:30 - 11:00
Talk
VMCAI
Frédéric Haziza, Lukáš Holík, Roland Meyer, Sebastian WolffFraunhofer ITWM and TU Kaiserslautern
11:00 - 11:30
Talk
VMCAI
Marko DokoMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
11:30 - 12:00
Talk
VMCAI
Kamil Dudka, Lukáš Holík, Petr Peringer, Tomáš VojnarBrno University of Technology
14:00 - 15:30: Parameterized and Component-Based SystemsVMCAI at Room St Petersburg I
Chair(s): Arie GurfinkelCarnegie Mellon University
14:00 - 14:30
Talk
VMCAI
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
14:30 - 15:00
Talk
VMCAI
15:00 - 15:30
Talk
VMCAI
18:00 - 21:00: CPP Reception, sponsored by the DeepSpec projectCPP at Room St Petersburg I
18:00 - 21:00
Social Event
CPP

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session OneOff the Beaten Track at Room St Petersburg I
Chair(s): Lindsey KuperIntel Labs
09:00 - 09:15
Day opening
Off the Beaten Track
Lindsey KuperIntel Labs
09:15 - 10:00
Talk
Off the Beaten Track
K: Chris MartensCarnegie Mellon University
14:00 - 15:35: Session ThreeOff the Beaten Track at Room St Petersburg I
Chair(s): Limin JiaCarnegie Mellon University
14:00 - 14:45
Talk
Off the Beaten Track
K: Robert AtkeyUniversity of Strathclyde
14:45 - 15:10
Talk
Off the Beaten Track
Pre-print
15:10 - 15:35
Talk
Off the Beaten Track
Pre-print

Sun 17 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 23 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change