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

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

08:30-09:00Coffee & Refreshments
09:30-10:30 Session 135B: Invited talk
Location: Taub 8
09:30
Unification types in modal logics (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 137F
Location: Taub 8
11:00
Higher-Order Unification with Definition by Cases (abstract)
PRESENTER: David Cerna
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

Lunches will be held in Taub hall.

14:00-15:30 Session 138F: Invited talk
Location: Taub 8
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 139D
Location: Taub 8
16:00
Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report) (abstract)
16:30
Restricted Unification in the Description Logic FLbot (abstract)