Chair: Stephan Schulz

• 16:00: Michael Rawson, Giles Reger. Directed Graph Networks for Logical Reasoning!.
• 16:30: Qinghua Liu, Zishi Wu, Zihao Wang, Geoff Sutcliffe. Evaluation of Axiom Selection Techniques!.
• 17:00: Bernhard Gleiss, Martin Suda. Layered Clause Selection for Saturation-based Theorem Proving!.