Department of Computer Science

Previous Events

1 July 2022, 14:00-15:00

DIKU Talk: Self-Adjusting Data Structures by Robert Tarjan

On 1 July 2022, BARC will host a talk by Robert Tarjan titled 'Self Adjusting Data Structures'. The talk is open to all students and researchers.

10 June - 1 July 2022

MSc Defences Summer 2022

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

23 May 2022, 15:30-16:30

COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications

On 25 April, COPLAS will host a talk by Liam O'Connor of Edinburgh University titled 'Quickstrom: Property-based Acceptance Testing with LTL Specifications'.

12 May 2022, 13:00-16:00

Inaugural Lectures: Glynn Winskel & Thomas Jensen

On 12 May 2022, Professors Glynn Winskel and Thomas Jensen will give their inaugural lectures titled 'Making Concurrency Functional' and 'Software Security from Program Analysis', respectively.

25 Apr. 2022, 15:30-16:30

COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications

On 25 April, COPLAS will host a talk by Liam O'Connor of Edinburgh University titled 'Quickstrom: Property-based Acceptance Testing with LTL Specifications'.

22 Apr. 2022, 14:00-16:00

PhD defence by Lys Sanz Moreta

On 22 April 2022, Lys Sanz Moreta will defend her PhD thesis titled 'Deep probabilistic programming applied to proteins'.

22 Apr. 2022, 14:00-16:00

PhD defence by Lys Sanz Moreta

On 22 April 2022, Lys Sanz Moreta will defend her PhD thesis titled 'Deep probabilistic programming applied to proteins'.

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'.