Department of Computer Science

Previous Events

7 Jan. 2025, 14:15-15:00

COPLAS talk: Mohammad Mousavi: Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing

On 7 January, COPLAS will host a talk by Mohammad Mousavi titled 'Taming Spooky Actions at a Distance: A Discipline of Quantum Software Testing'.

20 Dec. 2024, 13:05-14:00

COPLAS talk: Phil Wadler: ChatGPT is Bullshit

On 20 December, COPLAS will host a talk by Phil Wadler titled 'ChatGPT is Bullshit'.

17 Dec. 2024, 12:15-13:15

DIKU Bits: The Problem of Measuring Energy Usage in Software and IT Systems: How We Can Help Future Programmers?

Join us when Michael Kirkedal Thomsen from the PLTC section will give a DIKU Bits lecture titled: The Problem of Measuring Energy Usage in Software and IT Systems: How We Can Help Future Programmers?

17 Dec. 2024, 9:00-11:00

Qrisp Tutorial

Join us on 17 December for a Qrisp Tutorial by Raphael Seidel and Sebastian Bock titled 'Fraunhofer FOKUS'

'.

17 Dec. 2024, 9:00-11:00

Qrisp Tutorial

Join us on 17 December for a Qrisp Tutorial by Raphael Seidel and Sebastian Bock titled 'Fraunhofer FOKUS'

'.

6 Nov. - 8 Nov. 2024

Nordic Workshop on Programming Theory

Join us for the for the 35th Nordic Workshop on Programming Theory!

28 Oct. 2024, 13:15

PhD defence by Henrik Bjørn Axelsen

Join us when Henrik Bjørn Axelsen from the PLTC section will defend their PhD thesis titled 'DAOs and Blockchain for Regulated Finance - Transformative decentralization'.

19 Aug. - 22 Aug. 2024

IEEE Blockchain 2024 conference

The 2024 IEEE Cybermatics Congress is held in Copenhagen, Denmark, August 19-22, 2024. Cybermatics is to build systematic knowledge about new phenomena, behaviors, properties and practices in the cyberspace, cyberization and cyber-enabled hyper worlds.

24 June - 28 June 2024

Programming Language Design and Implementation 2024

PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance.

5 Mar. 2024, 12:15-13:00

DIKU Bits: Your Code Works — But Can You Prove It Beyond Doubt?

Join us when Ken Friis Larsen from the PLTC section will give a DIKU Bits lecture.