FLoC 2006 - FLoC

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

Friday, August 18th

See also the by-slot program.

CASC	CAV	ICLP	IJCAR

	09:00‑10:00 (Metropolitan A) Invited Talk	09:00‑10:00 (Cirrus) Session 3: Invited Tutorial	09:00‑10:00 (Metropolitan B) Session 3: System Description 1
09:50‑10:00 (Willow A) CASC Starts
10:00‑10:30 Break
10:30‑12:30 (Willow A) CASC Continues	10:30‑12:00 (Metropolitan A) Session 5: Abstraction/Refinement	10:30‑12:30 (Cirrus) Session 4: Program Analysis	10:30‑12:30 (Metropolitan B) Session 4: Higher-Order Logic
	12:00‑12:30 (Metropolitan A) Session 6: Tools Papers
12:30‑14:00 Lunch break
14:00‑16:00 (Willow A) CASC Continues	14:00‑15:00 (Metropolitan A) Session 7: Symbolic Trajectory Evaluation	14:00‑16:00 (Cirrus) Session 5: Answer Set Programming	14:00‑16:00 (Metropolitan B) Session 5: Proof Theory
	15:00‑16:00 (Metropolitan A) Session 8: Property Specification and Verification
16:00‑16:30 Break
16:30‑17:30 (Willow A) CASC Ends	16:30‑18:00 (Metropolitan A) Session 9: Time	16:30‑17:30 (Cirrus) Invited Talk	16:30‑17:30 (Metropolitan B) Invited Talk

	18:00‑18:30 (Metropolitan A) Session 10: Tools Papers

	19:00‑22:30 (depart Spirit of Seattle from Pier 55) CAV-IJCAR Joint Cruise/Banquet	19:00‑22:00 (Cirrus) ICLP Banquet	19:00‑22:30 (depart Spirit of Seattle from Pier 55) CAV-IJCAR Joint Cruise/Banquet