Title |
Type |
Location |
Serial |
Start |
End |
All Day |
|
Graph Neural Networks and Message Passing |
Phase A |
Room 1.06 in E1 1 and online |
|
12.05.22 |
12.05.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 |
|
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 |
|
Learning Combinatorial Optimization Algorithms over Graphs |
Phase B |
Room 1.06 in E1 1 and online |
|
21.07.22 |
21.07.22 |
No |
|