FLoC on Saturday, July 17th

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
10:30‑12:30
(AT LT5)
Verification
12:30‑14:00
Lunch
14:00‑14:50
(AT LT4)
Memory Consistency
14:00‑15:00
(AT LT5)
First-Order Logic
15:00‑15:30
Coffee break
17:15‑17:45
(AT LT4)
Tools
18:00‑19:00
(AT LT4)
Business Meeting
17:00‑18:00
(AT LT2)
Five-Minute Talks
15:30‑17:00
(AT LT5)
Non-Classical Logic