Research

01:03:00
Research

ICALP 2014: Viktor Kuncak

1,032 views July 11, 2014

"Verifying and Synthesizing Software with Recursive Functions" 2nd invited talk from the ICALP...

00:33
Research

NEUROEVOLUTION

92 views November 19, 2025

Video credits: Tan et al 2020; Akiba et al. 2024; Ha Schmidhuber 2018; Bling 2015; Schrum,...

14:20
Research

Fifth Nordic Blockchain Summit 2022 by Roman...

137 views May 16, 2022

02:47
Research

7TH INTERNATIONAL BLOCKCHAIN SCHOOL

55 views October 17, 2024

06:32
Research

6th International Blockchain School 2023

513 views October 31, 2023

The International Blockchain School will be held at IT University of Copenhagen on the 14th-18th...

00:27
Research

Danish Student Survey 2023.mp4

154 views October 11, 2023

Introduction video E23

31:22
Research

CS1 2_0.mp4

164 views February 07, 2023

Computer science education research has seen tremendous growth and professionalisation in recent...

04:05
Research

International Blockchain School 2022 (Winter...

402 views May 16, 2022

The International Blockchain School is an initiative of the European Blockchain Center and run...

13:56
Research

bootit-kolicalling-2022.mov

143 views November 14, 2022

Presentation of the paper: 'On the Effect of Onboarding Computing Students without Programming-...