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.

Spring 2014

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
April 28 Robert Ganian TBA
March 19 Werner Kuich A new acceptance modus for weighted finite automata
February 11 Jan Krcal Probabilistic Bisimulation: Naturally on Distributions

Autumn 2013

Spring 2013

Autumn 2012

Spring 2012

Autumn 2011

Spring 2011