Second International Summer School in Computational Logic
ISCL 2002
Acquafredda di Maratea (Basilicata, Italy) August 25-30, 2002
Preliminary Programme
Saturday 24
20.00 Dinner
22.00 Welcome Drink
Our advice is to try to arrive at the hotel in the early afternoon:
you will have time to settle in
and maybe try the hotel's swimming pool or enjoy its private beach.
Dinner will be served at 20:00 or 20:30 depending on whether the
majority of people has already arrived by 20:00 or not. The kitchen
of the hotel closes at 21:30 but some food of the buffet kind will be
set aside for people arriving later.
After the dinner there will be a
"Welcome Drink": everyone is invited.
Sunday 25
08.30 Computational Linguistics and Intelligent Systems
09.30 Logic Programming Implementation
10.30 Break
11.00 Model Checking of Finite and Infinite State Systems
13.00 Lunch
14.30 Abstract Interpretation: Theory and Applications
16.30 Break
17.00 Disjunctive Logic Programming
20.00 Dinner
21.30 Squid fishing (weather permitting)
After the dinner, if the weather allows it, there will be a
night-time boat excursion for at most 30
people (the maximum capacity of the boat), 10 can be
initiated in the art of squid fishing. The event is free for those
who just go for the trip. There will be a small cost (about 11 euros)
for those who want to try and fish for squid.
To book a place on the boat, ask the organisers to add your name to the list:
first come, first served. You must also tell us if you wish to try and fish.
Monday 26
08.30 Logic Programming Implementation
10.30 Break
11.00 Constraint Processing
13.00 Lunch
14.30 Computational Linguistics and Intelligent Systems
16.30 Break
17.00 Disjunctive Logic Programming
20.00
Pizza Party!
Instead of the usual dinner there will be a selection of
pizzas, salads and desserts accompanied by live music with a chance to
dance for those who can and want to.
Tuesday 27
08.30 Abstract Interpretation: Theory and Applications
10.30 Break
11.00 Model Checking of Finite and Infinite State Systems
13.00 Lunch
14.30 Constraint Processing
16.30 Break
17.00 Logic Programming Implementation
20.00 Dinner
21.30 Squid fishing (weather permitting)
Second boat excursion and squid beating: if weather permits and
enough people are interested.
Wednesday 28
08.30 Model Checking of Finite and Infinite State Systems
10.30 Break
11.00 Computational Linguistics and Intelligent Systems
13.00 Lunch
14.30 Abstract Interpretation: Theory and Applications
16.30 Break
17.00 Disjunctive Logic Programming
19.30 Dinner
21.00 Coach trip to Maratea
An evening tour of Maratea. We will
first go to the old town of Maratea where several shops should
still be open. Later we will take the bus to a
hilltop above Maratea to see a statue of Christ:
on a fine evening, the view from there can be
really great. We may make also make a
quick visit to the harbor before returning to the hotel by
midnight.
Thursday 29
08.30 Constraint Processing
10.30 Break
11.00 Logic Programming Implementation
13.00 Lunch
14.30 Computational Linguistics and Intelligent Systems
16.30 Break
17.00 Model Checking of Finite and Infinite State Systems
18.00 Disjunctive Logic Programming
20.00 Gala Dinner
At the hotel: the very best in food and a good selection of wines.
Friday 30
08.30 Constraint Processing
09.30 Abstract Interpretation: Theory and Applications