VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
POPL 2016 (series) / VMCAI (series) / VMCAI /

Abstract Interpretation with Infinitesimals

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
VMCAI
Mon 18 Jan 2016 10:30 - 11:00 at Room St Petersburg I - Hybrid and Timed Systems Chair(s): David Monniaux
small-avatar
Kengo Kido
Swarat Chaudhuri
Swarat Chaudhuri
Rice University
Ichiro Hasuo
Ichiro Hasuo
University of Tokyo
Japan

Mon 18 Jan

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
Andrew Sogokon, Khalil GhorbalCarnegie Mellon University, Paul Jackson, André Platzer