Program for Wednesday, August 21st: Talk View

PROGRAM FOR WEDNESDAY, AUGUST 21ST: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

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

09:00-10:00

Pushing the Limits of Kleene Algebra

Sergey Goncharov

10:30-11:00

On the system of positive slices in the structure of superintuitionistic predicate logics

Mikhail Rybakov, Dmitry Shkatov, Dmitrij Skvortsov

11:00-11:30

Informative Presupposition in Inquisitive Logic

Vít Punčochář, Ivo Pezlar

11:30-12:00

Intuitionistic Master Modality

Lide Grotenhuis, Lukas Zenger, Bahareh Afshari, Graham Leigh

12:00-12:30

Coalgebraic proof translations of non-wellfounded proofs

Borja Sierra Miranda, Thomas Studer, Lukas Zenger

10:30-11:00

Restructuring a concurrent refinement algebra

Ian Hayes, Larissa Meinicke, Naso Evangelou-Oost

11:00-11:30

Irrationality of process replication for higher-dimensional automata

Henning Basold, Thomas Baronner, Márton Hablicsek

11:30-12:00

Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph

Yoshiki Nakamura

14:30-18:30 Excursions

10:00-10:30 Coffee Break

12:30-14:30 Lunch Break