Program for Monday, July 3rd: Talk View

PROGRAM FOR MONDAY, JULY 3RD: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

8:30

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

20:30

21:00

21:30

22:00

22:30

23:00

08:30-16:00 CASC Competition

09:00-10:00

How Can We Make Trustworthy AI?

Mateja Jamnik

10:30-11:00

Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar, Clark Barrett

11:00-11:30

Choose your Colour: Tree Interpolation for Quantified Formulas in SMT

Elisabeth Henkel, Tanja Schindler, Jochen Hoenicke

11:30-12:00

QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment

Maria Paola Bonacina, Stéphane Graham-Lengrand, Christophe Vauthier

12:00-12:30

On Incremental Pre-processing for SMT

Nikolaj Bjorner, Katalin Fazekas

14:00-14:30

Decidability of difference logic over the reals with uninterpreted unary predicates

Baptiste Vergain, Bernard Boigelot, Pascal Fontaine

14:30-15:00

On $P$-interpolation in local theory extensions and applications to the study of interpolation in the description logics ${\cal EL}, {\cal

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

15:00-15:30

Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs

Marvin Brieger, Stefan Mitsch, André Platzer

16:00-20:00 Excursion

20:00-23:00 Conference dinner

10:00-10:30 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break