| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Monday, August 21st
See also the by-slot program.
| AFM | CICLOPS | ESCoR | GDV | ICLP | MVLPA | PDPAR | PLPV | SVV | TV | UITP | V&D | WG |
| 08:30‑09:30 (Metropolitan A) Session 1: Experience Reports, Transactions I |
08:30‑10:30 (Suite 3128) Session 1: Practice |
|||||||||||
| 09:00‑10:30 (Suite 3228) Session 1: Overview and PVS Developments |
09:00‑10:00 (Suite 2828) Invited System Paper |
09:00‑10:30 (Suite 2802) ICLP Doctoral Student Consortium |
09:00‑10:30 (Richmond) Session 1: Martin-Loef Type Theory |
09:00‑10:30 (Suite 2628) Session 1 |
09:00‑10:30 (Pacific) WG 1.7 Meeting |
|||||||
| 09:15‑10:30 (Suite 3028) Session 1: Invited Talk |
||||||||||||
| 09:30‑10:30 (Suite 2928) Invited Tutorial |
09:30‑10:30 (Suite 3102) Session 1: Invited talk |
09:30‑10:30 (Metropolitan B) Session 1 |
09:30‑10:30 (Metropolitan A) Invited Talk |
|||||||||
| 10:00‑10:30 (Suite 2828) Systems Papers |
||||||||||||
| 10:30‑11:00 Break |
||||||||||||
| 11:00‑12:30 (Suite 3228) Session 2: ICS/Yices and SAL |
11:00‑12:30 (Suite 2928) Session 1 |
11:00‑12:30 (Suite 2828) Systems Papers |
11:00‑12:00 (Suite 3102) Session 2: Invited talk |
11:00‑12:30 (Suite 2802) ICLP Doctoral Student Consortium |
11:00‑12:30 (Metropolitan B) Session 2 |
11:00‑12:30 (Richmond) Session 2: Verified Programming in Haskell |
11:00‑12:00 (Suite 3028) Session 2 |
11:00‑12:30 (Metropolitan A) Session 2: Abstraction Refinement, Typing I |
11:00‑12:00 (Suite 2628) Session 2 |
11:00‑12:30 (Suite 3128) Session 2: Debugging |
11:00‑12:30 (Pacific) WG 1.7 Meeting (continued) |
|
| 11:30‑12:30 (Suite 3002) Session 1 |
||||||||||||
| 12:30‑14:00 Lunch break |
||||||||||||
| 14:00‑15:30 (Suite 3228) Session 3 |
14:00‑15:30 (Suite 2928) Session 2 |
14:00‑15:00 (Suite 2828) Invited Application Paper |
14:00‑15:30 (Suite 3102) Session 3: Contributed talks |
14:00‑15:30 (Suite 2802) ICLP Doctoral Student Consortium |
14:00‑15:30 (Suite 3002) Session 2: Invited Talk |
14:00‑15:30 (Metropolitan B) Session 3 |
14:00‑15:30 (Richmond) Session 3: Verification Environments |
14:00‑15:30 (Suite 3028) Session 3 |
14:00‑14:30 (Metropolitan A) Session 3: Checkpointing, Transactions II |
14:00‑15:30 (Suite 2628) Session 3 |
14:00‑15:30 (Suite 3128) Session 3: Fault Localization |
14:00‑15:30 (Pacific) WG 1.7 Meeting (continued) |
| 14:30‑15:30 (Metropolitan A) Invited Talk |
||||||||||||
| 15:00‑15:30 (Suite 2828) Applications Papers |
||||||||||||
| 15:30‑16:00 Break |
||||||||||||
| 16:00‑18:00 (Suite 3228) Session 4 |
16:00‑17:00 (Suite 2928) Session 3 |
16:00‑17:30 (Suite 2828) Applications Papers |
16:00‑17:00 (Suite 3102) Session 4: Invited talk |
16:00‑17:00 (Suite 2802) ICLP Doctoral Student Consortium |
16:00‑17:30 (Suite 3002) Session 3 |
16:00‑17:45 (Metropolitan B) Session 4 |
16:00‑16:30 (Richmond) Session 4: Short Papers |
16:00‑17:00 (Suite 3028) Session 4 |
16:00‑17:00 (Metropolitan A) Session 4: Invited Talk |
16:00‑17:00 (Suite 2628) Session 4 |
16:00‑18:00 (Suite 3128) Session 4: From Localization to Correction |
16:00‑18:00 (Pacific) WG 1.7 Meeting (continued) |
| 16:30‑17:15 (Richmond) Panel Discussion: Future Directions of Language-Based Program Verification |
||||||||||||
| 17:00‑18:00 (Metropolitan A) Open Mike |
17:00‑18:00 (Suite 2628) Session 5: Discussion, Demos, Business Meeting |
|||||||||||
| 17:30‑18:30 (Suite 2828) ESP - An Empirically Successful Panel |
||||||||||||
| 17:45‑18:30 (Metropolitan B) Discussion |
||||||||||||
