<?xml version="1.0" encoding="UTF-8"?>

<rss version="2.0"
 xmlns:atom="http://www.w3.org/2005/Atom"
 xmlns:blogChannel="http://backend.userland.com/blogChannelModule"
>

<channel>
<title>Previous Events</title>
<link>https://di.ku.dk/english/research/pltc/events/previous-events/</link>
<description></description>
<language>en</language>
<pubDate>Thu, 11 Jun 2026 18:35:54 +0200</pubDate>
<lastBuildDate>Thu, 11 Jun 2026 18:35:54 +0200</lastBuildDate>
<atom:link href="https://di.ku.dk/english/research/pltc/events/previous-events/?get_rss=1" rel="self" type="application/rss+xml"/>

<item>
<title>COPLAS talk: Mohammad Mousavi: Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/coplas-talk-mohammad-mousavi/</link>
<description>07. januar 2025 kl. 14:15&#x3C;br /&#x3E;Arrangementstype: Opl&#xE6;g&#x3C;br /&#x3E;Sted: Room 3-0-25, DIKU Building, Universitetsparken 1, 2100, K&#xF8;benhavn &#xD8;, and online&#x3C;br /&#x3E;Arrang&#xF8;r: Fritz Henglein&#x3C;br /&#x3E;On 7 January, COPLAS will host a talk by Mohammad Mousavi titled &#x27;Taming Spooky Actions at a Distance:&#x26;nbsp;A...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/coplas-talk-mohammad-mousavi/</guid>
</item>
<item>
<title>COPLAS talk: Phil Wadler: ChatGPT is Bullshit</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/coplas-talk-phil-wadler/</link>
<description>20. december 2024 kl. 13:05&#x3C;br /&#x3E;Arrangementstype: Opl&#xE6;g&#x3C;br /&#x3E;Sted: HC&#xD8;, Universitetsparken 5, Auditorium 8&#x3C;br /&#x3E;Arrang&#xF8;r: Fritz Henglein&#x3C;br /&#x3E;On 20 December, COPLAS will host a talk by Phil Wadler titled &#x27;ChatGPT is Bullshit&#x27;.&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/coplas-talk-phil-wadler/</guid>
</item>
<item>
<title>DIKU Bits: The Problem of Measuring Energy Usage in Software and IT Systems: How We Can Help Future Programmers?</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/diku-bits/</link>
<description>17. december 2024 kl. 12:15&#x3C;br /&#x3E;Arrangementstype: Foredrag&#x3C;br /&#x3E;Sted: Lille UP1, DIKU, Universitetsparken 1, 2100 K&#xF8;benhavn &#xD8;&#x3C;br /&#x3E;Arrang&#xF8;r: VILU, Heads of Studies at DIKU, and Datalogisk Fagr&#xE5;d&#x3C;br /&#x3E;Join us when Michael Kirkedal Thomsen from the PLTC&#x26;nbsp;section&#x26;nbsp;will give a DIKU Bits lecture titled:&#x26;nbsp;The...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/diku-bits/</guid>
<enclosure type="image/png" length="238458" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2024/diku-bits/michael_web.png" />
</item>
<item>
<title>Qrisp Tutorial</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/qrisp-tutorial/</link>
<description>17. december 2024 kl. 09:00&#x3C;br /&#x3E;Arrangementstype: Opl&#xE6;g&#x3C;br /&#x3E;Sted: Location PLTC meeting room, Universitetsparken 5, Building 1, ground floor, S027&#x3C;br /&#x3E;Arrang&#xF8;r: Michael Kirkedal Thomsen, DIKU&#x3C;br /&#x3E;Join us on 17 December for a Qrisp Tutorial by Raphael Seidel and Sebastian Bock titled &#x27;Fraunhofer FOKUS&#x27;...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/qrisp-tutorial/</guid>
</item>
<item>
<title>Qrisp Tutorial</title>
<link>https://di.ku.dk/forsidebegivenheder/begivenheder-2024/qrisp-tutorial/</link>
<description>17. december 2024 kl. 09:00&#x3C;br /&#x3E;Arrangementstype: Opl&#xE6;g&#x3C;br /&#x3E;Sted: Location PLTC meeting room, Universitetsparken 5, Building 1, ground floor, S027&#x3C;br /&#x3E;Arrang&#xF8;r: Michael Kirkedal Thomsen, DIKU&#x3C;br /&#x3E;Join us on 17 December for a Qrisp Tutorial by Raphael Seidel and Sebastian Bock titled &#x27;Fraunhofer FOKUS&#x27;...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/forsidebegivenheder/begivenheder-2024/qrisp-tutorial/</guid>
</item>
<item>
<title>Nordic Workshop on Programming Theory</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/nordic-workshop-on-programming-theory/</link>
<description>06. november 2024 kl. 09:00&#x3C;br /&#x3E;Arrangementstype: Workshop&#x3C;br /&#x3E;Sted: Auditorium A and B at Geocenter Copenhagen, University of Copenhagen &#xD8;stre Voldgade 10, 1350 Copenhagen&#x3C;br /&#x3E;Arrang&#xF8;r: DIKU&#x3C;br /&#x3E;Join us for the&#x26;nbsp;for the 35th Nordic Workshop on Programming Theory!&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/nordic-workshop-on-programming-theory/</guid>
</item>
<item>
<title>PhD defence by Henrik Bj&#xF8;rn Axelsen</title>
<link>https://di.ku.dk/forsidebegivenheder/begivenheder-2024/phd-defence-by-henrik-bjoern-axelsen/</link>
<description>28. oktober 2024 kl. 13:15&#x3C;br /&#x3E;Arrangementstype: Ph.d.-forsvar&#x3C;br /&#x3E;Sted: NBI Auditorium D, Blegdamsvej 17, 2100 Copenhagen &#xD8;&#x3C;br /&#x3E;Arrang&#xF8;r: Department of Computer Science&#x3C;br /&#x3E;Join us when Henrik Bj&#x26;#248;rn Axelsen from the PLTC section&#x26;nbsp;will defend their PhD thesis titled...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/forsidebegivenheder/begivenheder-2024/phd-defence-by-henrik-bjoern-axelsen/</guid>
<enclosure type="image/png" length="219862" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2024/phd-defence-by-henrik-bjoern-axelsen/Henrik_web.png" />
</item>
<item>
<title>IEEE Blockchain 2024 conference</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/ieee-blockchain-2024-conference/</link>
<description>19. august 2024&#x3C;br /&#x3E;Arrangementstype: Konference&#x3C;br /&#x3E;Arrang&#xF8;r: IEEE and Department of Computer Science, Copenhagen University.&#x3C;br /&#x3E;The 2024 IEEE Cybermatics Congress is held in Copenhagen, Denmark, August 19-22, 2024.&#x26;nbsp;Cybermatics...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/ieee-blockchain-2024-conference/</guid>
<enclosure url="https://di.ku.dk/forsidebegivenheder/begivenheder-2024/ieee-blockchain-2024-conference/blockchain_1100x600.png" length="200020" type="image/png" />
</item>
<item>
<title>Programming Language Design and Implementation 2024</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/programming-language-design-and-implementation-2024/</link>
<description>24. juni 2024&#x3C;br /&#x3E;Arrangementstype: Konference&#x3C;br /&#x3E;Sted: Copenhagen, Denmark&#x3C;br /&#x3E;Arrang&#xF8;r: Cosmin Eugen Oancea, Department of Computer Science, Copenhagen University. Fritz Henglein, Department of Computer Science, Copenhagen University. SIGPLAN&#x3C;br /&#x3E;PLDI is the premier forum in the field of programming languages and programming systems research, covering...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/programming-language-design-and-implementation-2024/</guid>
<enclosure type="image/png" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2024/programming-language-design-and-implementation-2024/coding_1100x600.png" length="216581" />
</item>
<item>
<title>DIKU Bits: Your Code Works &#x2014; But Can You Prove It Beyond Doubt?</title>
<link>https://di.ku.dk/english/events/event-calendar-2024/diku-bits-pltc-march-2024/</link>
<description>05. marts 2024 kl. 12:15&#x3C;br /&#x3E;Arrangementstype: Foredrag&#x3C;br /&#x3E;Sted: Lille UP1, DIKU, Universitetsparken 1, 2100 K&#xF8;benhavn &#xD8;&#x3C;br /&#x3E;Arrang&#xF8;r: VILU, Heads of Studies at DIKU, and Datalogisk Fagr&#xE5;d&#x3C;br /&#x3E;Join us when Ken Friis Larsen from the PLTC&#x26;nbsp;section&#x26;nbsp;will give a DIKU Bits lecture.&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2024/diku-bits-pltc-march-2024/</guid>
<enclosure url="https://di.ku.dk/forsidebegivenheder/begivenheder-2024/diku-bits-pltc-march-2024/KenF_1100.png" length="302367" type="image/png" />
</item>
<item>
<title>Digital Tech Summit 2023: AI Transforming Business</title>
<link>https://di.ku.dk/english/events/event-calendar-2023/digital-tech-summit-2023/</link>
<description>08. november 2023&#x3C;br /&#x3E;Sted: &#xD8;ksnehallen, Copenhagen.&#x3C;br /&#x3E;Arrang&#xF8;r: All Danish Universities in collaboration with Teknologiens Mediehus.&#x3C;br /&#x3E;For the third year in a row, the Danish universities in collaboration with Teknologiens Mediehus open...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2023/digital-tech-summit-2023/</guid>
<enclosure type="image/jpeg" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2023/digital-tech-summit-2023/Digital_Tech_Summit_2021-Mikal_Schlosser_1100x600.jpg" length="215549" />
</item>
<item>
<title>DIKU Bits: Randomly finding bugs</title>
<link>https://di.ku.dk/english/events/event-calendar-2023/diku-bits-pltc-october-2023/</link>
<description>10. oktober 2023 kl. 12:15&#x3C;br /&#x3E;Arrangementstype: Foredrag&#x3C;br /&#x3E;Sted: Lille UP1, DIKU, Universitetsparken 1, 2100 K&#xF8;benhavn &#xD8;&#x3C;br /&#x3E;Arrang&#xF8;r: vilu@di.ku.dk (VILU), Head of Studies at DIKU and Datalogisk Fagr&#xE5;d&#x3C;br /&#x3E;Join us when Ken Friis Larsen from the Programming Languages and Theory of Computation (PLTC)&#x26;nbsp;section&#x26;nbsp;will...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2023/diku-bits-pltc-october-2023/</guid>
<enclosure type="image/png" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2023/diku-bits-pltc-october-2023/Ken_DIKUBits1100.png" length="245378" />
</item>
<item>
<title>PhD defence by Philip Munksgaard</title>
<link>https://di.ku.dk/english/events/event-calendar-2023/phd-defence-by-philip-munksgaard/</link>
<description>17. maj 2023 kl. 13:00&#x3C;br /&#x3E;Arrangementstype: Ph.d.-forsvar&#x3C;br /&#x3E;Sted: August Krogh Bygningen, Aud 01, Universitetsparken 13, 2100 Copenhagen &#xD8;&#x3C;br /&#x3E;Arrang&#xF8;r: Department of Computer Science&#x3C;br /&#x3E;Join us when&#x26;nbsp;Philip Munksgaard will defend their PhD thesis titled &#x27;Static and Dynamic Analyses...&#x3C;br /&#x3E;</description>
<guid isPermaLink="true">https://di.ku.dk/english/events/event-calendar-2023/phd-defence-by-philip-munksgaard/</guid>
<enclosure length="143701" url="https://di.ku.dk/forsidebegivenheder/begivenheder-2023/phd-defence-by-philip-munksgaard/munksgaard1100.png" type="image/png" />
</item>
</channel>
</rss>