| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Thursday, August 10th
See also the by-slot program.
| GALOP | IFIP WG | LCC | SSPV |
| 09:00‑10:30 IFIP WG Meeting |
|||
| 09:25‑09:30 (Suite 3128) Welcome to LCC06 |
|||
| 09:30‑10:30 (Suite 3102) Session 1: Invited Talk |
09:30‑10:30 (Suite 3128) Session 1: Invited Talk |
||
| 09:45‑10:30 (Metropolitan A) Session 1 |
|||
| 10:30‑11:00 Break |
|||
| 11:00‑12:30 (Suite 3102) Session 2 |
11:00‑12:30 IFIP WG Meeting (continued) |
11:00‑12:30 (Suite 3128) Session 2 |
11:00‑12:30 (Metropolitan A) Session 2 |
| 12:30‑14:00 Lunch break |
|||
| 14:00‑15:30 (Suite 3102) Session 3 |
14:00‑15:30 IFIP WG Meeting (continued) |
14:00‑15:30 (Suite 3128) Session 3 |
14:00‑15:30 (Metropolitan A) Session 3 |
| 15:30‑16:00 Break |
|||
| 16:00‑17:30 (Suite 3102) Session 4 |
16:00‑18:00 IFIP WG Meeting (continued) |
16:00‑17:00 (Suite 3128) Session 4: Invited Talk |
16:00‑16:45 (Metropolitan A) Session 4 |
