This seminar is organized by the Faculty of Informatics, Masaryk University. The aim is to provide a forum for visiting scientists to present their work in progress and to develop new ideas in cooperation with their colleagues at FI MU. The emphasis is on emerging topics, recent results, and open problems.

These seminars are open to everybody. The contact person is Tomáš Brázdil.

Autumn 2011

The seminars are held on Mondays at 2pm in the room G215 (Gotex, Šumavská 15, building B, 1st floor, door 2.91 b).

Date	Speaker	Title
September 26	Xu Chu (Dennis) Ding	Provably Correct and Optimal Control Strategies for Dynamical Systems - Bridging the Gap between Computer Science and Control Design
October 3	Krishnendu Chatterjee	Partial-observation stochastic games: How to win when belief fails
October 10	Reshma Ramadurai	On Induced Vertex Folkman Numbers
October 24	Jakub Mareček	Recent Trends in Convex Programming, with Applications
November 3	Andrew Treglown	Embedding spanning subgraphs via degree sequence conditions
December 19	Patrice Ossona de Mendez	Low tree depth decompositions
January 19	Michal Pechoucek	Models, Algorithms and Applications of Security Games

Spring 2011

Date	Speaker	Title
April 11	Stefan Kiefer	On Probabilistic Parallel Programs with Process Creation and Synchronisation
April 18	Pavol Černý	Streaming string transducers
May 2	Demetres Christofides	Randomised algorithms for the majority problem
May 9	Dominik Wojtczak	The Computational Complexity of Nash Equilibria in Stochastic Games
May 18	Luke Postle	3-Connected Minor Minimal Non-Projective Planar Graphs with an Internal 3-Separation
May 30	Michal Koucký	Exact algorithms for solving stochastic games
June 15	Alexander Langer	A Practical Approach to Solve Hard Optimization Problems of Graphs with Small Treewidth

Working Seminar on Formal Models, Discrete Structures, and Algorithms

Autumn 2011

Spring 2011