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) |