FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
UNIF 2022 PROGRAM
Friday, August 12th

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

10:30-11:00Coffee Break
11:00-12:30 Session 103E
11:00
Higher-Order Unification with Definition by Cases (abstract)
11:30
Higher-order unification from E-unification with second-order equations and parametrised metavariables (abstract)
12:00
Nominal Anti-Unification of Letrec-Expressions (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 104E: Invited talk
14:00
Unification Decision Procedures using Basic Narrowing modulo an Equational Theory
15:00
Fuzzy Order-Sorted Feature Term Unification (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 106C
16:00
Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report) (abstract)
16:30
Restricted Unification in the Description Logic FLbot (abstract)