University of Leicester

informatics

cLOG Seminar Series Webpage

This page, created by Tadeusz Litak and maintained by him until he left Leicester at the end of 2012, announces some of the local events around logic, category theory, program semantics. Currently, local participants are likely to be Octavian Babus, Roy Crole, Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries. The page is maintained by Alexander Kurz.

Author: Tadeusz Litak (tml12 if_you're_a_spambot_this_underlined_part_is_to_confuse_you at mcs.le.ac.uk), T: +44 (0) 116 252 2593.
University of Leicester 12 Feb 2010. Last modified: 19th September 2013, 13:03:29.
Informatics Web Maintainer. This document has been approved by the Head of Department.