Internationales Symposion zu den Kontrollgesellschaften: Moderne Gesellschaften werden zusehends zu Systemen, die „durch unablässige Kontrolle und unmittelbare Kommunikation“ funktionieren (Gilles Deleuze). Diese Entwicklung weist ebenso politische, ökonomische, kulturelle wie technisch-mediale Aspekte auf. Nicht zuletzt stellt sie vor Probleme des „Virtuellen“: Wie lassen sich Fluchtlinien, Techniken und Stratageme denken, die den Techniken der Kontrolle und Selbstkontrolle entgehen – politisch, ökonomisch, kulturell und künstlerisch? Deleuze's Postscript on the Societies of Control: http://www.youtube.com/watch?v=GIus7lm_ZK0
Communication and Concurrency Lectures take place Monday and Thursday 14.00-14.50 in Appleton Tower, room M1, and are given by Colin Stirling. The syllabus of this module can be viewed in HTML through the Course Guide Background Reading: Milner's book "Communication and Concurrency, Prentice-Hall 1989" is important. Here is some background reading on ordinary, list, and tree (=structural) induction: ps pdf The Wikipedia article on Modal Logic makes interesting background reading. Note that there is a pointer to, but no article for, Hennessy-Milner logic: maybe you would like to write it?
zerlegt digital elektronische, Papier-, Mikrofilm- oder Mikrofiche- Dokumente in ihre Bestandteile und schafft durchsuchbare Inhalte bei gleichzeitigem
T. Mossakowski, M. Roggenbach, and L. Schröder. Coalgebraic Methods in Computer Science, volume 82 of Electronic Notes in Theoretical Computer Science, Elsevier Science; http://www.elsevier.nl/, (2003)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)