FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
IWC PROGRAM
Saturday, July 7th

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

09:00-10:30 Session 23F: Invited Talk and Higher Dimensional Rewriting
09:00
Confluence in Constraint Handling Rules: An overview from early, fundamental results to recent extensions including state invariants and conf. modulo equivalence. (abstract)
10:00
Coherence modulo relations (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 26G: Algebraic Structures and Coherence
11:00
Coherence of monoids by insertions (abstract)
11:30
Critical pairs for Gray categories (abstract)
12:00
The diamond lemma for free modules (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 28F: Term Rewriting
14:00
Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs (abstract)
14:30
Towards a Verified Decision Procedure for Confluence of Ground Term Rewrite Systems in Isabelle/HOL (abstract)
15:00
Certified Ordered Completion (abstract)
15:30-16:00Coffee Break
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