FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
WST PROGRAM

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

Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120L
Location: Ullmann 309
09:00
Tuple Interpretations and Applications to Higher-Order Runtime Complexity (abstract)
PRESENTER: Deivid Vale
09:30
A transitive HORPO for curried systems (abstract)
PRESENTER: Liye Guo
10:00
Approximating Relative Match-Bounds (abstract)
PRESENTER: Dieter Hofbauer
10:30-11:00Coffee Break
11:00-12:30 Session 125R
Location: Ullmann 309
11:00
CeTA — Efficient Certification of Termination Proofs (abstract)
12:00
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
Location: Ullmann 309
14:00
A Calculus for Modular Non-Termination Proofs by Loop Acceleration (abstract)
PRESENTER: Carsten Fuhs
14:30
Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity (abstract)
PRESENTER: Jürgen Giesl
15:00
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)

Location: Ullmann 309
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event
Friday, August 12th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:00-10:30 Session 136
Location: Taub 4
10:00
The Termination Competition (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 137H
Location: Taub 4
11:00
Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT (abstract)
PRESENTER: Eleanore Meyer
11:20
LoAT: The Loop Acceleration Tool (abstract)
PRESENTER: Florian Frohn
11:40
AProVE 2022 (abstract)
PRESENTER: Jürgen Giesl
12:00
The System SOL version 2022 (Tool Description) (abstract)
PRESENTER: Makoto Hamana
12:20
Things WANDA cannot do (abstract)
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

14:00-15:30 Session 138H
Location: Taub 4
14:00
CeTA – A certifier for termCOMP 2022 (abstract)
PRESENTER: René Thiemann
14:20
Certified Matchbox (abstract)
14:35
MultumNonMulta at termCOMP 2022 (abstract)
14:55
Runtime complexity of parallel-innermost term rewriting at TermComp 2022 (abstract)
15:15
DEPP (abstract)
PRESENTER: Aart Middeldorp
15:30-16:00Coffee Break