BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Your Organization//Your App//EN
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T030000
END:STANDARD
END:VTIMEZONE

BEGIN:VEVENT
UID:event1@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T090000
DTEND;TZID=Europe/Berlin:20251027T093000
SUMMARY:Workshop and DISC Registration
END:VEVENT

BEGIN:VEVENT
UID:ADGA2@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T093000
DTEND;TZID=Europe/Berlin:20251027T103000
SUMMARY:ADGA Talk 1: Distributed Subgraph Finding
DESCRIPTION:Speaker: Keren Censor-Hillel
END:VEVENT

BEGIN:VEVENT
UID:ADGA3@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T110000
DTEND;TZID=Europe/Berlin:20251027T120000
SUMMARY:ADGA Talk 2: Recent Advances in Deterministic Distributed Algorithms
DESCRIPTION:Speaker: Christoph Grunau
END:VEVENT

BEGIN:VEVENT
UID:event4@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T120000
DTEND;TZID=Europe/Berlin:20251027T130000
SUMMARY:ADGA Talk 3: Survey on Distributed Laplacian Techniques
DESCRIPTION:Speaker: Tijn de Vos
END:VEVENT

BEGIN:VEVENT
UID:event5@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T143000
DTEND;TZID=Europe/Berlin:20251027T153000
SUMMARY:ADGA Talk 4: Information Spread in Stochastic Environments with Minimal Resources
DESCRIPTION:Speaker: Robin Vacus
END:VEVENT

BEGIN:VEVENT
UID:event6@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T153000
DTEND;TZID=Europe/Berlin:20251027T163000
SUMMARY:ADGA Talk 5: Recent Breakthroughs in Distributed Quantum Computing
DESCRIPTION:Speaker: Augusto Modanese
END:VEVENT

BEGIN:VEVENT
UID:event7@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T170000
DTEND;TZID=Europe/Berlin:20251027T180000
SUMMARY:ADGA Talk 6: Awake Efficient Distributed Algorithms
DESCRIPTION:Speaker: William K. Moses Jr.
END:VEVENT

BEGIN:VEVENT
UID:event8@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T180000
DTEND;TZID=Europe/Berlin:20251027T190000
SUMMARY:DISC Reception
END:VEVENT


BEGIN:VEVENT
UID:frida-session1-20251027@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T093000
DTEND;TZID=Europe/Berlin:20251027T103000
SUMMARY:FRIDA Session 1
DESCRIPTION:09:30–10:10 — Bill Roscoe, Oxford University and University College Oxford Blockchain Research Centre, “Stochastic reasoning in decentralised systems”\n10:10–10:30 — Ivana Bocevska, TU Wien, “Automated Game-Theoretic Security Analysis of Blockchain Protocols”
END:VEVENT

BEGIN:VEVENT
UID:frida-session2-20251027@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T110000
DTEND;TZID=Europe/Berlin:20251027T130000
SUMMARY:FRIDA Session 2
DESCRIPTION:11:00–11:40 — Juan Villacis, University of Bern, “What properties should asymmetric quorum systems satisfy?”\n11:40–12:20 — Raïssa Nataf, Technion, "The Delaying the Future Approach"\n12:20–13:00 — Yannic Maus, TU Graz, "The Quest for efficient algorithms for the constructive distributed Lovász Local Lemma"
END:VEVENT

BEGIN:VEVENT
UID:frida-session3-20251027@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T143000
DTEND;TZID=Europe/Berlin:20251027T163000
SUMMARY:FRIDA Session 3
DESCRIPTION:14:30–15:10 — Stefan Schmid, TU Berlin, “Synthesis of dependable and self-driving communication networks”\n15:10–15:50 — Nathalie Bertrand, University of Rennes, Inria, CNRS, IRISA, "Reduction theorems for effective parameterized verification of round-based distributed algorithms"\n15:50–16:30 — Gregory Chockler, University of Surrey, “Proving Linearizability of Fault-Tolerant Register Protocols: Dependency Graph Approach”
END:VEVENT

BEGIN:VEVENT
UID:frida-session4-20251027@DISC2025
DTSTAMP:20251027T000000Z
DTSTART;TZID=Europe/Berlin:20251027T170000
DTEND;TZID=Europe/Berlin:20251027T180000
SUMMARY:FRIDA Session 4
DESCRIPTION:17:00–17:20 — Isabelle Coget, Polytechnic Institute of Paris, “Automated Reasoning on Consistency Models with MONA”\n17:20–18:00 — Hagit Attiya, Technion, “Specifying binding and commitment with ghost outputs and strong refinement”
END:VEVENT

END:VCALENDAR