18.00 Welcome speech
18.10 Jakub Radoszewski: Algorithms with Machine Learned Advice
18.35 Mateusz Malinowski: Sideways: Depth-Parallel Training of Video Models
19.00 Henryk Michalewski: Machine learning and theorem proving
19.25 Closing speech
19.30 Food & Networking