FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
CHANGE PROGRAM
Sunday, July 31st

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

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
12:30-14:00Lunch Break

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

14:00-15:30 Session 14C

This is a KR-2022 tutorial on Sunday July 31st: two 1.5h sessions in afternoon with a break: 14:00-15:30 and 16:00-17:30. See details at  https://www.cs.ryerson.ca/~mes/HTSC-Tutorial-KR2022/

Location: Ullmann 200
14:00
Tutorial: Hybrid Temporal Situation Calculus for Planning with Continuous Processes: Semantics (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 19B

This is a KR-2022 tutorial on Sunday July 31st: two 1.5h sessions in afternoon with a break: 14:00-15:30 and 16:00-17:30

Location: Ullmann 200
16:00
Tutorial: Hybrid Temporal Situation Calculus for Planning with Continuous Processes: Semantics (abstract)