School of Mathematics

June 22-23, 2021, online
Above image by Barbara A Lane from Pixabay

Program

Recent Advances of Quantitative Models in Computer Science

22 – 23 June, 2021

 

Program

(all times are in CET)

 

Tuesday, 22 June 2021

09:00 - 09:45

Opening

09:45 - 10:45

Werner Kuich

Finite Automata over Conway Semirings (Abstract) (Slides) (talk video)

Chairman: Manfred Droste

10:45 - 11:00

Break

11:00 - 12:00

Tom Henzinger

A Survey of Bidding Games on Graphs (Abstract) (Slides) (talk video)

Chairman: Werner Kuich

12:00 - 14:30

Lunch Break

14:30 - 15:30

Jacques Sakarovitch

The Validity of Weighted Automata (Abstract) (Slides) (talk video)

Chairman: Jean-Éric Pin

15:30 - 16:30

Mikhail Volkov

Completely Reachable Automata   (Slides) (talk video)

Chairman: Jacques Sakarovitch

16:30 - 16:45

Break

16:45 - 17:45

Henning Fernau

Strange Parameterized Complexity Results of Natural Combinatorial Problems in Automata Theory and Algebra (Abstract) (Slides) (talk video)

Chairman: Moshe Vardi

17:45 - 18:45

Moshe Vardi

From Deterministic Automata to Algebraic Decision Diagrams in Boolean Reasoning   (Slides) (talk video)

Chairman: Tom Henzinger

18:45 - 19:30

Discussion

Wednesday, 23 June 2021

09:00 – 10:00

Jean-Éric Pin

Regular Preserving Functions and Transductions, a survey (Abstract) (Slides) (talk video)

Chairman: Mikhail Volkov

10:00 - 11:00

Frank Drewes

Automata and Grammars for Weighted Graph Languages   (Slides) (talk video)

Chairman: Henning Fernau

11:00 - 11:15

Break

11:15 - 12:15

Paul Gastin

Weighted Tiling Systems for Graphs: Evaluation Complexity (Abstract) (Slides) (talk video)

Chairman: Frank Drewes

12:15 - 14:30

Lunch Break

14:30 - 15:30

Manfred Droste

Weighted Automata over Monotonic Strong Bimonoids: Decidability and Undecidability of Finite Image   (Slides) (talk video)

Chairman: Paul Gastin

15:30 - 16:30

Andreas Maletti

Decidability of Equivalence for Deterministic Top-Down Tree-to-Weight Transducers (Abstract) (Slides) (talk video)

Chairman: George Rahonis

16:30 - 16:45

Break

16:45 - 17:45

Sven Dziadek

Greibach Normal Form and Simple Automata for Weighted ω-Context-Free Languages (Abstract) (Slides) (talk video)

Chairman: Andreas Maletti

17:45 - 18:45

George Rahonis

Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Abstract) (Slides) (talk video)

Chairman: Sven Dziadek

18:45 - 19:30

Discussion and closure