Write a Blog >>
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. Leino
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
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Abstract Interpretation at Room St Petersburg I
Chair(s): Peter Müller
VMCAI-2016-papers145302300000010:30 - 11:00
Talk
VMCAI-2016-papers145302480000011:00 - 11:30
Talk
VMCAI-2016-papers145302660000011: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-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. Leino
VMCAI-2016-papers145310400000009:00 - 10:00
Talk
VMCAI-2016-papers
10:30 - 12:00: VMCAI - Hybrid and Timed Systems at Room St Petersburg I
Chair(s): David Monniaux
VMCAI-2016-papers145310940000010:30 - 11:00
Talk
VMCAI-2016-papers145311120000011:00 - 11:30
Talk
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 Gupta
VMCAI-2016-papers145312200000014:00 - 14:30
Talk
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 Chang
VMCAI-2016-papers145319040000009:00 - 10:00
Talk
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
VMCAI-2016-papers145319760000011:00 - 11:30
Talk
VMCAI-2016-papers145319940000011:30 - 12:00
Talk
VMCAI-2016-papers
14:00 - 15:30: VMCAI - Parameterized and Component-Based Systems at Room St Petersburg I
Chair(s): Arie Gurfinkel
VMCAI-2016-papers145320840000014:00 - 14:30
Talk
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 Samanta
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 Kuper
OBT-2016-talks145353600000009:00 - 09:15
Day opening
OBT-2016-talks145353690000009:15 - 10:00
Talk

Sun 17 Jan 2016

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

VMCAI

Welcome
08:50 - 09:00

VMCAI

Invited Talk I
09:00 - 10:00

VMCAI

Abstraction I
14:00 - 15:30

VMCAI

Abstraction II
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

PADL

09:00 - 10:00

Sat 23 Jan 2016

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