ISCL Summer School 2002 - Planned Schedule
	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday
8:30-9:30	CLIS	LPI	AI	MC	CP	CP
9:30-10:30	LPI	LPI	AI	MC	CP	AI
	Break					Closing
11:00-12:00	MC	CP	MC	CLIS	LPI
12:00-13:00	MC	CP	MC	CLIS	LPI
	Lunch
14:30-15:30	AI	CLIS	CP	AI	CLIS
15:30-16:30	AI	CLIS	CP	AI	CLIS
	Break
17:00-18:00	DLP	DLP	LPI	DLP	MC
18:00-19:00	DLP	DLP	LPI	DLP	DLP
	Dinner
Evening Events	Squid Fishing	Pizza Party	Squid Fishing	Maratea	Gala Dinner
	AI: Abstract Interpretation (Cousot)
	CLIS: Computational Linguistics and Intelligent Systems (Dahl)
	CP: Constraint Processing (Dechter)
	DLP: Disjunctive Logic Programming (Leone)
	LPI: Logic Programming Implementation (Demoen).
	MC: Model Checking of Finite and Infinite State Systems (Esparza)