Programma

10:30 - 11:00

Ontvangst met koffie en thee

11:00 - 12:00

Machine Learning om de volgende pandemie te voorkomen

Prof. dr. Max Welling

12:00 - 13:00

Wiskunde voor goede kunstmatige intelligentie: een persoonlijke zoektocht

Prof. dr. Bart Verheij

Lunchpauze 13:00 - 13:40

13:40 - 14:40

Rekenen met biologische neuronen

Prof. dr. Sander Bohté

Koffiepauze 14:40 - 15:00

15:00 - 16:00

Finding Mathematical Proofs Using Computers

Dr. Jasmin Blanchette