Programma
10:30 - 11:00
Ontvangst met koffie en thee
Ontvangst met koffie en thee
11:00 - 12:00
Machine Learning om de volgende pandemie te voorkomen
Machine Learning om de volgende pandemie te voorkomen
Prof. dr. Max Welling
12:00 - 13:00
Wiskunde voor goede kunstmatige intelligentie: een persoonlijke zoektocht
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
Rekenen met biologische neuronen
Prof. dr. Sander Bohté
Koffiepauze 14:40 - 15:00
15:00 - 16:00
Finding Mathematical Proofs Using Computers
Finding Mathematical Proofs Using Computers
Dr. Jasmin Blanchette