FLoC on Wednesday, July 14th

previous day next day See also the by talk program.
09:00‑10:00
(IF 4.31+4.33)
Invited Talk
09:00‑10:00
(IF G.07)
Session 1
09:00‑10:00
(AT LT5)
ITP Invited Talk
09:00‑10:00
(AT LT4)
Invited Lecture
09:00‑10:00
(IF G.07A)
SAT SMT Tutorial
09:00‑10:00
(AT LT3)
Invited Talk
09:00‑10:00
(IF G.03)
Invited Talk
10:00‑10:30
Coffee break
10:30‑12:00
(IF 4.31+4.33)
Session 2
10:30‑12:30
(AT LT1)
Session 1
10:30‑12:30
(IF G.07)
Session 2
10:30‑12:30
(AT LT5)
Session 12
10:25‑10:30
(AT 2.12)
Opening
10:30‑12:30
(AT 2.12)
Formalizations
10:30‑12:30
(AT LT4)
Process Calculi
10:30‑12:30
(AT 2.14)
Session 2
10:30‑11:30
(IF G.07A)
Invited Talk
11:30‑12:30
(IF G.07A)
Session 3
10:30‑12:30
(AT LT3)
Session 2
12:30‑14:00
Lunch
14:00‑15:00
(IF 4.31+4.33)
Invited Talk
14:00‑15:00
(AT LT1)
Session 2
14:00‑15:00
(IF G.07)
Session 3
14:00‑15:00
(AT LT5)
Session 13
14:00‑15:00
(AT 2.12)
Implementations
14:00‑15:00
(AT LT4)
Invited Lecture
14:00‑15:00
(AT LT3)
Invited Talk
15:00‑15:30
Coffee break
15:30‑17:00
(IF 4.31+4.33)
Session 4
15:30‑17:00
(AT LT1)
Session 3
15:30‑17:30
(IF G.07)
Session 4
15:30‑17:00
(AT LT5)
Session 14
17:00‑18:00
(AT 2.12)
Invited speaker 2
18:00‑18:10
(AT 2.12)
Closing
15:30‑17:00
(AT LT4)
Concurrency
17:15‑18:20
(AT LT4)
Coalgebras. Closing
15:30‑17:35
(AT 2.14)
Session 4
15:30‑17:30
(AT LT2)
Competitions
15:30‑16:00
(IF G.07A)
Session 5
15:30‑17:30
(AT LT3)
Session 4
15:30‑17:00
(IF G.03)
Term Rewriting