Timetable

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
Evaluating Large Language Models Trained on Code	Phase B	Room 1.06 in E1 1 and online		14.07.22	14.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
Learning to Solve SMT Formulas	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
Data-Driven Approximations to NP-Hard Problems	Phase B	Room 1.06 in E1 1 and online		23.06.22	23.06.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
Learning to Represent Programs with Graphs	Phase B	Room 1.06 in E1 1 and online		30.06.22	30.06.22	No
Feedforward and Recurrent Neural Networks	Phase A	Room 1.06 in E1 1 and online		05.05.22	05.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

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.