News
LSF Registration now openWritten on 14.05.25 by Swen Jacobs Dear students, I received the confirmation that the LSF registration is now open. You need to register there until June 2, 2025. |
Schedule for the rest of the Seminar, LSF registrationWritten on 13.05.25 by Swen Jacobs Dear students, as we discussed yesterday, here is the current schedule and the papers to be presented/discussed in the rest of the seminar: June 16: P1+P2 (one of them presented by Tolga Onay) June 23: P3 (presented by Lena Becker) + P10 June 30: P4 (presented by Abhinaba Pal) + P6 July… Read more Dear students, as we discussed yesterday, here is the current schedule and the papers to be presented/discussed in the rest of the seminar: June 16: P1+P2 (one of them presented by Tolga Onay) June 23: P3 (presented by Lena Becker) + P10 June 30: P4 (presented by Abhinaba Pal) + P6 July 7: P8 (presented by Christian Michel) + P9 Regarding registration in LSF, this currently still seems not to be possible, but I am in contact with them and this should soon be resolved. You have 3 weeks (from yesterday) to register for the seminar there. |
Voting on Presentation PapersWritten on 07.05.25 by Swen Jacobs Dear students, due to a misconfiguration of the CMS, voting on presentation papers did not work properly until now. It should now be fixed (Paper number n corresponds to the time slot at n hours on Monday). Please remember to vote until tomorrow evening. See you on Monday! |
First meeting, regular meeting slotWritten on 17.04.25 by Swen Jacobs Dear students, based on the poll, there is no time that is perfect for everybody, but we found a time that hopefully works for all of you. Our regular meeting slot will be Mondays from 12:15 to 13:45, in room 0.07 of building CISPA C0 (also known as E9.1). Since next Monday is a public… Read more Dear students, based on the poll, there is no time that is perfect for everybody, but we found a time that hopefully works for all of you. Our regular meeting slot will be Mondays from 12:15 to 13:45, in room 0.07 of building CISPA C0 (also known as E9.1). Since next Monday is a public holiday, our first meeting will be on April 28. Until then, please have a look at the resources linked under Materials -> Background Material to get a first idea of what the seminar is about. |
Seminar Topic
Most of our information-processing systems nowadays are distributed - be it large-scale data centers that replicate data in different physical locations, sensor networks that collect data from different places, or simply multi-threaded programs that run on different cores of your CPU. Due to their composition from multiple interacting components, ensuring correctness of these systems is a major challenge. In many application areas, faulty behavior or even short outages of these systems can have severe consequences. Therefore, both industrial and academic research has in recent years developed a range of new methods to formally guarantee certain properties of a given distributed system.
In this seminar, students will learn to present, discuss, and summarize research papers that aim at formalizing and verifying distributed systems. The seminar is split into two parts. The first part will take the form of reading sessions, where we lay the foundations of the topic. For the second part, each student is assigned a recent paper from the research area. Students will present their paper and will write a seminar paper on the topic assigned to them, taking into account connections to the topics discussed in the seminar.
Important Dates
First Meeting: tbd
During our first meeting, I will present a short overview of the content and format of the seminar.
Requirements
Reading Group: In the reading group sessions, we discuss background papers that lay the foundations, or give an overview of the recent work on the formalization of distributed systems, and formal methods to verify them. Each paper will be presented informally by selected students, followed by a joint discussion. The list of papers for the reading group will be announced soon.
Talks: At the first reading group session, each participant will be assigned a topic. Each topic will be presented by the respective student, followed by joint discussion. For the discussions, it is important that every participant has read the paper(s) that are presented. The list of presentation topics will be announced soon.
Summary: At the end of the seminar you will submit a summary of the seminar topics, including a comparison of your topic to the ones presented by other students.