BEGIN:VCALENDAR
PRODID:-//SMW Project//Semantic Result Formats
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:ICCL-Veranstaltungen
X-WR-CALDESC:
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20260417T111000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 6 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_c76ae5fbb097184eccae0aa83fb64312
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_c76ae5fbb097184eccae0aa83fb64312
DTSTART:20260612T111000
DTEND:20260612T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 5 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_bff15626d1a2dc93eaedccd1024f3f00
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_bff15626d1a2dc93eaedccd1024f3f00
DTSTART:20260605T111000
DTEND:20260605T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 4 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_5ad029a00f02c1dc00b1623331d9d66d
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_5ad029a00f02c1dc00b1623331d9d66d
DTSTART:20260522T111000
DTEND:20260522T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 3 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_b98b963f4a7a8c09ac2d94a4a94d6778
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_b98b963f4a7a8c09ac2d94a4a94d6778
DTSTART:20260508T111000
DTEND:20260508T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 2 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_046a28f93f2ec81b0889b6a324c6c1f9
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_046a28f93f2ec81b0889b6a324c6c1f9
DTSTART:20260424T111000
DTEND:20260424T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
BEGIN:VEVENT
SUMMARY:Proof Theory and Sequent Systems: Lecture 1 (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_227d9df6010e05aa805bbd2dec851e22
UID://iccl.inf.tu-dresden.de/web/Proof_Theory_and_Sequent_Systems_(SS2026)#_227d9df6010e05aa805bbd2dec851e22
DTSTART:20260417T111000
DTEND:20260417T124000
LOCATION:APB E001
DTSTAMP:20260605T123945
SEQUENCE:44467
END:VEVENT
END:VCALENDAR