-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[2024-07-22 08:44:17 UTC] New release [ci skip]
- Loading branch information
github-actions
committed
Jul 22, 2024
1 parent
77f0de9
commit 379a1bb
Showing
9 changed files
with
378 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,163 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en"> | ||
|
|
||
| <head> | ||
| <meta charset="utf-8"> | ||
| <meta content="width=device-width, initial-scale=1.0" name="viewport"> | ||
| <title>Scottish Programming Languages Institute</title> | ||
| <meta content="The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland." name="description"> | ||
| <meta content="programming languages, research" name="keywords"> | ||
|
|
||
| <!-- Favicons --> | ||
| <link href="assets/img/favicon.png" rel="icon"> | ||
| <link href="assets/img/apple-touch-icon.png" rel="apple-touch-icon"> | ||
|
|
||
| <!-- Fonts --> | ||
| <link href="https://fonts.googleapis.com" rel="preconnect"> | ||
| <link href="https://fonts.gstatic.com" rel="preconnect" crossorigin> | ||
| <link href="https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,300;1,400;1,500;1,600;1,700;1,800&family=Poppins:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Raleway:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&display=swap" rel="stylesheet"> | ||
|
|
||
| <!-- Vendor CSS Files --> | ||
| <link href="../../../assets/vendor/bootstrap/css/bootstrap.min.css" rel="stylesheet"> | ||
| <link href="../../../assets/vendor/bootstrap-icons/bootstrap-icons.css" rel="stylesheet"> | ||
| <link href="../../../assets/vendor/aos/aos.css" rel="stylesheet"> | ||
| <link href="../../../assets/vendor/swiper/swiper-bundle.min.css" rel="stylesheet"> | ||
| <link href="../../../assets/vendor/glightbox/css/glightbox.min.css" rel="stylesheet"> | ||
| <link href="../../../assets/vendor/fontawesome/css/fontawesome.css" rel="stylesheet" /> | ||
| <link href="../../../assets/vendor/fontawesome/css/brands.css" rel="stylesheet" /> | ||
| <link href="../../../assets/vendor/fontawesome/css/solid.css" rel="stylesheet" /> | ||
| <!-- Main CSS File --> | ||
| <link href="../../../assets/css/main.css" rel="stylesheet"> | ||
| <link href="../../../assets/css/mastodon.css" rel="stylesheet"> | ||
| <link href="../../../assets/css/mastodon-timeline.min.css" rel="stylesheet"> | ||
|
|
||
| <!-- ======================================================= | ||
| * Template Name: Eterna | ||
| * Template URL: https://bootstrapmade.com/eterna-free-multipurpose-bootstrap-template/ | ||
| * Updated: May 18 2024 with Bootstrap v5.3.3 | ||
| * Author: BootstrapMade.com | ||
| * License: https://bootstrapmade.com/license/ | ||
| ======================================================== --> | ||
| </head> | ||
|
|
||
| <body class="index-page"> | ||
|
|
||
| <header id="header" class="header sticky-top"> | ||
|
|
||
| <div class="branding"> | ||
|
|
||
| <div class="container position-relative d-flex align-items-center justify-content-between"> | ||
| <a href="../../../" class="logo d-flex align-items-center"> | ||
| <!-- Uncomment the line below if you also wish to use an image logo --> | ||
| <!-- <img src="assets/img/logo.png" alt=""> --> | ||
| <h1 class="sitename">SPLI<br></h1> | ||
| </a> | ||
|
|
||
| <nav id="navmenu" class="navmenu"> | ||
| <ul><li><a href="../../../">Home</a></li><li><a href="../../../news">News</a></li><li><a href="../../../organisation.html" class="active">Organisation</a></li><li class="dropdown"><a href="../../../events.html"><span>Events</span><i class="bi bi-chevron-down toggle-dropdown"></i></a><ul><li><a href="../../../events.html">All events</a></li><li><a href="../../../spls">SPLS</a></li><li><a href="../../../splv">SPLV</a></li><li><a href="../../../content/events/spli/daniele-gorla-24.html">SPLI Distinguished Lecture Series -- Prof. Daniele Gorla</a></li><li><a href="../../../content/events/spli/spli-industry.html">Industrial Engagement Event 2024</a></li></ul></li><li><a href="../../../supervisors.html">PhD Opportunities</a></li><li><a href="https://spls.zulipchat.com/">Zulip</a></li></ul> | ||
| <i class="mobile-nav-toggle d-xl-none bi bi-list"></i> | ||
| </nav> | ||
|
|
||
| </div> | ||
|
|
||
| </div> | ||
|
|
||
| </header> | ||
|
|
||
| <main class="main"> | ||
| <main class="main"> | ||
|
|
||
| <!-- Page Title --> | ||
| <div class="page-title"> | ||
| <div class="container"> | ||
| <!-- | ||
| <nav class="breadcrumbs"> | ||
| <ol> | ||
| <li><a href="index.html">Home</a></li> | ||
| <li class="current">About</li> | ||
| </ol> | ||
| </nav> | ||
| --> | ||
| <h1>SPLI Distinguished Lecture Series -- Prof. Daniele Gorla</h1> | ||
| </div> | ||
| </div><!-- End Page Title --> | ||
|
|
||
| <!-- About Section --> | ||
| <section id="about" class="section about"> | ||
|
|
||
| <div class="container"> | ||
| <div class="row"> | ||
| <div class="col-sm content"> | ||
| <h2 id="overview">Overview</h2> | ||
| <p><em>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)</em></p> | ||
| <p>Sign up by the 1st August 2024 on <a href="https://doodle.com/meeting/organize/id/av96P1ge">Doodle</a> | ||
| (or e-mail Rob van Glabbeek if you do not like Doodle).</p> | ||
| <h2 id="details">Details</h2> | ||
| <p>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.</p> | ||
| <p>The detailed syllabus of the course is the following:</p> | ||
| <ul> | ||
| <li><p>The mutual exclusion problem; safety and liveness properties; a hierarchy of liveness properties (bounded bypass; starvation freedom; deadlock freedom).</p></li> | ||
| <li><p>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.</p></li> | ||
| <li><p>From Deadlock freedom to Starvation freedom (and bounded bypass) using atomic r/w-registers.</p></li> | ||
| <li><p>Mutex with specialized HW primitives (test & set; swap; compare & fetch & add).</p></li> | ||
| <li><p>Mutex with safe registers: Lamport’s Bakery algorithm and Aravind bounded algorithm.</p></li> | ||
| <li><p>Higher-level programming constructs for Mutex: semaphores and monitors, and their application for solving standard problems (producers/consumers; rendez-vous; dining philosophers).</p></li> | ||
| <li><p>Mutex-free concurrency: liveness conditions (obstruction freedom, non-blocking, and wait freedom).</p></li> | ||
| <li><p>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.</p></li> | ||
| </ul> | ||
| <p>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.</p> | ||
| <p>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.</p> | ||
| <p>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.</p> | ||
| <p>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.</p> | ||
| </div> | ||
| </div> | ||
| </div> | ||
|
|
||
| </section><!-- /About Section --> | ||
| </main> | ||
|
|
||
| </main> | ||
|
|
||
| <footer id="footer" class="footer position-relative"> | ||
| <div class="container footer-top"> | ||
| <div class="row gy-4"> | ||
| <div class="col"> | ||
| <div class="d-flex justify-content-center"> | ||
| <h4>Follow Us</h4> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| <div class="row gy-4"> | ||
| <div class="col"> | ||
| <div class="social-links d-flex justify-content-center"> | ||
| <a href="https://x.com/scottish_pli"><i class="bi bi-twitter-x"></i></a> | ||
| <a href="https://mastodon.scot/@spli"><i class="bi bi-mastodon"></i></a> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </footer> | ||
|
|
||
| <!-- Scroll Top --> | ||
| <a href="#" id="scroll-top" class="scroll-top d-flex align-items-center justify-content-center"><i class="bi bi-arrow-up-short"></i></a> | ||
|
|
||
| <!-- Preloader --> | ||
| <div id="preloader"></div> | ||
|
|
||
| <!-- Vendor JS Files --> | ||
| <script src="assets/vendor/bootstrap/js/bootstrap.bundle.min.js"></script> | ||
| <script src="assets/vendor/php-email-form/validate.js"></script> | ||
| <script src="assets/vendor/aos/aos.js"></script> | ||
| <script src="assets/vendor/swiper/swiper-bundle.min.js"></script> | ||
| <script src="assets/vendor/purecounter/purecounter_vanilla.js"></script> | ||
| <script src="assets/vendor/waypoints/noframework.waypoints.js"></script> | ||
| <script src="assets/vendor/glightbox/js/glightbox.min.js"></script> | ||
| <script src="assets/vendor/imagesloaded/imagesloaded.pkgd.min.js"></script> | ||
| <script src="assets/vendor/isotope-layout/isotope.pkgd.min.js"></script> | ||
|
|
||
| <!-- Main JS File --> | ||
| <script src="assets/js/main.js"></script> | ||
|
|
||
| </body> | ||
|
|
||
| </html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,150 @@ | ||
| <!DOCTYPE html> | ||
| <html lang="en"> | ||
|
|
||
| <head> | ||
| <meta charset="utf-8"> | ||
| <meta content="width=device-width, initial-scale=1.0" name="viewport"> | ||
| <title>Scottish Programming Languages Institute</title> | ||
| <meta content="The Scottish Programming Languages Institute (SPLI) co-ordinates community events that enhance programming languages research in Scotland." name="description"> | ||
| <meta content="programming languages, research" name="keywords"> | ||
|
|
||
| <!-- Favicons --> | ||
| <link href="assets/img/favicon.png" rel="icon"> | ||
| <link href="assets/img/apple-touch-icon.png" rel="apple-touch-icon"> | ||
|
|
||
| <!-- Fonts --> | ||
| <link href="https://fonts.googleapis.com" rel="preconnect"> | ||
| <link href="https://fonts.gstatic.com" rel="preconnect" crossorigin> | ||
| <link href="https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,300;1,400;1,500;1,600;1,700;1,800&family=Poppins:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&family=Raleway:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;0,800;0,900;1,100;1,200;1,300;1,400;1,500;1,600;1,700;1,800;1,900&display=swap" rel="stylesheet"> | ||
|
|
||
| <!-- Vendor CSS Files --> | ||
| <link href="../../assets/vendor/bootstrap/css/bootstrap.min.css" rel="stylesheet"> | ||
| <link href="../../assets/vendor/bootstrap-icons/bootstrap-icons.css" rel="stylesheet"> | ||
| <link href="../../assets/vendor/aos/aos.css" rel="stylesheet"> | ||
| <link href="../../assets/vendor/swiper/swiper-bundle.min.css" rel="stylesheet"> | ||
| <link href="../../assets/vendor/glightbox/css/glightbox.min.css" rel="stylesheet"> | ||
| <link href="../../assets/vendor/fontawesome/css/fontawesome.css" rel="stylesheet" /> | ||
| <link href="../../assets/vendor/fontawesome/css/brands.css" rel="stylesheet" /> | ||
| <link href="../../assets/vendor/fontawesome/css/solid.css" rel="stylesheet" /> | ||
| <!-- Main CSS File --> | ||
| <link href="../../assets/css/main.css" rel="stylesheet"> | ||
| <link href="../../assets/css/mastodon.css" rel="stylesheet"> | ||
| <link href="../../assets/css/mastodon-timeline.min.css" rel="stylesheet"> | ||
|
|
||
| <!-- ======================================================= | ||
| * Template Name: Eterna | ||
| * Template URL: https://bootstrapmade.com/eterna-free-multipurpose-bootstrap-template/ | ||
| * Updated: May 18 2024 with Bootstrap v5.3.3 | ||
| * Author: BootstrapMade.com | ||
| * License: https://bootstrapmade.com/license/ | ||
| ======================================================== --> | ||
| </head> | ||
|
|
||
| <body class="index-page"> | ||
|
|
||
| <header id="header" class="header sticky-top"> | ||
|
|
||
| <div class="branding"> | ||
|
|
||
| <div class="container position-relative d-flex align-items-center justify-content-between"> | ||
| <a href="../../" class="logo d-flex align-items-center"> | ||
| <!-- Uncomment the line below if you also wish to use an image logo --> | ||
| <!-- <img src="assets/img/logo.png" alt=""> --> | ||
| <h1 class="sitename">SPLI<br></h1> | ||
| </a> | ||
|
|
||
| <nav id="navmenu" class="navmenu"> | ||
| <ul><li><a href="../../">Home</a></li><li><a href="../../news" class="active">News</a></li><li><a href="../../organisation.html">Organisation</a></li><li class="dropdown"><a href="../../events.html"><span>Events</span><i class="bi bi-chevron-down toggle-dropdown"></i></a><ul><li><a href="../../events.html">All events</a></li><li><a href="../../spls">SPLS</a></li><li><a href="../../splv">SPLV</a></li><li><a href="../../content/events/spli/daniele-gorla-24.html">SPLI Distinguished Lecture Series -- Prof. Daniele Gorla</a></li><li><a href="../../content/events/spli/spli-industry.html">Industrial Engagement Event 2024</a></li></ul></li><li><a href="../../supervisors.html">PhD Opportunities</a></li><li><a href="https://spls.zulipchat.com/">Zulip</a></li></ul> | ||
| <i class="mobile-nav-toggle d-xl-none bi bi-list"></i> | ||
| </nav> | ||
|
|
||
| </div> | ||
|
|
||
| </div> | ||
|
|
||
| </header> | ||
|
|
||
| <main class="main"> | ||
| <main class="main"> | ||
|
|
||
| <!-- Page Title --> | ||
| <div class="page-title"> | ||
| <div class="container"> | ||
| <h1>News</h1> | ||
| </div> | ||
| </div><!-- End Page Title --> | ||
|
|
||
| <div class="container"> | ||
| <div class="row"> | ||
| <div class="col-lg-12"> | ||
| <!-- Blog Details Section --> | ||
| <section id="blog-details" class="section blog-details"> | ||
|
|
||
| <article class="article container"> | ||
|
|
||
|
|
||
|
|
||
| <h2 class="title">Daniele Gorla to give SPLI Distinguished Lecture Series</h2> | ||
|
|
||
| <div class="meta-top"> | ||
| <ul> | ||
| <li class="d-flex align-items-center"><i class="bi bi-clock"></i><time datetime="2024-07-22">July 22, 2024</time></a></li> | ||
| </ul> | ||
| </div><!-- End meta top --> | ||
|
|
||
| <div class="content"> | ||
| <p>We are happy to announce that <a href="https://sites.google.com/uniroma1.it/gorla">Prof. Daniele Gorla</a> 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.</p> | ||
| <p>If you wish to attend, <em>please sign up by 1st August</em>. You can find out more at the <a href="../../content/events/spli/daniele-gorla-24.html">event page</a>.</p> | ||
| </div><!-- End post content --> | ||
| </article> | ||
| </section><!-- /Blog Details Section --> | ||
| </div> | ||
| </div> | ||
| </div> | ||
|
|
||
| </main> | ||
|
|
||
| </main> | ||
|
|
||
| <footer id="footer" class="footer position-relative"> | ||
| <div class="container footer-top"> | ||
| <div class="row gy-4"> | ||
| <div class="col"> | ||
| <div class="d-flex justify-content-center"> | ||
| <h4>Follow Us</h4> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| <div class="row gy-4"> | ||
| <div class="col"> | ||
| <div class="social-links d-flex justify-content-center"> | ||
| <a href="https://x.com/scottish_pli"><i class="bi bi-twitter-x"></i></a> | ||
| <a href="https://mastodon.scot/@spli"><i class="bi bi-mastodon"></i></a> | ||
| </div> | ||
| </div> | ||
| </div> | ||
| </footer> | ||
|
|
||
| <!-- Scroll Top --> | ||
| <a href="#" id="scroll-top" class="scroll-top d-flex align-items-center justify-content-center"><i class="bi bi-arrow-up-short"></i></a> | ||
|
|
||
| <!-- Preloader --> | ||
| <div id="preloader"></div> | ||
|
|
||
| <!-- Vendor JS Files --> | ||
| <script src="assets/vendor/bootstrap/js/bootstrap.bundle.min.js"></script> | ||
| <script src="assets/vendor/php-email-form/validate.js"></script> | ||
| <script src="assets/vendor/aos/aos.js"></script> | ||
| <script src="assets/vendor/swiper/swiper-bundle.min.js"></script> | ||
| <script src="assets/vendor/purecounter/purecounter_vanilla.js"></script> | ||
| <script src="assets/vendor/waypoints/noframework.waypoints.js"></script> | ||
| <script src="assets/vendor/glightbox/js/glightbox.min.js"></script> | ||
| <script src="assets/vendor/imagesloaded/imagesloaded.pkgd.min.js"></script> | ||
| <script src="assets/vendor/isotope-layout/isotope.pkgd.min.js"></script> | ||
|
|
||
| <!-- Main JS File --> | ||
| <script src="assets/js/main.js"></script> | ||
|
|
||
| </body> | ||
|
|
||
| </html> |
Oops, something went wrong.