Seminar Talks

Here you can find slides (in Croatian) of some of my talks I held at Seminar for theoretical computer science and Seminar for mathematical logic at Department of Mathematics, University of Zagreb.

• 07.12.2006: Verifikacija liveness svojstava programa [pdf]
• 30.11.2006: Software model checking [pdf]
• 03.04.2006: Entanglement i thief-and-detectives [pdf]
• 27.03.2006: Treewidth i robber-and-cops [pdf]
• 15.06.2005: Deskriptivna teorija složenosti: Verifikacija modela [pdf]
• 15/22.11.2004: 0-1 zakoni na konačnim modelima [pdf]
• 20.09.2004: Specifikacija i black-box testiranje pomoću jezika Spec# i alata SpecExplorer [pdf]
• 05.07.2004: Deskriptivna teorija slozenosti: Može li se logikom uhvatiti pojedina klasa složenosti? [pdf]
• 01.06.2004: Branch-and-cut algoritmi za CVRP [pdf]
• 11.05.2004: Poliedarske tehnike u kombinatornoj optimizaciji i cutting planes algoritmi [pdf]