Chair: Andreas Lochbihler

• 16:00: Yutaka Nagashima. Smart Induction for Isabelle/HOL.
• 16:30: Walther Neuper. Lucas-Interpretation on Isabelle's Functions.
• 17:30: Frédéric Tuong, Burkhart Wolff. Isabelle/C: A Generic Front-End of C11 Supported in Isabelle/PIDE.