BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://ofcourse.mpi-sws.org
METHOD:PUBLISH
BEGIN:VEVENT
UID:7c0dc5c2-680d-4a9a-be86-0dfbc565404f
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Sarah Larroze-Jardiné - Partial-Order Reduction is Hard
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-10-23-sarah-larroze-jardine for more information.
CLASS:PUBLIC
DTSTART:20251023T100000+0000
DTEND:20251023T110000+0000
DTSTAMP:20251023T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:bc3554aa-872c-4304-b464-6be621a5f9d7
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Neha Rino - The fine-grained complexity of NFA Intersection Emptiness
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-09-12-neha-rino for more information.
CLASS:PUBLIC
DTSTART:20250912T100000+0000
DTEND:20250912T110000+0000
DTSTAMP:20250912T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:12sj-84a8-9ed3-17ca
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Léonard Brice - Finding equilibria - simpler for pessimists, simplest for optimists
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-05-20-leonard-brice for more information.
CLASS:PUBLIC
DTSTART:20250520T100000+0000
DTEND:20250520T110000+0000
DTSTAMP:20250520T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:54ab-48a8-93ed-617cafdc2e78
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Łukasz Kamiński - On decision problems in Petri nets with data
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-04-10-lukasz-kaminski for more information.
CLASS:PUBLIC
DTSTART:20250410T140000+0000
DTEND:20250410T150000+0000
DTSTAMP:20250410T140000+0000
END:VEVENT
BEGIN:VEVENT
UID:fa756056-6b09-49f6-9c93-6527275217e1
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Dominik Klumpp - How Commutativity Simplifies Proofs of Concurrent Programs
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-03-24-dominik-klumpp for more information.
CLASS:PUBLIC
DTSTART:20250324T110000+0000
DTEND:20250324T120000+0000
DTSTAMP:20250324T110000+0000
END:VEVENT
BEGIN:VEVENT
UID:23c2f18b-17e6-4d28-abda-b6f67d385a89
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Ehsan Goharshady - From Termination to LTL --- A template-based approach
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-03-11-ehsan-goharshady-termination-to-ltl for more information.
CLASS:PUBLIC
DTSTART:20250311T143000+0000
DTEND:20250311T153000+0000
DTSTAMP:20250311T143000+0000
END:VEVENT
BEGIN:VEVENT
UID:a0d37432-54ab-48a8-93ed-617cafdc2e78
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Aditya Prakash - The 2-Token Theorem
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2025-02-20-aditya-prakash-recognizing-history-determinism for more information.
CLASS:PUBLIC
DTSTART:20250220T140000+0000
DTEND:20250220T150000+0000
DTSTAMP:20250220T140000+0000
END:VEVENT
BEGIN:VEVENT
UID:ef715e1e-ece5-4096-90d0-5998e931d082
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Lucie Guillou - Safety Analysis of Parameterized Networks with Non-Blocking Rendez-Vous and Broadcasts
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2024-12-11-lucie-guillou-safety-analysis-of-parametrized-network for more information.
CLASS:PUBLIC
DTSTART:20241211T140000+0000
DTEND:20241211T150000+0000
DTSTAMP:20241211T140000+0000
END:VEVENT
BEGIN:VEVENT
UID:4bd667a3-5f00-4b25-8b1c-2b587d4a9df7
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Quentin Guilmant - Surreal Numbers
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-12-15-quentin-guilmant-surreal-numbers for more information.
CLASS:PUBLIC
DTSTART:20221215T100000+0000
DTEND:20221215T110000+0000
DTSTAMP:20221215T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:d7cbb83d-6af0-4174-bb65-d9111fedaeb9
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Soumodev Mal - On the Satisfiability of Context-free String Constraints with Subword Ordering
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-12-01-soumodev-mal-satisfiability-cfg-constraints for more information.
CLASS:PUBLIC
DTSTART:20221201T100000+0000
DTEND:20221201T110000+0000
DTSTAMP:20221201T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:b2f7f802-b40f-4a87-8ac9-f27ca51c8819
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Henry Sinclair-Banks - The Complexity of Coverability in Fixed Dimension VASS with Various Encodings
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-11-17-henry-sinclair-banks-complexity-fixed-dimension-vass for more information.
CLASS:PUBLIC
DTSTART:20221117T100000+0000
DTEND:20221117T110000+0000
DTSTAMP:20221117T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:58fde699-72e3-458c-95c5-23eedcec87d9
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Moritz Lichter - Separating Rank Logic from Polynomial Time
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-10-27-moritz-lichter-rank-logic for more information.
CLASS:PUBLIC
DTSTART:20221027T100000+0000
DTEND:20221027T110000+0000
DTSTAMP:20221027T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:5a9f83d7-cb60-4746-a46c-59a61008f2ed
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Ruiwen Dong - Identity Problem for Unitriangular Matrices of Dimension Four
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-10-06-ruiwen-dong-identiy-problem-unitriangular-matrices for more information.
CLASS:PUBLIC
DTSTART:20221006T100000+0000
DTEND:20221006T110000+0000
DTSTAMP:20221006T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:923b3add-036b-4d3c-825b-ee91b05ecfdb
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: Ritam Raha - One Counter Automata: Reachability and Synthesis Problems
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-09-22-ritam-raha-oca for more information.
CLASS:PUBLIC
DTSTART:20220922T100000+0000
DTEND:20220922T110000+0000
DTSTAMP:20220922T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:bbdc63b8-0959-4c57-8d92-63767e139e78
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: A.R. Balasubramanian - Complexity of Coverability in Depth-Bounded Processes
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-09-08-balasubramanian-depth-bounded-processes for more information.
CLASS:PUBLIC
DTSTART:20220908T100000+0000
DTEND:20220908T110000+0000
DTSTAMP:20220908T100000+0000
END:VEVENT
BEGIN:VEVENT
UID:da3c659f-c04b-4f55-b548-9f47ccb648cc
ORGANIZER;CN="OFCOURSE Team":CUTYPE=GROUP:MAILTO:ofcourse@mpi-sws.org
LOCATION:Room 113\, MPI-SWS\, Paul-Ehrlich-Str. 65\, 67663 Kaiserslautern
SUMMARY:OFCOURSE: K.S. Thejaswini - A Technique to Speed up Some Symmetric Attractor-based Algorithms for Parity Games
DESCRIPTION:Next entry in the OFCOURSE student talk series. See /2022-08-25-thejaswini-parity-games for more information.
CLASS:PUBLIC
DTSTART:20220825T100000+0000
DTEND:20220825T110000+0000
DTSTAMP:20220825T100000+0000
END:VEVENT
END:VCALENDAR