PhD Course - Concurrency Theory Reading Group
Organisers:
Postdoc Agata Murawska and Associate Professor Marco Carbone
Lecturers:
Various, incl. Marco Carbone, Hugo Lopez, Agata Murawska, 1 or 2 international guests.
Website
https://pls.wikit.itu.dk/Concurrency+Theory+Reading+Group
Dates of the course:
Weekly 2h meetings starting on 8 February 2018.
Time:
Thursday 10:00-12:00
Room:
3A18
Course description:
The course will focus on concurrency theory and its applications. The first part of the course will consist of 8-10 lectures given by experts in the field, and providing an in-depth introduction to the topic. The program for this part will include the following topics:
1. Calculus of Communicating Systems
2. Different kinds of semantics
3. Synchronous (and asynchronous) Pi calculus
4. Observable behaviours and bisimulation
5. Session types and multi-party session types
6. Expressivity
7. Connection to linear logic
8. Choreographies
The reading list for this part of the course includes
Books
R. Milner; Communicating and Mobile Systems: the pi-Calculus
D. Sangiorgi, D. Walker; The pi-calculus: a Theory of Mobile Processes
S. Gay, A. Ravara; Behavioural Types: From Theory to Tools
R. Milner; The Space and Motion of Communicating Agents
Articles
D. Gorla; Towards a Unified Approach to Encodability and Separation Results for Process Calculi
K. Takeuchi, K.Honda, M. Kubo; An interaction-based language and its typing system
K. Honda, N. Yoshida, M. Carbone; Multiparty Asynchronous Session Types
L. Caires, F. Pfenning; Session Types as Intuitionistic Linear Propositions
P. Wadler; Propositions as Sessions
PhD dissertation
F. Montesi; Choreographic Programming
In the second part of the course, the focus will be put on recent results in concurrency theory. With a solid background provided in the first part, a number of influential papers from the last few years will be discussed in depth. The precise selection will be based on the research interests of the participants.
Programme:
The following topics will be covered in the first, introductory part of the course. The second part will include a selection of recent papers in the field, chosen based on participants’ preferences (one paper presented per week):
1. Calculus of Communicating Systems
2. Different kinds of semantics
3. Synchronous (and asynchronous) Pi calculus
4. Observable behaviours and bisimulation
5. Session types and multi-party session types
6. Expressivity
7. Connection to linear logic
8. Choreographies
Prerequisites:
Some background in formal methods is assumed for this course.
Exam:
Presentation of a selected paper in the second part of the course
Credits:
2.5 ECTS
Number of hours the student is expected to use on the course:
Participation: 30h
Preparation: 30h + 10h for preparing the presentation
Participants:
PhD students. Please note, that this is a Reading Group, which is of interest also for Postdocs, Assitant and Associate Professors.
How to sign up:
Write an email to agmu@itu.dk