Part ot the final valuation for graduate students will depend on
a presentation on some particular argument.
The argument can be freely chosen by the students (anything they like related to logic will work)

A list of possible topics are:

Paradoxes and self-application
Co-induction and bisimulation
The Coq Proof assistant 
Isabelle 
Higher order logic
Temporal Logic 
Modal Logic
Fuzzy Logic
Linear Logic 
Program Extraction