assistant, MSc Theoretical Foundations of Computer Science office ground floor, 14 phone (485) 2796 e-mail nikola.trkulja@dmi.uns.ac.rs personal page http://people.dmi.uns.ac.rs/~nikola.trkulja/