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

09:00-10:30 Session 1A

The International School on Rewriting

10:30-11:00Coffee Break
11:00-12:30 Session 7B
11:00
RLooP
11:30
Quantitative Weak Linearisation (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 11E

Business Meeting (IFIP-WG 1.6)

15:30-16:00Coffee Break