Add Daniele Gorla's course details (#14)

content/events/spli/daniele-gorla-24.md

@@ -0,0 +1,41 @@
+---
+title: SPLI Distinguished Lecture Series -- Prof. Daniele Gorla
+description: As part of the SPLI Distinguished Lecture Series, Prof. Daniele Gorla will give a 9 hour long PhD-level course on concurrent programming.
+---
+
+## Overview
+
+*Prof. Daniele Gorla (“Sapienza” University of Rome) will give a 9 hours PhD course
+Thursday 8, 15 and 22 August from 11:00 to 15:00 in IF G.03 (Edinburgh)*
+
+Sign up by the 1st August 2024 on [Doodle](https://doodle.com/meeting/organize/id/av96P1ge)
+(or e-mail Rob van Glabbeek if you do not like Doodle).
+
+## Details
+This mini-course is focused on the foundational aspects of concurrent systems. The aim of these lectures is to describe the main characteristics and the basilar problems of every concurrent system (mutual exclusion, synchronization, atomicity, deadlock/livelock/starvation, ...) and the relative solutions at the implementation level (semaphores, monitors, system primitives, ...). Furthermore, more evolute notions are shown, like: failure detectors, their implementation and their use to obtain wait-free implementations; universal object, consensus object and consensus number.
+
+The detailed syllabus of the course is the following: 
+
+  * The mutual exclusion problem; safety and liveness properties; a hierarchy of liveness properties (bounded bypass; starvation freedom; deadlock freedom).
+
+  * Atomic read/write registers; mutex for 2 processes (Peterson algorithm) and for n processes (generalized Peterson algorithm). Other lock/unlock protocols with better time performances.
+
+  * From Deadlock freedom to Starvation freedom (and bounded bypass) using atomic r/w-registers.
+
+  * Mutex with specialized HW primitives (test & set; swap; compare & fetch & add).
+
+  * Mutex with safe registers: Lamport's Bakery algorithm and Aravind bounded algorithm.
+
+  * Higher-level programming constructs for Mutex: semaphores and monitors, and their application for solving standard problems (producers/consumers; rendez-vous; dining philosophers).
+
+  * Mutex-free concurrency: liveness conditions (obstruction freedom, non-blocking, and wait freedom).
+
+  * Universal object, consensus object, and universality of consensus. Binary vs multivalued consensus. Consensus number (for atomic R/W registers, test & set, swap, fetch & add, compare & swap) and consensus hierarchy.
+
+The classes will be mostly focused on the algorithmic aspects of concurrency; they will provide the main ideas underlying the various problems and their relative solutions, without entering into many technical proofs. Full details can be found in the book by Michel Raynal “Concurrent Programming: Algorithms, Principles and Foundations” (Springer, 2013), which is the reference text for the lectures. No prior knowledge will be assumed.
+
+The course will be organized in 6 classes of 1.5 hours each, arranged in 3 days (2 classes a day) of 3 consecutive weeks (1 day per week); the first 5 classes will provide normal lectures whereas the closing class will be a discussion on open problems and possible connections with the research topics of the attendees.
+
+The course will take place in the Informatics Forum, Room G.03, of the University of Edinburgh. The first class will start at 11am; then, at 12.30pm there will be a 1-hour lunch break (with a light lunch provided by the University of Edinburgh); finally, from 1.30pm there will be the second class. In this way also students coming from other Scottish universities can attend the course without having to sleep in Edinburgh.
+
+Please sign up if you plan to attend (and cancel if you change your mind). This helps planning catering. In fact, to join for lunch you should let us know by the 1st August 2024. But you will be welcome to the lectures even if you have not signed up.

content/news/gorla-course.md

@@ -0,0 +1,7 @@
+---
+title: Daniele Gorla to give SPLI Distinguished Lecture Series
+published: 2024-07-22
+---
+We are happy to announce that [Prof. Daniele Gorla](https://sites.google.com/uniroma1.it/gorla) of "Sapienza" University of Rome will be giving a 9-hour graduate-level lecture course on concurrent programming. The course will take place on the 8th, 15th, and 22nd of August in the Informatics Forum at the University of Edinburgh.
+
+If you wish to attend, *please sign up by 1st August*. You can find out more at the [event page](/content/events/spli/daniele-gorla-24.html).

site.hs

@@ -259,7 +259,7 @@ skeletonContext currentPage = do
     spliEvents <- loadAll ("content/events/spli/*.md" .&&. hasVersion "navItems") :: Compiler [Item String]
     eventInfo <- mapM (\itm -> do
         let ident = itemIdentifier itm
-        let url = replaceExt "html" (itemIdentifier itm) 
+        let url = "/" ++ (replaceExt "html" (itemIdentifier itm))
         desc <- getMetadataField' ident "title"
         return (desc, url)) spliEvents
     let events = defaultEvents ++ eventInfo