| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Sunday, August 13th
See also the by-slot program.
| LICS | RTA | SAT |
| 09:00‑10:00 (Grand Ballroom C) Invited Talk |
09:00‑10:00 (Willow A/B) Invited Talk |
09:00‑10:00 (Grand Ballroom D) Invited Talk |
| 10:00‑10:30 Break |
||
| 10:30‑12:30 (Grand Ballroom C) Session 4: Logics of Programs |
10:30‑12:30 (Willow A/B) Session 4: Lambda Calculus |
10:30‑12:30 (Grand Ballroom D) Session 4: SMT |
| 12:30‑14:00 Lunch break |
||
| 14:00‑15:30 (Grand Ballroom C) Session 5: Proof Theory |
14:00‑15:30 (Willow A/B) Session 5: Theorem Proving |
14:00‑15:30 (Grand Ballroom D) Session 5: Structure |
| 15:30‑16:00 Break |
||
| 16:00‑18:00 (Grand Ballroom C) Session 6: Model Theory |
16:00‑17:00 (Willow A/B) Session 6: System Descriptions |
16:00‑18:00 (Grand Ballroom D) Poster Session |
| 19:00‑22:00 (Grand Ballroom B) LICS-SAT-RTA Joint Banquet |
19:00‑22:00 (Grand Ballroom B) LICS-SAT-RTA Joint Banquet |
19:00‑22:00 (Grand Ballroom B) LICS-SAT-RTA Joint Banquet |
