Timetable

Title Type Location Serial Start End All Day
Paper Notification Deadline 25.04.22 N/A Yes 
Paper Preferences Deadline 24.04.22 24.04.22 No 
Project Submission Deadline 08.09.22 08.09.22 No 
Transformers and Large Language Models Phase A Room 1.06 in E1 1 and online 19.05.22 19.05.22 No 
Reinforcement Learning Phase A Room 1.06 in E1 1 and online 02.06.22 02.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 
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 
Kick-Off Kick-Off Room 1.06 in E1 1 and online 21.04.22 21.04.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 
Competition-Level Code Generation with AlphaCode Phase B Room 1.06 in E1 1 and online 07.07.22 07.07.22 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.