Chair: Martin Suda

• 16:00: Jørgen Villadsen. A Micro Prover for Teaching Automated Reasoning!.
• 16:30: Sen Zheng, Renate A. Schmidt. Querying the Guarded Fragment via Resolution!.
• 17:00: Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe. Cutting down the TPTP language (and others)!.