VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Filter
Dates
Rooms
Tracks
Badges
Your 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

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:0030
Room St Petersburg I
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)