9:00  – 10:00

Keynote FSCD
Tobias Nipkow

10:00 – 10:30

Coffee break

10:30 – 12:30  Session 1

On upper bounds on the Church-Rosser theorem
Ken-Etsu Fujita
Confluence of Conditional Term Rewrite Systems via Transformations
Karl Gmeiner
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages
Nils Dallmeyer, Manfred Schmidt-Schauß
An extension of proof graphs for disjunctive parameterised Boolean equation systems
Yutaro Nagae, Masahiko Sakai

12:30 – 14:00


14:00 – 16:00  Session 2

Invited talk: The Complexity of Abstract Machines
Beniamino Accattoli
Sound Structure-Preserving Transformation for Ultra-Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
Reversible Term Rewriting in Practice
Naoki Nishida, Adrian Palacios, German Vidal

16:00 – 16:30

Coffee break