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:
- Report by Working Group 1 (Foundations)
- Report by Working Group 2 (Security)
- Report by Working Group 3 (Languages)
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.
- Frank Pfenning (Carnegie Mellon University, USA)
Linear logic and session types
Lecture notes (not all of this material will be covered):
http://www.cs.cmu.edu/~fp/courses/15816-s12/lectures/06-quantification.pdfHigher-Order Processes, Functions, and Sessions: A Monadic Integration
A recent paper, which contains references to previous work: - Vasco Vasconcelos (University of Lisbon, Portugal)
Fundamentals of Session Types
Fundamentals of Session Types (V. T. Vasconcelos, Information and Computation 217:52-70, 2012)
SePi: a concurrent, message-passing programming language based on the pi-calculus
http://gloss.di.fc.ul.pt/sepi/ - Nobuko Yoshida and Raymond Hu (Imperial College London, UK)
Theory and applications of multi-party session types
Multiparty Asynchronous Session Types (N.Yoshida)
Short Courses
- Luca Padovani (University of Torino, Italy)
Behavioural subtyping
Subtyping for session types in the pi calculus (S. J. Gay and M. J. Hole, Acta Informatica 42(2/3):191-225, 2005)
Fair Subtyping for Open Session Types (L. Padovani, ICALP 2013, LNCS 7966:373-384)
Lecture Slides
Additional Lectures
- Marco Carbone (IT University of Copenhagen, Denmark)
Choreographic Programming
Deadlock-Freedom-by-design: Multiparty Asynchronous Global Programming (M. Carbone and F. Montesi, POPL 2013) - Ilaria Castellani (INRIA Sophia Antipolis, France)
Security and behavioural types
Typing Access Control and Secure Information Flow in Sessions (Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini, to appear in Information and Computation)
Information Flow Safety in Multiparty Sessions (Sara Capecchi, Ilaria Castellani and Mariangiola Dezani-Ciancaglini, to appear in Mathematical Structures in Computer Science)
Lecture slides - Mariangiola Dezani (University of Torino, Italy)
Deadlock and lock freedom in the linear pi calculus
Deadlock and lock freedom in the linear pi calculus (L. Padovani, LICS 2013)
Lecture slides - Philip Wadler (University of Edinburgh, UK)
Propositions as Sessions
Conference paper (ICFP), journal paper (JFP)
Timetable
Monday | Tuesday | Wednesday | Thursday | Friday | |
---|---|---|---|---|---|
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
Excursion
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.
Either:
- Walk to Opatija along the Lungomare (seaside path), starting at 18.00. The walk will take approximately one hour.
Or:
- Take the bus (normal scheduled public bus) to Opatija, leaving Lovran at 19.00. The bus journey takes approximately 10 minutes.
Then:
- 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.