Program

All sessions will take place in Suite 3228 unless otherwise indicated.

Friday, August 11th

Friday's program is also available with abstracts or side by side with other meetings.

11:00‑12:30  Session 1: Unification Modulo Theories

11:00	Max Tuengerthal, Ralf Kuesters and Mathieu Turuani Implementing a Unification Algorithm for Protocol Analysis with XOR
11:30	Pascal Lafourcade , Denis Lugiez and Ralf Treinen ACUNh: Unification and Disunification Using Automata Theory
12:00	Paliath Narendran and Pavithra Ramarathnam Unification modulo ACUI with collapsing homomorphisms

12:30‑14:00  Lunch break

14:00‑15:00  Session 2: Higher-Order Unification

14:00	Sjaak Smetsers and Arjen van Weelden Bracket Abstraction Preserves Typability
14:30	Edwin Westbrook Pattern Solutions to Higher-Order Unification Problems

15:00‑15:30  Session 3: Equations on Languages

15:00

Franz Baader and Alexander Okhotin Complexity of language equations with one-sided concatenation and all Boolean operations

15:30‑16:00  Break

16:00‑17:00  Session 4: Unification with Flexible Arity Symbols

16:00	Jorge Coelho and Mário Florido Unification with Flexible Arity Symbols: a Typed Approach
16:30	Temur Kutsia and Mircea Marin Solving Regular Constraints for Hedges and Contexts

17:00‑17:30  Session 5: Term Rewriting Systems

17:00

Adel bouhoula and Florent Jacquemard Automating Sufficient Completeness Check for Conditional and Constrained TRS