Game theory provides a formal model to study the behavior and interaction of self-interested users and programs in large-scale distributed computer systems without central control. The course discusses algorithmic aspects of game theory.

Query processing, optimization, stream-based systems, distributed and parallel databases, non-standard databases.

Students present papers in Theoretical Computer Science which have also some "interdisciplinary flavor". Methods in classical theory of computing are used to better understand some fundamental questions in other fields (biology, social science, economics, etc.). The talks give a first outlook of these type of results which typically provide rigorous analysis of algorithms ("prove theorems").