Chair: Makarius Wenzel

• 11:30: Yiannos Stathopoulos, Angeliki Koutsoukou-Argyraki, Lawrence Paulson. SErAPIS : A Concept-Oriented Search Engine for the Isabelle Libraries Based on Natural Language.
• 12:00: Fabian Huch, Alexander Krauss. FindFacts: A Scalable Theorem Search.
• 12:30: Clemens Ballarin. An Antiquotation for Locale Graphs.