Last modification: January 29, 2004

The school has finished. Nevertheless, it seems it did not finish completely. We preserve the old pages, and use our homepage to host information on takehomes.

• January, 29th. Takehome for Type systems.
• November, 13th. List of participants.
• August, 20th. These photographs were taken by the local organization team.
• August, 20th. And more pics taken by Julio.
• August, 18th. More pics taken by Julio.
• There is a Yahoo group about the school, with pics.
• And more pics in Aline's homepage.
• More pics in Piotr's homepage.

Introductory courses

• NEW !!!Type systems [see here]
• Abstract interpretation and static analysis [see here]
• Modal and temporal logics [exam]

Advanced courses

• Mobility [exam]
• Language-based security [exam]

• Slides from Andrei Sabelfeld
   
  • First lecture: pdf(1.2M)
  • Second lecture: pdf(740k)
  • Third lecture: pdf(406k)

• Updated slides from Davide Sangiorgi
   
  • First package: ps.gz(101k)
  • Second package: ps.gz(103k)

• Updated slides from Peter Dybjer: ps.gz(109k)

• Slides from Colin Stirling
   
  • First lecture: pdf(1.8M)
  • Second lecture: pdf(719k)
  • Third lecture: pdf(402k)
  • Fourth lecture: pdf(381k)

• Updated slides from Dave Schmidt [see here]
• Slides from Joshua Guttman
   
  • First lecture: formats dvi.gz(18k), ps.gz(89k), pdf(1.5M)
  • Second lecture: formats dvi.gz(18k), ps.gz(90k), pdf(1.5M)
  • Third lecture: formats dvi.gz(14k), ps.gz(98k), pdf(1.3M)