2013-04-09: Seminar Abramsky (Oxford University) on Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting
We present a novel coalgebraic formulation of infinite extensive games. We define both the game trees and the strategy profiles by possibly infinite systems of corecursive equations.

2013-03-20: Seminar Babar (Lancaster University) on Experiences from Human-Centric Software Engineering Research
One of our main research goals is to empirically understand how software engineers work with technologies and interact with each otters when developing software. To this end, we have conducted several dozens of empirical studies in industrial and academic environments.

2013-03-19: Seminar Stolzenburg (Harz University) on Neural Learning with Applications in Object Recognition and Harmony Perception
The fields of neural computation and artificial neural networks have developed much in the last decades. Since technical, physical, and also cognitive processes evolve in time, neural networks should be considered, which allow us to model the synthesis and analysis of continuous and possibly periodic processes in time besides computing discrete classification functions.

2013-03-12: Seminar Freytag (University of Humboldt) on Privacy Challenges in Data intensive Processing Systems
Over the last years, the means to collect personal data implicitly or explicitly over the Web and by various kinds of sensors and to combine data for profiling individuals dramatically increased thus leading privacy violations.

2013-03-01: Seminar Berghammer (University of Kiel) on Simple Games and the Use of BDDs for solving Problems
Simple games are yes/no cooperative games which arise in many practical applications, such as in political sciences and economics. We have obtained amazing positive results when using the BDD-based relation algebra tool RelView for solving computational problems on them.