Tue
01
Wed
02
Thu
03
Sat
05
Nothing scheduled.
Sun
06
Nothing scheduled.
All AI events in NL
Half-day workshop on how AI is changing mathematics: from automating proof discovery and formalisation to assistance with paper writing and reviewing