FLoC 2006 - FLoC

The 2006 Federated Logic Conference
Seattle, August 10 - 22, 2006

Saturday, August 12th

See also the by-slot program.

LICS	RTA	SAT

08:45‑10:00 (Grand Ballroom C) FLoC Opening and Plenary Session
10:00‑10:30 Break
10:30‑12:30 (Grand Ballroom C) Session 1: Complexity and Decidability	10:30‑12:30 (Willow A/B) Session 1: Constraints and Optimization	10:30‑12:30 (Grand Ballroom D) Session 1: Proofs and Cores
12:30‑14:00 Lunch break
14:00‑15:30 (Grand Ballroom C) Session 2: Concurrency	14:00‑15:30 (Willow A/B) Session 2: Equational Reasoning	14:00‑15:30 (Grand Ballroom D) Session 2: Heuristics and Algorithms
15:30‑16:00 Break
16:00‑18:00 (Grand Ballroom C) Session 3: Pushdown Systems	16:00‑17:00 (Willow A/B) Session 3: System Verification	16:00‑17:30 (Grand Ballroom D) Session 3: Applications
	17:00‑18:00 (Willow A/B) RTA Business Meeting

18:00‑19:00 (Grand Ballroom C) LICS Business Meeting		18:00‑20:00 (Richmond (4th floor)) SAT Business Meeting