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:20240409T092000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Summary and Outlook (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_1bc7b8b4bb13491f0be8fde68490f6f0
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_1bc7b8b4bb13491f0be8fde68490f6f0
DTSTART:20240717T111000
DTEND:20240717T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Bisimilarity Roundup: Induction and Coinduction [https://www.cs.unibo.it/~sangio/DOC_public/CoinBookPart2.pdf (Slides by Davide Sangiorgi)] (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_13568e655ff8f0c78977fd05981a3a67
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_13568e655ff8f0c78977fd05981a3a67
DTSTART:20240716T092000
DTEND:20240716T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Inductive Counting with Petri Net Programs (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_6bcc67f74609349376991f587a7447f9
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_6bcc67f74609349376991f587a7447f9
DTSTART:20240710T111000
DTEND:20240710T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Immerman und Szelepcsényi on Steroids (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_904d1c0d35f18f80cc1f0056f5231ca4
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_904d1c0d35f18f80cc1f0056f5231ca4
DTSTART:20240709T092000
DTEND:20240709T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Reductions to Petri Net Reachability (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_c043b722bca026da0cc24573e7c3b61e
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_c043b722bca026da0cc24573e7c3b61e
DTSTART:20240703T111000
DTEND:20240703T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Further Undecidability of Petri Net Equivalences (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_192ce909394f3c4ac6aefe0d14487d9c
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_192ce909394f3c4ac6aefe0d14487d9c
DTSTART:20240702T092000
DTEND:20240702T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Undecidability Results for Infinite State Processes (Petri nets) (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_3ec5c62775a64bba5e7581244412cb65
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_3ec5c62775a64bba5e7581244412cb65
DTSTART:20240626T111000
DTEND:20240626T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Decidability of Bisimilarity for (Some) Infinite State Processes (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_b200f47a6d074700997173b8d51dfede
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_b200f47a6d074700997173b8d51dfede
DTSTART:20240625T092000
DTEND:20240625T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: no exercise (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_e5374165433d4c6b86e1137727758547
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_e5374165433d4c6b86e1137727758547
DTSTART:20240619T111000
DTEND:20240619T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: P-Completeness of Bisimilarity (2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_14ca4fff75c5f4623e0c08b437b5e3a7
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_14ca4fff75c5f4623e0c08b437b5e3a7
DTSTART:20240618T092000
DTEND:20240618T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: P-Completeness of Bisimilarity (1) (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_33d18e513f6a9a8a3cd0d78e9351cb0b
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_33d18e513f6a9a8a3cd0d78e9351cb0b
DTSTART:20240612T111000
DTEND:20240612T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Bisimilarity Algorithms for Finite State Systems (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_f81de07930cf269c43d367ec1c4bc044
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_f81de07930cf269c43d367ec1c4bc044
DTSTART:20240611T092000
DTEND:20240611T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Dies Academicus (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_0bd279e11b49a3e5d6a5582bf9cfe644
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_0bd279e11b49a3e5d6a5582bf9cfe644
DTSTART:20240605T111000
DTEND:20240605T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: First Decidability Results for Petri Nets (Detour Lecture) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_03afb58a970cfe02537e0fa4616ecab9
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_03afb58a970cfe02537e0fa4616ecab9
DTSTART:20240604T092000
DTEND:20240604T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: The Calculus of Communicating Systems (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_8acf6e172c591c9ce918573be4ebd27d
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_8acf6e172c591c9ce918573be4ebd27d
DTSTART:20240529T111000
DTEND:20240529T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: The Untold Story of Hennessy and Milner (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_80f8ff4b97a938a1ffa657850b3f45fc
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_80f8ff4b97a938a1ffa657850b3f45fc
DTSTART:20240528T092000
DTEND:20240528T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Pentacost Week (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_0260b73c42e21c916de0fd160f5216f1
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_0260b73c42e21c916de0fd160f5216f1
DTSTART:20240522T111000
DTEND:20240522T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Pentacost Week (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_ae6036c28f29d74f7b01a18b66f23d7f
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_ae6036c28f29d74f7b01a18b66f23d7f
DTSTART:20240521T092000
DTEND:20240521T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Operational Semantics (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_2be8ee3392cbd6ec800e9aa8edb0efc9
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_2be8ee3392cbd6ec800e9aa8edb0efc9
DTSTART:20240515T111000
DTEND:20240515T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: [http://www.cs.unibo.it/~sangio/DOC_public/CoinBookPart3.pdf Algebraic Properties of Bisimilarity] (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_4f3edab342273dda2868a37fb158048e
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_4f3edab342273dda2868a37fb158048e
DTSTART:20240514T092000
DTEND:20240514T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Domains and Fixed Points (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_46b31270f561030178097dfc7a1d8265
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_46b31270f561030178097dfc7a1d8265
DTSTART:20240508T111000
DTEND:20240508T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Structural Operational Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_c31eda3293733a36a5bc79b75dc03ec4
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_c31eda3293733a36a5bc79b75dc03ec4
DTSTART:20240507T092000
DTEND:20240507T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Labor Day (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_2916f91aff6150bbda0d4a7773dac193
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_2916f91aff6150bbda0d4a7773dac193
DTSTART:20240501T111000
DTEND:20240501T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Domains and Fixed Points (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_9758525d45553dfa493cd0c63b5f5753
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_9758525d45553dfa493cd0c63b5f5753
DTSTART:20240430T092000
DTEND:20240430T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Bisimulation and Bisimilarity (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_a58b25849935dd58a2a801b5950fe548
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_a58b25849935dd58a2a801b5950fe548
DTSTART:20240424T111000
DTEND:20240424T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Direct Style Semantics (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_52b9fbac4846845f5c3fea7423d530aa
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_52b9fbac4846845f5c3fea7423d530aa
DTSTART:20240423T092000
DTEND:20240423T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: --- (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_ecb7879c42476055a61c7c6c0d613569
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_ecb7879c42476055a61c7c6c0d613569
DTSTART:20240417T111000
DTEND:20240417T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Semantics of Programming Languages (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_4fafb19d769da0420d348ba50b388b47
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_4fafb19d769da0420d348ba50b388b47
DTSTART:20240416T092000
DTEND:20240416T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Towards Bisimilarity (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_22a73590bb14be9a3cad6e29b86542d4
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_22a73590bb14be9a3cad6e29b86542d4
DTSTART:20240410T111000
DTEND:20240410T124000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Introduction and Motivation: Labeled Transition Systems (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_12951867d49c6021d0f0d8994703ea31
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2024)#_12951867d49c6021d0f0d8994703ea31
DTSTART:20240409T092000
DTEND:20240409T105000
LOCATION:APB E005
DTSTAMP:20240716T061111
SEQUENCE:39967
END:VEVENT
END:VCALENDAR