FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
IWC PROGRAM
Monday, August 1st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26C: Confluence criteria and completeness
Location: Ullmann 306
09:00
Development Closed Critical Pairs: Towards a Formalized Proof (abstract)
PRESENTER: Aart Middeldorp
09:30
On Confluence of Parallel-Innermost Term Rewriting (abstract)
PRESENTER: Carsten Fuhs
10:00
Uniform Completeness (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 31D: Invited talk and equivalence
Location: Ullmann 306
11:00
Seven Confluence Criteria for Solving COPS #20 (abstract)
12:00
Formalized Signature Extension Results for Equivalence (abstract)
12:30-14:00Lunch Break

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

14:00-15:30 Session 34E: Conditional rewriting
Location: Ullmann 306
14:00
On local confluence of conditional rewrite systems (abstract)
14:30
A Critical Pair Criterion for Level-Commutation of Conditional Term Rewriting Systems (abstract)
PRESENTER: Takahito Aoto
15:00
Proving Confluence with CONFident (abstract)
PRESENTER: Raúl Gutiérrez
15:30-16:00Coffee Break
16:00-18:00 Session 37E: Higher-order rewriting and CoCo
Location: Ullmann 306
16:00
Confluence by Higher-Order Multi--One Critical pairs with an application to the Functional Machine Calculus (abstract)
16:30
Checking Confluence of Rewrite Rules in Haskell (abstract)
17:00
Confluence Competition
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event