Title: The duality between Induction and Coinduction

Abstract:
The aim of this talk is to introduce the concept of coinduction as a mathematical tool for defining objects and proving properties about 
them.  It will be presented in relation to its dual counterpart, induction, which is better known and used more.  If time allows it, I will 
attempt  to jusitfy the two techniques in terms of the theory of fixed-points. I will try to make the talk as self-contained as possible 
and will only assume a very basic knowledge of induction.