Write a Blog >>
Tue 21 Jan 2020 11:00 - 11:30 at St Jerome - Papers 7 Chair(s): Thomas Wies

Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Papers 7VMCAI at St Jerome
Chair(s): Thomas Wies New York University
10:30
30m
Talk
Language Inclusion for Finite Prime Event Structures
VMCAI
Andreas Fellner AIT - Austrian Institute of Technology, Thorsten Tarrach Austrian Institute of Technology, Georg Weissenbacher Technische Universität Wien
11:00
30m
Talk
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
VMCAI
Swen Jacobs CISPA Helmholtz Center for Information Security, Mouhammad Sakr Saarland University, Martin Zimmermann University of Liverpool
11:30
30m
Coffee break
Mini Break
VMCAI

12:00
30m
Talk
Solving LIA* Using Approximations
VMCAI
Maxwell Levatich Yale, Nikolaj Bjørner Microsoft Research, Ruzica Piskac Yale University, USA, Sharon Shoham Tel Aviv university