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. 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

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: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)