FLoC 2006 - FLoC

FLoC 2006

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

Friday, August 11th

See also the by-slot program.

GALOP	HyLo	LCC	LICS	PAuL	PCC	RTA	RULE	SAT	SSPV	UNIF	WRS

	08:55‑09:00 (Suite 2928) Opening
	09:00‑10:30 (Suite 2928) Session 1			09:00‑10:30 (Suite 3002) Session 1			09:00‑10:00 (Suite 2628) Joint RULE/WRS Invited Talk				09:00‑10:00 (Suite 2628) Joint RULE/WRS Invited Talk
					09:15‑10:30 (Metropolitan B) Session 1: Welcoming and Keynote Address
09:30‑10:30 (Suite 3102) Session 5: Invited Talk		09:30‑10:30 (Suite 3128) Session 5: Invited Talk
									09:45‑10:30 (Metropolitan A) Session 5
							10:00‑10:30 (Suite 2628) Session 1				10:00‑10:30 (Suite 2828) Session 1
10:30‑11:00 Break
11:00‑12:30 (Suite 3102) Session 6	11:00‑12:30 (Suite 2928) Session 2	11:00‑12:30 (Suite 3128) Session 6		11:00‑12:30 (Suite 3002) Session 2	11:00‑12:30 (Metropolitan B) Session 2: Invited Talks		11:00‑12:30 (Suite 2628) Session 2		11:00‑12:30 (Metropolitan A) Session 6	11:00‑12:30 (Suite 3228) Session 1: Unification Modulo Theories	11:00‑12:30 (Suite 2828) Session 2: Programming Languages and Implementations
12:30‑14:00 Lunch break
14:00‑15:30 (Suite 3102) Session 7	14:00‑15:30 (Suite 2928) Session 3	14:00‑14:45 (Suite 3128) Session 7		14:00‑15:30 (Suite 3002) Session 3	14:00‑15:00 (Metropolitan B) Session 3: Keynote Address		14:00‑15:00 (Suite 2628) Joint RULE/WRS Invited Talk		14:00‑15:30 (Metropolitan A) Session 7	14:00‑15:00 (Suite 3228) Session 2: Higher-Order Unification	14:00‑15:00 (Suite 2628) Joint RULE/WRS Invited Talk

					15:00‑15:30 (Cedar) Session 4: Posters		15:00‑15:30 (Suite 2628) Session 3			15:00‑15:30 (Suite 3228) Session 3: Equations on Languages	15:00‑15:30 (Suite 2828) Session 3
15:30‑16:00 Break
16:00‑16:45 (Suite 3102) Session 8	16:00‑18:30 (Suite 2928) Session 4			16:00‑18:00 (Suite 3002) Session 4	16:00‑16:30 (Cedar) Session 5: Posters (continued)		16:00‑17:00 (Suite 2628) Session 4		16:00‑16:45 (Metropolitan A) Session 8	16:00‑17:00 (Suite 3228) Session 4: Unification with Flexible Arity Symbols	16:00‑17:00 (Suite 2828) Session 4: Application of Strategies
					16:30‑17:30 (Metropolitan B) Session 6: Invited Talks

							17:00‑17:30 (Suite 2628) Session 5: Discussion: Rule-based programming -- what's next?			17:00‑17:30 (Suite 3228) Session 5: Term Rewriting Systems	17:00‑17:30 (Suite 2828) Session 5: WRS Business Meeting



			19:00‑21:00 (Grand Ballroom C) LICS Reception			19:00‑21:00 (Grand Ballroom A) RTA Reception		19:00‑21:00 (Grand Ballroom B) SAT Reception