FLoC 2006 - FLoC

The 2006 Federated Logic Conference
Seattle, August 10 - 22, 2006

Monday, August 14th

See also the by-slot program.

LICS	RTA	SAT

09:00‑10:00 (Metropolitan A) Invited Talk	09:00‑10:00 (Cirrus) Invited Talk	09:00‑10:00 (Metropolitan B) Invited Talk
10:00‑10:30 Break
10:30‑12:30 (Metropolitan A) Session 7: Temporal Logics and Automata	10:30‑12:00 (Cirrus) Session 7: Termination	10:30‑12:30 (Metropolitan B) Session 6: MAX-SAT

12:30‑14:00 Lunch break
14:00‑16:00 (Metropolitan A) Session 8: Lambda Calculus	14:00‑15:30 (Cirrus) Session 8: Higher-Order Rewriting and Unification	14:00‑16:00 (Metropolitan B) Session 7: Local Search and Survey Propagation

16:00‑16:30 Break
16:30‑18:00 (Metropolitan A and B) Keynote Session: Marking the Gödel Centenary