Timetable
- Event Category
- Phase B
- Title
- Graph Representations for Higher-Order Logic and Theorem Proving
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 30.06.2022 10:15
- Endtime
- 30.06.2022 11:00
- the whole day
- No
Neural-Symbolic Computing
Raven Beutner, Bernd Finkbeiner, Christopher Hahn, Niklas Metzger, Frederik Schmitt, Julian Siber