Poznan University of Technology Institute of Computing Science Main page of J. Nawrocki