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

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

10:30-11:00Coffee Break
12:30-14:00Lunch Break
14:00-15:30 Session 11B

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/

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

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

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