UNIF PROGRAM
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23P: Invited Talk, and orders and sets of E-unifiers
Chair:
Location: Maths Seminar C4
09:00 | Handling substitutions via duality (abstract) |
10:00 | Unification based on generalized embedding (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 26R: Unification, protocol analysis, and logics
Chair:
Location: Maths Seminar C4
11:00 | Knowledge Problems in Equational Extensions of Subterm Convergent Theories (abstract) |
11:30 | Bounded ACh Unification (abstract) |
12:00 | About the unification type of topological logics over Euclidean spaces (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28P: Invited Talk, and Unification Modulo
Chair:
Location: Maths Seminar C4
14:00 | Compressed Term Unification: Results, uses, open problems, and hopes (abstract) |
15:00 | ACUI Unification modulo Ground Theories (abstract) |
15:30-16:00Coffee Break
16:00-18:10 Session 31S: Nominal Unification and Formalisations
Chair:
Location: Maths Seminar C4
16:00 | Proximity-Based Generalization (abstract) |
16:30 | Towards Generalization Methods for Purely Idempotent Equational Theories (abstract) |
17:00 | Rewriting with Generalized Nominal Unification (abstract) |
17:30 | Formalization of First-Order Syntactic Unification (abstract) |
17:50 | Efficiency of a good but not linear nominal unification algorithm (abstract) |
18:10-18:40 Session 33: UNIF 2018 Wrap Up
Discussions about UNIF 2018 issues and future of UNIF
Chairs:
Location: Maths Seminar C4
19:00-21:00 UNIF Dinner
This is a dinner in a restaurant to be defined different from the FLOC dinner at Balliot College.
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College