FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
IFIP-WG1.6 PROGRAM
Sunday, July 31st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1E
Location: Ullmann 306
09:00
Inversion and Determinization in Term Rewriting (abstract)
10:00
RLooP (the Rewriting List of open Problems)
10:30-11:00Coffee Break
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

15:30-16:00Coffee Break
16:00-17:30 Session 19F

Business Meeting (IFIP-WG 1.6)

Location: Ullmann 306