Timetable

Title Type Location Serial Start End All Day
Project Submission Deadline 08.09.22 08.09.22 No 
Learning to Solve SMT Formulas Phase B Room 1.06 in E1 1 and online 21.07.22 21.07.22 No 
Learning Combinatorial Optimization Algorithms over Graphs Phase B Room 1.06 in E1 1 and online 21.07.22 21.07.22 No 
Mastering the Game of Go with Deep Neural Networks and Tree Search Phase B Room 1.06 in E1 1 and online 14.07.22 14.07.22 No 
Evaluating Large Language Models Trained on Code Phase B Room 1.06 in E1 1 and online 14.07.22 14.07.22 No 
Advancing Mathematics by Guiding Human Intuition with AI Phase B Room 1.06 in E1 1 and online 07.07.22 07.07.22 No 
Competition-Level Code Generation with AlphaCode Phase B Room 1.06 in E1 1 and online 07.07.22 07.07.22 No 
Teaching Temporal Logics to Neural Networks Phase B Room 1.06 in E1 1 and online 07.07.22 07.07.22 No 
Learning to Represent Programs with Graphs Phase B Room 1.06 in E1 1 and online 30.06.22 30.06.22 No 
Graph Representations for Higher-Order Logic and Theorem Proving Phase B Room 1.06 in E1 1 and online 30.06.22 30.06.22 No 
Learning a SAT Solver from Single-Bit Supervision Phase B Room 1.06 in E1 1 and online 23.06.22 23.06.22 No 
Data-Driven Approximations to NP-Hard Problems Phase B Room 1.06 in E1 1 and online 23.06.22 23.06.22 No 
Reinforcement Learning Phase A Room 1.06 in E1 1 and online 02.06.22 02.06.22 No 
Transformers and Large Language Models Phase A Room 1.06 in E1 1 and online 19.05.22 19.05.22 No 
Graph Neural Networks and Message Passing Phase A Room 1.06 in E1 1 and online 12.05.22 12.05.22 No 
Feedforward and Recurrent Neural Networks Phase A Room 1.06 in E1 1 and online 05.05.22 05.05.22 No 
Paper Notification Deadline 25.04.22 N/A Yes 
Paper Preferences Deadline 24.04.22 24.04.22 No 
Kick-Off Kick-Off Room 1.06 in E1 1 and online 21.04.22 21.04.22 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.