FLoC on Monday, July 19th

previous day next day See also the by talk program.
09:00‑10:00
(AT LT4)
Invited Talk
09:00‑10:00
(AT LT3)
ICLP Invited talk
09:00‑10:00
(AT LT5)
Invited Talk
10:00‑10:30
Coffee break
12:00‑12:30
(AT LT4)
Tool Session
10:30‑12:30
(AT LT3)
Applications
10:30‑12:00
(AT LT5)
Applications
12:30‑14:00
Lunch
14:00‑14:50
(AT LT4)
Decision Procedures
15:00‑15:30
Coffee break
17:10‑17:55
(AT LT4)
Tool Session
15:30‑17:30
(AT LT5)
Termination