06/06/2002 - Thursday
09:00 - 10:00 Tutorial: Coalgebraic Structures in Program
Construction, Luis Barbosa
10:00 - 11:00 Tutorial:
Reusable Semantic Specifications of Programming Languages, Jose Emilio
Labra Gayo
11:00 - 11:30 Coffee break
11:30 - 13:00 Technical Session 2
13:00 - 14:30 Lunch
14:30 - 16:00 Technical Session 3
16:00 - 16:30 Coffee break
16:30 - 17:30 Invited speaker: Simon Thompson, Univ. of Kent
"Reheated Curry: functional refactoring in action" (Part I)
17:30 - 19:00 PC Meeting
06/07/2002 - Friday
09:00 - 10:00 Tutorial: AspectJ - Programação Orientada a
Aspectos em Java, Sérgio Soares and Paulo Borba
10:00 - 11:00 Tutorial: Advanced Programming Features in Objective
Caml, Emmanuel Chailloux, Maria-Virginia Aponte, Guy Cousineau and
Pascal Manoury, Emmanuel
11:00 - 11:30 Coffee break
11:30 - 13:00 Technical Session 4
13:00 - 14:30 Lunch
14:30 - 16:00 Technical Session 5
16:00 - 16:30 Coffee break
16:30 - 17:30 Invited speaker: Simon Thompson, Univ. of Kent
"Reheated Curry: functional refactoring in action" (Part II)
17:30 - 18:30 Closing