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

Tue Jul 10 22:40:06 CEST 2007

Dann drohe ich auch gleich einen Vortrag an, fuer Do Nachmittag oder 
Freitag um 10. Wird sich noch zeigen.

Tobias

Alexander Krauss schrieb:
> 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.
> _______________________________________________
> Club2 mailing list
> Club2 at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/club2