| FLoC 2006 | The 2006 Federated Logic Conference Seattle, August 10 - 22, 2006 |
Sunday, August 20th
See also the by-slot program.
| CAV | ICLP | IJCAR | SMT-COMP | |
| 09:00‑10:00 (Grand Ballroom C) Invited Talk |
09:00‑10:00 (Grand Ballroom A) Session 9: Applications II |
09:00‑10:00 (Grand Ballroom B) Invited Talk |
||
| 10:00‑10:30 Break |
||||
| 10:30‑12:00 (Grand Ballroom C) Session 15: Abstract Interpretation |
10:30‑11:00 (Grand Ballroom A) Session 10: Applications II (cont'd) |
10:30‑11:30 (Willow A) Session 12: CASC Results |
10:30‑12:30 (Grand Ballroom B) Session 11: Decision Procedures |
|
| 11:00‑12:30 (Grand Ballroom A) Session 11: Poster Presentations |
||||
| 12:00‑12:30 (Grand Ballroom C) Session 16: Tools Papers |
||||
| 12:30‑14:00 Lunch break |
||||
| 14:00‑15:30 (Grand Ballroom C) Session 17: Memory Consistency |
14:00‑15:30 (Aspen) Poster Session |
14:00‑15:30 (Grand Ballroom B) Session 13: Description Logic |
||
| 15:30‑16:00 Break |
||||
| 16:00‑17:30 (Grand Ballroom C) Session 18: Shape Analysis |
16:00‑18:00 (Grand Ballroom B) Session 14: Rewriting |
|||
| 17:30‑17:45 (Grand Ballroom C) SMT-COMP report |
||||
| 19:00‑21:00 (Richmond (4th floor)) SMT-COMP discussion |
||||
