[Club2] Talks on 10/14/2015

[Julian Brunner]

Please note that the time slots of the talks "Functor-Preserving Type
Definitions in Isabelle/HOL" and "Clone Detection in Isabelle Theories"
have been adjusted to more accurately reflect the actual duration of these
talks.

The current schedule for 10/14/2015 is as follows:

14:00 - 14:30 Functor-Preserving Type Definitions in Isabelle/HOL
14:30 - 15:00 Clone Detection in Isabelle Theories
15:00 - 15:30 Formalization of Gibbard's random dictatorship theorem in
Isabelle/HOL

When in doubt and for the most up-to-date information, refer to the
calendar at http://www21.in.tum.de/club2.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20150922/02ec64af/attachment.html>