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
Chair:
David Cerna
Location: Taub 8
09:30
Philippe Balbiani
Unification types in modal logics (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 137F
Chair:
David Sabel
Location: Taub 8
11:00
Chad Brown and David Cerna
Higher-Order Unification with Definition by Cases (abstract)
PRESENTER: David Cerna
11:30
Nikolai Kudasov
Higher-order unification from E-unification with second-order equations and parametrised metavariables (abstract)
12:00
Manfred Schmidt-Schauss and Daniele Nantes-Sobrinho
Nominal Anti-Unification of Letrec-Expressions (abstract)
PRESENTER: Daniele Nantes-Sobrinho
12:30-14:00Lunch Break

Lunches will be held in Taub hall.

14:00-15:30 Session 138F: Invited talk
Chair:
Santiago Escobar
Location: Taub 8
14:00
Christopher Lynch
Unification Decision Procedures using Basic Narrowing modulo an Equational Theory
15:00
Gian Carlo Milanese and Gabriella Pasi
Fuzzy Order-Sorted Feature Term Unification (abstract)
PRESENTER: Gian Carlo Milanese
15:30-16:00Coffee Break
16:00-17:00 Session 139D
Chair:
Philippe Balbiani
Location: Taub 8
16:00
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall and Christophe Ringeissen
Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report) (abstract)
PRESENTER: Andrew M. Marshall
16:30
Franz Baader and Oliver Fernandez Gil
Restricted Unification in the Description Logic FLbot (abstract)
PRESENTER: Oliver Fernandez Gil