WST22 Program

WST22 PROGRAM

Thursday, August 11th

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

10:30-11:00Coffee Break

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

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

15:30-16:00Coffee Break

Business Meeting (WST 2022)

18:00-19:30Workshop Dinner (at the Technion) - Paid event

Friday, August 12th

10:30-11:00Coffee Break

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

12:30-14:00Lunch Break

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

15:30-16:00Coffee Break