Department of Computer Science

Previous Events

1 Mar. 2022, 12:15-13:00

DIKU Bits: It's Provably Impossible - But We Code It Anyway

On 1 March the Programming Language & Theory of Computation (PLTC) section at Department of Computer Science, University of Copenhagen, will give a DIKU Bits lecture.

28 Feb. - 12 May 2022

MSc Defences Spring 2022

See the list of the MSc defences at DIKU this spring. The list will continuously be updated.

25 Feb. 2022, 13:00-14:00

COPLAS Talk: Purity Polymorphism: Peaceful Cohabitation of Side-Effects, Laziness, and Parallelism

Magnus Madsen from Aarhus University will give a COPLAS Talk titled 'Purity Polymorphism: Peaceful Cohabitation of Side-Effects, Laziness, and Parallelism'.

25 Feb. 2022, 13:00-14:00

COPLAS Talk: Purity Polymorphism: Peaceful Cohabitation of Side-Effects, Laziness, and Parallelism

Magnus Madsen from Aarhus University will give a COPLAS Talk titled 'Purity Polymorphism: Peaceful Cohabitation of Side-Effects, Laziness, and Parallelism'.

12 Oct. 2021, 12:15-13:00

CANCELLED - DIKU Bits: Programming Languages and Theory of Computation

On 12 October the Programming Languages and Theory of Computation (PLTC) section at Department of Computer Science, University of Copenhagen, will give a DIKU Bits lecture.

20 Aug. 2021, 11:05-12:00

COPLAS talk: Proof-directed program transformation: A functional account of efficient regular expression matching

On 20 August, Andrzej Filinski, associate professor at DIKU, will give a COPLAS talk.

10 May 2021, 10:00-13:00

PhD defence by Wojciech Michal Pawlak

On 10 May 2021, Wojciech Michal Pawlak will defend his PhD thesis titled "Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications".

16 Apr. 2021, 13:05-14:00

DS talk: Pourpounehnajafabadi, Fair Auctions via Secret Transactions

Decentralizes Systems Seminar Talk by Mohsen Pourpounehnajafabadi from Department of Food and Resource Economics (IFRO), University of Copenhagen.

2 Mar. 2021, 12:15-13:00

DIKU Bits: Conquering Irregular Parallel Problems on Massively Data-Parallel Hardware

On 2 March 2021, Martin Elsman, professor in the Programming Languages and Theory of Computing section at DIKU, will present a lecture titled "Conquering Irregular Parallel Problems on Massively Data-Parallel Hardware".

16 Feb. 2021, 15:05-16:00

COPLAS TALK: A Type-Safe Structure Editor Calculus