Working Seminar on Formal Models, Discrete Structures, and Algorithms

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.

Fall 2014

The seminars are held on Mondays at 2pm in the room C417 (FI, Botanická 68a).

Date Speaker Title
December 15 Marek Trtík TBA
November 10 Jana Tůmová Maximally-satisfying LTL strategy synthesis for robot motion planning
October 20 Tereza Klimošová Strong immersions in 4-edge connected graphs

Spring 2014

Fall 2013

Spring 2013

Fall 2012

Spring 2012

Fall 2011

Spring 2011