Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 15 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

VMCAI

Invited talk 1
09:00 - 10:00

VMCAI

Concurrency 1
14:00 - 15:30

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:0030
Amphitheater 44

VMCAI

Invited talk 2
09:00 - 10:00
Procope

VMCAI

Banquet
19:30 - 22:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Amphitheater 44

VMCAI

Invited talk 3
09:00 - 10:00

VMCAI

Concurrency 2
16:00 - 17:30

Sun 15 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 1 at Amphitheater 44
Chair(s): David Monniaux
VMCAI-2017-papers148446720000009:00 - 10:00
Talk
File Attached

Mon 16 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 2 at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148455360000009:00 - 10:00
Talk
VMCAI-2017-papers
16:00 - 17:30: VMCAI - Symbolic analysis and invariant synthesis at Amphitheater 44
Chair(s): Constantin Enea
VMCAI-2017-papers148457880000016:00 - 16:30
Talk
VMCAI-2017-papers148458060000016:30 - 17:00
Talk
VMCAI-2017-papers148458240000017:00 - 17:30
Talk
VMCAI-2017-papers
19:30 - 22:00: VMCAI - Banquet at Procope

Tue 17 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas Podelski
VMCAI-2017-papers148464000000009:00 - 10:00
Talk
VMCAI-2017-papers
10:30 - 12:00: VMCAI - Model Checking and Synthesis at Amphitheater 44
Chair(s): Ahmed Bouajjani
VMCAI-2017-papers148464540000010:30 - 11:00
Talk
VMCAI-2017-papers148464720000011:00 - 11:30
Talk
File Attached
VMCAI-2017-papers148464900000011:30 - 12:00
Talk
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscirption service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)