[Club2] Club2-spontan: CADE-Probevortrag, Mi. 11.7. (=morgen) 15h (Turing)

[Alexander Krauss]

Liebe Leute,

morgen gibt es noch recht kurzfristig eine Probevortrag von mir für die
CADE nächste Woche. Interessierte sind herzlich eingeladen.

Certified Size-Change Termination
=================================

We develop a formalization of the Size-Change Principle in
Isabelle/HOL and use it to construct formally certified termination
proofs for recursive functions automatically.