| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Tuesday, August 22nd
See also the by-slot program.
| TV | VSTTE |
| 08:30‑09:30 (Metropolitan A) Session 5: Memory Models |
|
| 09:00‑10:30 (Suite 2928) Session 1 |
|
| 09:30‑10:30 (Metropolitan A) Invited Talk |
|
| 10:30‑11:00 Break |
|
| 11:00‑12:30 (Metropolitan A) Session 6: Short Papers, Mutation Testing |
11:00‑12:30 (Suite 2928) Session 2 |
| 12:30‑14:00 Lunch break |
|
| 14:00‑14:30 (Metropolitan A) Session 7: Typing II, Multicores, Discussions |
14:00‑15:30 (Suite 2928) Session 3 |
| 14:30‑15:30 (Metropolitan A) Invited Talk |
|
| 15:30‑16:00 Break |
|
| 16:00‑17:00 (Metropolitan A) Moving Forward - what next? |
16:00‑17:00 (Suite 2928) Session 4 |
