FLoC '02 - Wednesday July 31st

Wednesday July 31st

All sessions
See also the by-slot program

CAV	TABLEAUX	ICLP	WLPE	PaPS RADM	CICLOPS
09:00-10:00 in Aud. 1 CAV #17: Invited talk	09:00-10:30 in Aud. 3 TABLEAUX #3 (w. invited talk)	09:00-10:30 in Aud. 4 ICLP #9: World Wide Web (w. invited talk)	09:00-10:30 in Aud. 7 WLPE #1: Constraints	09:00-10:30 in Aud. 8 RADM #1
10:00-10:30 in Aud. 1 CAV #18: Code Verification	09:00-10:30 in Aud. 3 TABLEAUX #3 (w. invited talk)		09:00-10:30 in Aud. 7 WLPE #1: Constraints	09:00-10:30 in Aud. 8 RADM #1
R E F R E S H M E N T S
11:00-12:30 in Aud. 1 CAV #19: Regular Model Checking	11:00-12:30 in Aud. 3 TABLEAUX #4	11:00-12:30 in Aud. 4 ICLP #10: Theory	11:00-12:30 in Aud. 7 WLPE #2: Constraints, Object-oriented	11:00-12:00 in Aud. 8 RADM #2
				11:00-12:00 in Aud. 8 RADM #2	11:30-12:30 in Aud. 10 CICLOPS #1: LP and Program Analysis
					11:30-12:30 in Aud. 10 CICLOPS #1: LP and Program Analysis
L U N C H
14:00-15:30 in Aud. 1 CAV #20: Model Reduction	14:00-15:30 in Aud. 3 TABLEAUX #5	14:00-15:30 in Aud. 4 ICLP #11: Invited Tutorial	14:00-15:30 in Aud. 7 WLPE #3: Logic programming	14:00-15:30 in Aud. 8 PaPS+RADM Joint session 1 (w. invited talk)	14:00-15:30 in Aud. 10 CICLOPS #2: (C)LP and OO
R E F R E S H M E N T S
	16:00-17:30 in Aud. 3 TABLEAUX #6 (w. system descriptions)	16:00-16:30 in Aud. 4 ICLP #12: Stable Models and Answer Sets I	16:00-16:30 in Aud. 7 WLPE #4: Abstract interpretation	16:00-17:30 in Aud. 8 PaPS+RADM Joint session 2 (panel)	16:00-17:00 in Aud. 10 CICLOPS #3: LP and its implementation guts


	17:30-18:30 in Aud. 3 TABLEAUX TABLEAUX Business Meeting
	17:30-18:30 in Aud. 3 TABLEAUX TABLEAUX Business Meeting	18:00-19:30 in Nyhavn ICLP ICLP boat trip excursion; leaving from Nyhavn

	19:30-22:00 in Restaurant Luftkastellet ICLP+TABLEAUX Conference dinner (w. banquet speaker)