[Club2] Heute, 16:30-17:30

[Clemens Ballarin]

I will be giving a talk this afternoon.  This is a rehearsal for my 
talk at the computer science colloquium in Innsbruck.  Feedback is 
welcome.

Clemens
----
Title:
   Interactive Theorem Proving
Location:
   Alan Turing - 00.09.055
Time:
   16:30 - 17:30
Abstract:
   The talk is an introduction to interactive theorem proving, in 
particular the prover Isabelle (http://isabelle.in.tum.de), and to our 
current research in this area.  Topics are the basic design principles 
of interactive provers, their notions of proof, and their application 
to the verification of systems, in particular symbolic computation 
systems.