Table of Contents
Concurrency (48h, 6 ECTS)Course directors: Roberto Amadio and Catuscia Palamidessi Teachers for 2014-2015
GoalsThis course introduces formal methods for reasoning about properties of concurrent systems. Starting from 2013-2014, the second part of the course changes every year. Last year we covered methods to reason about probabilities and expressiveness in concurrent systems. In 2014-2015, we plan to cover applications of directed algebraic topology to concurrency. Further in 2014-2015, the first part of the course focuses on shared memory models of concurrent systems which are considered both from a semantical and an algorithmic perspective. This course is `breakable'. This means that you get 3 credits if you pass only the first part (up to the mid-term exam) or the second part (after the mid-term) and 6 credits if you pass both. Notice that the grade we consider to give 6 credits is the average of the grades of the first and second part. For instance, if your grade is 12/20 in one part and 8/20 in the other you get 6 credits. Plan of the course for 2014-2015Shared memory models of concurrent systems (Amadio, 12h)
Algorithms for shared memory (Kuznetsov, 12h)
Directed Algebraic Topology and Concurrency (Haucourt, 24h)
French and EnglishLectures are given either in French or in English depending on the teacher. The lecture notes and the text of the examinations are in English. The students may answer in French or English. MaterialShared memory models of concurrent systems
Algorithms for shared memory
Directed Algebraic Topology and Concurrency
Related coursesSemantics (2.1, 2.2, 2.4), Concurrent algorithms (2.18.2), Concurrent programming (2.23.1, 2.37.1). PrerequisitesIt is useful, though not strictly necessary, to have attended courses (similar to) 1-15 (Semantics) and 1-16 (Concurrency). ExamsA Home Assignment on Amadio's part, a written examination at the mid term on Kuznetzov's part and a written examination at the end of the semester on Haucourt's part. Possible teachers
Calendar 2014-2015
Previous years Year 2014-2015 Year 2013-2014 Year 2012-2013 |