PhD Course on Advanced process Calculi
Organisers:
Jesper Bengtson (jebe at itu.dk) Joachim Parrow (Uppsala University)
Lecturer:
Joachim Parrow (Uppsala University)
Ramunas Gutkovas (UppsalaUniversity)
Website:
Dates of the course:
19-23 August
23 September
Time:
Lecture 10:00-12:00 and exercises 13:00-16:00
Room:
4A54
Course Description:
This course will focus onadvanced modelling techniques of distributed systems using Psi-calculi.Psi-calculi extend the pi-calculus with nominal datatypes for data structuresand for logical assertions and conditions. These can be transmitted betweenprocesses and their names can be statically scoped as in the standardpi-calculus. Psi-calculi can capture the same phenomena as other proposedextensions of the pi-calculus such as the applied pi-calculus, thespi-calculus, the fusion calculus, the concurrent constraint pi-calculus, andcalculi with polyadic communication channels or pattern matching. Psi-calculican be even more general, for example by allowing structured channels, higher-order formalisms such as the lambda calculus for data structures, and predicatelogic for assertions.
The course will be taught byProfessor Joachim Parrow from Uppsala University. Joachim is one of theoriginal designers of the pi-calculus and he is one of the most prominent andmost highly cited researchers of computer science in Sweden. For the last fiveyears Joachim has been leading a group that focusses on the design ofparametric framework of process calculi. His work extends not only to thetheoretical ground work required to create these frameworks, but also toolsupport (the Psi Workbench) and mechanising the meta-theory (e.g. thatbisimulation is a congruence) using Nominal Logic in the interactive proofassistant Isabelle. We will touch on theory, tool support, and proofmechanisation in the scope of this course.
You will receive 2 ETCS for the course. You areexpected to prepare by reading up on a few select papers that will be posted atthe beginning of August, attend four lectures in week 34 (19th to the 23d ofAugust), and do a small project in September using one or several of themethods taught in the course. Preferably, the project should somehow beconnected to your research but this is not a strict requirement.
Program:
Prerequisites:
Students are expected to have asolid understanding in logics and semantics. Proficiency in process calculi isa plus, but not a strict requirement.
Exam:
Mandatory project to be handed on one month after lectures.
Credits:
2 ECTS
Amount of hours the student is expected to use on the course:
Participation: 15 hours lecturesand 40-50 hours project works
Preparation: 15-20 hours