Skip to content. | Skip to navigation

Second International Summer School on Behavioural Types

Navigation

You are here: Home / Programme

Programme

 

Lecturers and topics

  • Massimo Bartoletti (University of Cagliari, Italy) :: Behavioural contracts
  • Laura Bocchi (University of Kent, UK) :: Multiparty session types
  • Luís Caires (Universidade Nova de Lisboa, Portugal) :: Linear logic and behavioural types
  • Ornela Dardha (University of Glasgow, UK) :: Introduction to session types
  • Raymond Hu (Imperial College London, UK) :: Practical programming with Scribble and session types
  • Vasco Vasconcelos (University of Lisbon, Portugal) :: Type-based tools: SePi and ParTypes
  • Philip Wadler (University of Edinburgh, UK) :: Propositions as sessions

 

 Timetable (Lectures will take place in the Kapetanios Odyssia Hotel)


MondayTuesdayWednesdayThursdayFriday
09.00 - 09.15 Welcome
09.15 - 10.30 Dardha Bocchi Students Caires Caires
10.30 - 11.00 break break break break break
11.00 - 12.15 Dardha Bocchi Bartoletti Dardha Students
12.15 - 13.30 lunch lunch lunch lunch lunch
13.30 - 14.45 Caires Caires excursion Bocchi Bartoletti
14.45 - 15.00 break break excursion break break
15.00 - 16.15 Bartoletti Vasconcelos excursion Vasconcelos Bocchi
16.15 - 16.45 break break excursion break break
16.45 - 18.00 Wadler Hu excursion Hu Wadler

 

Course Material

The BETTY State-of-the-Art Reports are useful background reading.

  • Working Group 1 (Foundations)
    Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro. Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys 49(1), 2016. doi: 10.1145/2873052
  • Working Group 2 (Security)
    Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira. Combining behavioural types with security analysis. Journal of Logical and Algebraic Methods in Programming, 2015. doi:10.1016/j.jlamp.2015.09.003
    Open access version at HAL. 
  • Working Group 3 (Languages)
    Davide Ancona, Viviana Bono, Mario Bravetti, Giuseppe Castagna, Joana Campos, Simon J. Gay, Elena Giachino, Einar Broch Johnsen, Viviana Mascardi, Nicholas Ng, Luca Padovani, Pierre-Malo Deniélou, Nils Gesbert, Raymond Hu, Francisco Martins, Fabrizio Montesi, Rumyana Neykova, Vasco T. Vasconcelos, Nobuko Yoshida. Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages, 2016. To appear.
    Pre-publication version.
     

Massimo Bartoletti: Material

Course material is here.

Laura Bocchi: Material

Slides for lectures 1 and 2.

Slides for lecture 3.

Slides for lecture 4.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida. A Gentle Introduction to Multiparty Asynchronous Session Types.

Luís Caires: Material

Lectures 1, 2 and 3.

Lecture 4.

Ornela Dardha: Material

Lecture slides.

Raymond Hu: Material

Lecture 1

Lecture 2

Vasco Vasconcelos: Material

Joyful hacking with session types.

Phil Wadler: Material

Slides from Monday's lecture.

Slides from Friday's lecture.

Propositions as sessions.

Propositions as types.

Coherence generalises duality: a logical explanation of multiparty session types.

Talks by students (15 minutes + 5 minutes for questions)

Wednesday 9.15 - 10.30

  • Annalizz Vella :: Contract Monitorability
  • Jovana Dedeić :: On Compensation Primitives as Adaptable Proceses
  • Mauricio Cano :: Declarative Interpretations of Session-Based Concurrency

Friday 11.00 - 12.15

  • Dimitrios Kouzapas :: Typechecking Protocols with Mungo and StMungo 
  • Assel Altayeva :: Combinators for Multiparty Session Types isomorphisms
  • Bogdan Aman :: Mobility Types
  • Simon Fowler :: Behavioural Types for Actor-Like Languages, from First Principles

Excursion

The excursion on Wednesday afternoon will be a trip to Paphos. We will leave the hotel at 1.30, after lunch. The excursion will include dinner.