FLoC 2006 - FLoC

FLoC 2006

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

Tuesday, August 15th

See also the by-slot program.

ACL	BMC	FATES-RV	FCS-ARSPA	HOR	LICS	LSB	SAT	VERIFY	WST

08:50‑09:00 (Suite 3102) Welcome and Opening Remarks									08:50‑09:00 (Suite 2628) Welcome to WST 2006
09:00‑10:00 (Suite 3102) Session 1	09:00‑10:00 (Metropolitan B) Competitions	09:00‑10:00 (Suite 2828) Session 1: Invited Talk	09:00‑10:00 (Metropolitan A) Invited Talk (LICS)	09:00‑10:00 (Suite 3002) Invited Talk	09:00‑10:00 (Metropolitan A) Invited Talk	09:00‑10:00 (Suite 3228) Session 1	09:00‑10:00 (Metropolitan B) Competitions	09:00‑10:00 (Suite 3128) Session 1	09:00‑10:00 (Suite 2628) Invited Talk
10:00‑10:30 Break
10:30‑11:45 (Suite 3102) Session 2	10:30‑11:30 (Suite 2928) Session 2: Invited Talk	10:30‑12:30 (Suite 2828) Session 2	10:30‑12:30 (Cirrus) Session 1: Protocols 1	10:30‑12:00 (Suite 3002) Session 1	10:30‑12:00 (Metropolitan A) Session 9: Timed and Stochastic Systems	10:30‑12:30 (Suite 3228) Session 2	10:30‑12:30 (Metropolitan B) Session 8: QBF	10:30‑12:00 (Suite 3128) Session 2: Verification Tools I	10:30‑11:30 (Suite 2628) Session 1: Logic Programming
	11:30‑12:30 (Suite 2928) Session 3: Technical Papers								11:30‑12:30 (Suite 2628) Session 2: Narrowing; Non-Termination

					12:00‑12:30 (Metropolitan A) Session 10: Short Presentations 1
12:30‑14:00 Lunch break
14:00‑15:15 (Willow A) Session 3	14:00‑15:00 (Suite 2928) Session 4: Invited Talk	14:00‑15:30 (Suite 2828) Session 3	14:00‑15:30 (Cirrus) Session 2: Protocol logics	14:00‑15:30 (Suite 3002) Session 2	14:00‑15:30 (Metropolitan A) Session 11: Verification	14:00‑15:30 (Suite 3228) Session 3	14:00‑15:30 (Metropolitan B) Session 9: Counting and Concurrency	14:00‑15:30 (Suite 3128) Session 3: Verification Tools II	14:00‑15:00 (Suite 2628) Session 3: Higher-Order Rewriting
	15:00‑15:30 (Suite 2928) Session 5: Technical Paper								15:00‑15:30 (Suite 2628) Termination Competition

15:30‑16:00 Break
16:00‑16:45 (Willow A) Invited Talk	16:00‑17:00 (Suite 2928) Session 6: Technical Papers	16:00‑17:30 (Suite 2828) Session 4: Tool Demos	16:00‑17:00 (Cirrus) Session 3: Authentication	16:00‑17:00 (Suite 3002) Invited Talk	16:00‑17:00 (Metropolitan A) Session 12: Approximations	16:00‑17:45 (Suite 3228) Session 4	16:00‑18:00 (Metropolitan B) Poster Session	16:00‑17:00 (Suite 3128) Session 4: Information Flow Security	16:00‑17:00 (Suite 2628) Session 4: String Rewriting
16:45‑18:15 (Willow A) Session 4: Panel: Grand Challenge Problems for the ACL2 Community
					17:00‑17:40 (Metropolitan A) Session 13: Short Presentations 2				17:00‑18:00 (Suite 2628) Business Meeting





19:00‑21:30 (outside hotel) Workshop Dinner