WST Program

WST PROGRAM

Days: Thursday, August 11th Friday, August 12th

Thursday, August 11th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

09:00-10:30 Session 120L

Chair:

Carsten Fuhs

Location: Ullmann 309

09:00	Cynthia Kop and Deivid Vale Tuple Interpretations and Applications to Higher-Order Runtime Complexity (abstract) PRESENTER: Deivid Vale
09:30	Liye Guo and Cynthia Kop A transitive HORPO for curried systems (abstract) PRESENTER: Liye Guo
10:00	Alfons Geser, Dieter Hofbauer and Johannes Waldmann Approximating Relative Match-Bounds (abstract) PRESENTER: Dieter Hofbauer

10:30-11:00Coffee Break

11:00-12:30 Session 125R

Chair:

Jürgen Giesl

Location: Ullmann 309

11:00	René Thiemann CeTA — Efficient Certification of Termination Proofs (abstract)
12:00	Nao Hirokawa and Aart Middeldorp Hydra Battles and AC Termination (abstract) PRESENTER: Aart Middeldorp

12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 127R

Chair:

Deivid Vale

Location: Ullmann 309

14:00	Florian Frohn and Carsten Fuhs A Calculus for Modular Non-Termination Proofs by Loop Acceleration (abstract) PRESENTER: Carsten Fuhs
14:30	Marcel Hark, Florian Frohn and Jürgen Giesl Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity (abstract) PRESENTER: Jürgen Giesl
15:00	Jürgen Giesl, Nils Lommen, Marcel Hark and Eleanore Meyer Improved Automatic Complexity Analysis of Integer Programs (abstract) PRESENTER: Nils Lommen

15:30-16:00Coffee Break

16:00-17:00 Session 131N

Business Meeting (WST 2022)

Chair:

Cynthia Kop

Location: Ullmann 309

18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event

Friday, August 12th

View this program: with abstracts session overview talk overview side by side with other conferences

08:30-09:00Coffee & Refreshments

10:00-10:30 Session 136

Chair:

Cynthia Kop

Location: Taub 4

10:00

Akihisa Yamada

The Termination Competition (abstract)

10:30-11:00Coffee Break

11:00-12:30 Session 137H

Chair:

Dieter Hofbauer

Location: Taub 4

11:00	Nils Lommen, Eleanore Meyer, Marcel Hark and Jürgen Giesl Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT (abstract) PRESENTER: Eleanore Meyer
11:20	Florian Frohn and Jürgen Giesl LoAT: The Loop Acceleration Tool (abstract) PRESENTER: Florian Frohn
11:40	Jürgen Giesl, Daniel Cloerkes, Stefan Dollase, Florian Frohn, Carsten Fuhs, Jera Hensel, David Keller, Nils Lommen and Eleanore Meyer AProVE 2022 (abstract) PRESENTER: Jürgen Giesl
12:00	Makoto Hamana and Keigo Imai The System SOL version 2022 (Tool Description) (abstract) PRESENTER: Makoto Hamana
12:20	Cynthia Kop Things WANDA cannot do (abstract)

12:30-14:00Lunch Break

Lunches will be held in Taub hall.

14:00-15:30 Session 138H

Chair:

Florian Frohn

Location: Taub 4

14:00	Christina Kohl and René Thiemann CeTA – A certifier for termCOMP 2022 (abstract) PRESENTER: René Thiemann
14:20	Johannes Waldmann Certified Matchbox (abstract)
14:35	Dieter Hofbauer MultumNonMulta at termCOMP 2022 (abstract)
14:55	Carsten Fuhs Runtime complexity of parallel-innermost term rewriting at TermComp 2022 (abstract)
15:15	Fabian Mitterwallner and Aart Middeldorp DEPP (abstract) PRESENTER: Aart Middeldorp

15:30-16:00Coffee Break