FLoC on Friday, July 16th

previous day next day See also the by talk program.
09:00‑10:00
(George Square Lecture Theatre)
FLoC Plenary Talk: David Basin
10:00‑10:30
Coffee break
12:30‑14:00
Lunch
14:00‑15:00
(AT LT5)
Description Logic I
15:00‑15:30
Coffee break
15:30‑16:30
(AT LT4)
Tools
15:30‑17:00
(AT LT5)
Higher-Order Logic