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

Conference Day
Tue 21 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Papers 7VMCAI at St Jerome
Chair(s): Thomas WiesNew York University
10:30
30m
Talk
Language Inclusion for Finite Prime Event Structures
VMCAI
Andreas FellnerAIT - Austrian Institute of Technology, Thorsten TarrachAustrian Institute of Technology, Georg WeissenbacherTechnische Universität Wien
11:00
30m
Talk
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
VMCAI
Swen JacobsCISPA Helmholtz Center for Information Security, Mouhammad SakrSaarland University, Martin ZimmermannUniversity of Liverpool
11:30
30m
Coffee break
Mini Break
VMCAI

12:00
30m
Talk
Solving LIA* Using Approximations
VMCAI
Maxwell LevatichYale, Nikolaj BjørnerMicrosoft Research, Ruzica PiskacYale University, USA, Sharon ShohamTel Aviv university