FLoC 2006 - FLoC

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

Saturday, August 19th

See also the by-slot program.

CAV	ICLP	IJCAR

		08:45‑09:30 (Grand Ballroom B) Herbrand Award: Wolfgang Bibel
09:00‑10:30 (Grand Ballroom C) Session 11: Concurrency	09:00‑09:30 (Grand Ballroom A) Session 6: Special Interest
	09:30‑10:30 (Grand Ballroom A) Invited Talk	09:30‑10:30 (Grand Ballroom B) Session 6: System Description 2
10:30‑11:00 Break
11:00‑12:30 (Grand Ballroom C) Session 12: Trees, Pushdown Systems and Boolean Programs	11:00‑12:30 (Grand Ballroom A) Session 7: Applications I	11:00‑12:30 (Willow A) Session 7: Search	11:00‑12:30 (Grand Ballroom B) Session 8: Proof Theory
12:30‑14:00 (Grand Ballroom D) Lunch (in hotel)	12:30‑14:00 Lunch break	12:30‑14:00 (Grand Ballroom D) Lunch (in hotel)
14:00‑15:30 (Grand Ballroom C) Session 13: Termination	14:00‑16:00 (Grand Ballroom A) Session 8: Semantics	14:00‑16:00 (Grand Ballroom B) Session 10: Combination	14:00‑16:00 (Willow A) Session 9: Proof Checking
15:30‑16:00 (Grand Ballroom C) Session 14: Tools Papers
16:00‑16:30 Break
16:30‑17:30 (Grand Ballroom B/C) Keynote Session

	17:45‑19:00 (Grand Ballroom A) ALP Business Meeting
18:00‑19:00 (Grand Ballroom C) CAV Business Meeting		18:00‑20:00 (Grand Ballroom B) IJCAR Business Meeting