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:20230404T130000
TZOFFSETFROM:+0200
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
SUMMARY:Concurrency Theory: The Asynchronous pi-Calculus (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f1791e72b3f84e006ac8b75c80a97a10
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f1791e72b3f84e006ac8b75c80a97a10
DTSTART:20230711T111000
DTEND:20230711T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: The pi-Calculus (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_1ab56aad65f2f167f0619ad84c1e3207
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_1ab56aad65f2f167f0619ad84c1e3207
DTSTART:20230704T111000
DTEND:20230704T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Basic Observables (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_09667a1f1bdeb52dfe63298a20c8dc98
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_09667a1f1bdeb52dfe63298a20c8dc98
DTSTART:20230627T111000
DTEND:20230627T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Petri Nets: The Boundedness Problem (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c80b79850df3935de5016d291fc1c3f6
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c80b79850df3935de5016d291fc1c3f6
DTSTART:20230620T111000
DTEND:20230620T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Modeling with Petri Nets (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_d1a7b5c234a179faaff67ced2904f5ad
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_d1a7b5c234a179faaff67ced2904f5ad
DTSTART:20230614T130000
DTEND:20230614T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: An Introduction to Petri Nets (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f3d2e605376c6794c907c329a00c0d5d
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f3d2e605376c6794c907c329a00c0d5d
DTSTART:20230613T111000
DTEND:20230613T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Other Approaches to Behavioral Equivalence (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_e4a6d77c66dcd324e778b19330ab97e4
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_e4a6d77c66dcd324e778b19330ab97e4
DTSTART:20230607T130000
DTEND:20230607T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: CCS and Internal Activities (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_90be937fd03b34b3c286532acc3466ed
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_90be937fd03b34b3c286532acc3466ed
DTSTART:20230606T130000
DTEND:20230606T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: No Exercise: Pentecost (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c9506bdaec06338d376df551f8c5232c
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c9506bdaec06338d376df551f8c5232c
DTSTART:20230531T111000
DTEND:20230531T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: No Lecture: Pentecost (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_a94baba7ef0dab8a34b41a5b29565b1a
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_a94baba7ef0dab8a34b41a5b29565b1a
DTSTART:20230530T130000
DTEND:20230530T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Expressive Power of CCS (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_3479e6a2f57ccbc1350283e5b5fbc7a6
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_3479e6a2f57ccbc1350283e5b5fbc7a6
DTSTART:20230524T130000
DTEND:20230524T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Compositionality Bisimilarity (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_bc5220db510d33f99d14b49929b72926
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_bc5220db510d33f99d14b49929b72926
DTSTART:20230523T130000
DTEND:20230523T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Algebraic Properties of Bisimilarity (2/2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_868f34c2bfdd7d2003f4eddc7dc12ad2
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_868f34c2bfdd7d2003f4eddc7dc12ad2
DTSTART:20230517T111000
DTEND:20230517T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Algebraic Properties of Bisimilarity (1/2) (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_af45c9647dd3cc700186efb83059f270
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_af45c9647dd3cc700186efb83059f270
DTSTART:20230516T130000
DTEND:20230516T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: dies academicus (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c22b3a7bfde5db19800ce27276a0fd41
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_c22b3a7bfde5db19800ce27276a0fd41
DTSTART:20230510T111000
DTEND:20230510T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Coinduction: Bisimilarity and Games / Algebraic Properties of Bisimilarity (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_ba06e93faffa0d422b074b549ba17033
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_ba06e93faffa0d422b074b549ba17033
DTSTART:20230509T130000
DTEND:20230509T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: no session (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_6ebf2d1f44e5d0756e43f51088cbf436
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_6ebf2d1f44e5d0756e43f51088cbf436
DTSTART:20230503T111000
DTEND:20230503T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: no session (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_fac2c2a3502ca8bc378645641f6c8218
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_fac2c2a3502ca8bc378645641f6c8218
DTSTART:20230502T130000
DTEND:20230502T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: LEAN: Tactics\, Inductive Types\, and Structures (Konsultation)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_7a754f345bb3624a87ce0c807996cc56
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_7a754f345bb3624a87ce0c807996cc56
DTSTART:20230426T111000
DTEND:20230426T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Coinduction: Fixed-Points (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_04ddb824ca83b09c99dda2f90cca8cad
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_04ddb824ca83b09c99dda2f90cca8cad
DTSTART:20230425T130000
DTEND:20230425T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Introduction to LEAN: Proofs and Propositions (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_8b7b00cff4689169e184372c4988f817
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_8b7b00cff4689169e184372c4988f817
DTSTART:20230419T111000
DTEND:20230419T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: [http://www.cs.unibo.it/~sangio/DOC_public/CoinBookPart2.pdf Coinduction: Examples\, Duality to Induction\, and Proof Techniques] (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_9c3724975d13d22bdb1c2d11ac7b743f
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_9c3724975d13d22bdb1c2d11ac7b743f
DTSTART:20230418T130000
DTEND:20230418T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: no session (Entfällt)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_b9134c990994ccfe4639ab550d9e1e87
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_b9134c990994ccfe4639ab550d9e1e87
DTSTART:20230412T111000
DTEND:20230412T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Bisimulation and Bisimilarity (Übung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f910d36367b85ba9ed7c8443c721fa78
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_f910d36367b85ba9ed7c8443c721fa78
DTSTART:20230411T130000
DTEND:20230411T143000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Towards Bisimulation (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_d9f92a452a9ba9540c98c6c7e117eeea
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_d9f92a452a9ba9540c98c6c7e117eeea
DTSTART:20230405T111000
DTEND:20230405T124000
LOCATION:APB E005
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
BEGIN:VEVENT
SUMMARY:Concurrency Theory: Introduction (Vorlesung)
URL://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_4f4ece335133abcfb16af3bcae4f35b9
UID://iccl.inf.tu-dresden.de/web/Concurrency_Theory_(SS2023)#_4f4ece335133abcfb16af3bcae4f35b9
DTSTART:20230404T130000
DTEND:20230404T143000
LOCATION:APB 3027
DTSTAMP:20230705T080653
SEQUENCE:38478
END:VEVENT
END:VCALENDAR