VSL 2014: VIENNA SUMMER OF LOGIC 2014

CAV ON MONDAY, JULY 21ST: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
10:45-11:05
Safraless Synthesis for Epistemic Temporal Specifications
Rodica Bozianu, Catalin Dima, Emmanuel Filiot
11:05-11:25
Minimizing Running Costs in Consumption Systems
Tomas Brazdil, David Klaska, Antonin Kucera, Petr Novotný
11:25-11:45
CEGAR for Qualitative Analysis of Probabilistic Systems
Krishnendu Chatterjee, Martin Chmelík, Przemyslaw Daca
11:45-12:05
Optimal Guard Synthesis for Memory Safety
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
12:05-12:25
Don't sit on the fence: A static analysis approach to automatic fence insertion
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
12:25-12:35
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Petr Čermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano
12:35-12:45
Solving Games without Controllable Predecessor
Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker
12:45-12:55
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess, Stefan Stattelmann
12:55-13:05
SYNTCOMP - Synthesis Competition for Reactive Systems
Swen Jacobs
14:30-14:50
Automatic Atomicity Verification for Clients of Concurrent Data Structures
Mohsen Lesani, Todd Millstein, Jens Palsberg
14:50-15:10
Regression-free Synthesis for Concurrency
P. Cerny, T. Henzinger, A. Radhakrishna, L. Ryzhyk, T. Tarrach
15:10-15:30
Bounded Model Checking of Multi-Threaded C Programs via Lazy Sequentialization
O. Inverso, E. Tomasco, B. Fischer, S. La Torre, G. Parlato
15:30-15:50
An SMT-Based Approach to Coverability Analysis
J. Esparza, R. Ledesma-Garza, R. Majumdar, P. Meyer, F. Niksic
15:50-16:00
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes
Alejandro Sanchez, Cesar Sanchez
14:30-15:00
Approximations for Model Construction
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer
15:00-15:20
A Tool that Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
Rüdiger Ehlers, Martin Lange
15:20-15:40
StarExec: a Cross-Community Infrastructure for Logic Solving
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
15:40-16:00
Skeptik [System Description]
Bruno Woltzenlogel Paleo, Joseph Boudou, Andreas Fellner
14:30-15:00
Approximations for Model Construction
Aleksandar Zeljić, Christoph M. Wintersteiger, Philipp Ruemmer
15:00-15:20
A Tool that Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic
Rüdiger Ehlers, Martin Lange
15:20-15:40
StarExec: a Cross-Community Infrastructure for Logic Solving
Aaron Stump, Geoff Sutcliffe, Cesare Tinelli
15:40-16:00
Skeptik [System Description]
Bruno Woltzenlogel Paleo, Joseph Boudou, Andreas Fellner
08:45-09:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
Franz Baader
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-18:00
FLoC Olympic Games Award Ceremony 2
Floc Olympic Games
18:00-18:10
Lifetime Achievement Award
Werner Depauli-Schimanovich
18:10-18:20
Lifetime Achievement Award
Mingyi Zhang
18:20-18:30
EMCL Distinguished Alumni Award
European Masters Program In Computational Logic
18:30-18:45
FLoC Closing Week 2
Helmut Veith
19:00-20:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context
Friedrich Stadler
Disclaimer | Powered by EasyChair Smart Program