Department of Mathematics,
Faculty of Mathematics and Physics,
University of Ljubljana

Department of Theoretical Computer Science,
IMFM