Skip to content. | Skip to navigation

First International Summer School on Behavioural Types


You are here: Home / Programme


Relevant papers for each course or lecture are linked from the title or listed below the title.

Also useful for background reading are the BETTY State-of-the-Art Reports:


Lectures will take place in the Hotel Excelsior.

Full Courses

  • Luís Caires (Universidade Nova de Lisboa, Portugal)
    Behavioural separation types
    Unfortunately Prof. Caires has had to cancel his participation in the Summer School.

Short Courses

Additional Lectures


09.00 - 09.15 Welcome
09.15 - 10.30 Vasconcelos Yoshida Vasconcelos Pfenning Hu / Lange
10.30 - 11.00 break break break break break
11.00 - 12.15 Vasconcelos Yoshida Wadler Hu Students*
12.15 - 13.30 lunch lunch excursion lunch lunch
13.30 - 14.45 Pfenning Padovani excursion Vasconcelos Pfenning
14.45 - 15.00 break break excursion break Closing
15.00 - 16.15 Padovani Pfenning excursion Dezani
16.15 - 16.45 break break excursion break
16.45 - 18.00 Carbone Students* excursion Students*

* These sessions are free for students to give short talks, if they want to. There will be a sign-up sheet on Monday.

The lecture by Ilaria Castellani, scheduled for 11.00 on Friday, has been cancelled due to illness.

Short Talks by Participants

Tuesday 17.00 - 17.15: Marco Patrignani (Secure Compilation)

Tuesday 17.15 - 17.30: Mahdi Amani (Analysis of AVL Trees)

Thursday 16.45 - 17.15: Dimitrios Kouzapas (Typestate Analysis for Java)

Friday 11.00 - 11.30: Giovanni Bernardi (A Model of Session Types)

Friday 11.30 - 12.00: Nicholas Ng


The excursion will be a boat trip, stopping in a bay where it will be possible to swim or take a walk. Lunch will be provided on the boat. The excursion will leave from Lovran at 13.00 and return at 18.30.

Summer School Dinner

There will be a group dinner on Monday evening at 19.30, at restaurant Najade.

Sunday evening

If participants want to meet somewhere for drinks and dinner on Sunday evening, we suggest Loza, which is a wine bar with tapas-style food. This is an informal suggestion; we are not collecting names or making a reservation, but if you go there then you might find other Summer School people. If it is too busy then you will have to try other places.

Thursday evening

There is a suggestion of going to Opatija and Volosko this evening. This is not an organised dinner, but if people want to go as a group, we suggest the following.


  • Walk to Opatija along the Lungomare (seaside path), starting at 18.00. The walk will take approximately one hour.


  • Take the bus (normal scheduled public bus) to Opatija, leaving Lovran at 19.00. The bus journey takes approximately 10 minutes.


  • Walk to Volosko (30 minutes or less), and then find somewhere to eat; everyone can make their own choice of restaurant, individually or in groups.
  • Return to Lovran by walking, bus or taxi. The bus runs approximately every 30 minutes and the last one is slightly before midnight. Bus timetable.