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 2015

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

Date Speaker Title
May 5 Hans Raj Tiwary Fixed Parameter Extension Complexity
April 9 Alexandre Duret-Lutz Stutter-Invariance Checks & Testing Automata
March 5 Daniel Kráľ Finitely describable combinatorial limits

Fall 2014

Spring 2014

Fall 2013

Spring 2013

Fall 2012

Spring 2012

Fall 2011

Spring 2011