1. "Euklid - dokazivac geometrijskih teorema" (Sa S.Kordicem), Seminar za logiku Matematickog instituta, Beograd, 10.1993.
2. "Euklid - dokazivac geometrijskih teorema" (Sa S.Kordicem), Jednodnevna seminar-konferencija iz matematicke logike, Matematicki institut, Beograd, 03.1993.
3. "Euklid - dokazivac geometrijskih teorema" (Sa S.Kordicem), Smotra mladih istrazivaca Srbije, Beograd, 12.1993.
4. "Euklid - dokazivac geometrijskih teorema" (Sa S.Kordicem), Seminar katedre za racunarstvo Matematickog fakulteta, Beograd, 03.1994.
5. "Lingvisticke osnove generisanja teksta" (prikaz knjige Laurance Danlos: "The Linguistic Basis of Text Generation" Cambridge University Press 1987), Seminar Racunarska lingvistika, Matematicki fakultet, Beograd, april 1994.
6. "GAME-MAKER - ilustracija koncepta programske ljuske", Konferencija SINFON (Studentski radovi u informatici i racunarskim naukama), Zlatibor, 29.10.-02.11.1994 (02.11.1994.)
7. "Dejstva diskontinualnih grupa na hiperbolicku ravan", Odeljenje za matematiku SANU, Beograd, 17. mart 1995.
8. "Euclid - geometry theorems prover" (Sa S.Kordicem), Conference "Logic, Algebra and Descrete Mathematics", Nis, 14.04.-16.04.1995 (16.04.1995.)
9. "O logickim igrama", Seminar za matematicku logiku Matematickog instituta, Beograd, 12.05.1995.
10. "Jedan pristup aksiomatskom zasnivanju geometrije" (Sa S.Kordicem), 9. Kongres matematicara Jugoslavije, Petrovac na moru, 22.05.-27.05.1995 (24.05.1995.)
11. "Apstrahovanje podataka i problema u programiranju logickih igara", Konferencija LIRA '95 (Logika i racunarstvo), Novi Sad, 26.09.-30.09.1995. (28.09.1995.)
12. "Automatsko generisanje filmskih scenarija", Konferencija SINFON "Studentski radovi u informatici i racunarskim naukama", Zlatibor, 04.11.-07.11.1995. (02.11.1995.)
13. "Transformatori predikata" (prikaz dela knjige E.W.Dijkstra, C.S.Scholten: "Predicate Calculus and Program Semantics" Springer-Verlag 1990), Seminar Algoritmika, Matematicki fakultet, Beograd, decembar 1995
14. "Alfa-beta algoritmi", Seminar Algoritmika, Matematicki fakultet, Beograd, mart 1996
15. "One method for automated geometry theorems proving in a human-oriented way", Mathematical Reasoning Group Seminar, Edinburgh, 28.10.1996.
16. "Ugradnja procedura odlucivanja u dokazivac teoreme CLaM", Seminar za logiku Matematickog instituta, Beograd, 11.04.1997.
17. "A Comparison of Decision Procedures in Presburger Arithmetic" (co-authors Alan Bundy, Ian Green), Conference LIRA '97 (Logika i racunarstvo), Novi Sad, 01-04.09.1997. (02.09.1997.)
18. "Koriscenje procedura odlucivanja i stohastickih gramatika u automatskom dokazivanju teorema", Seminar Algoritmika, Matematicki fakultet, Beograd, 17.04.1998
19. "Stohasticke gramatike za Prezburger aritmetiku", Seminar Verovatnoca i statistika, Matematicki fakultet, Beograd, 28.05.1998.
20. "Learning Stochastic Grammars for Presburger Arithmetic" (joint work with A.Bundy), Conference "Algebra and logic VIII" (section Mathematical Logic), Novi Sad, 21.09.-23.09.1998. (21.09.1998)
21. "Crtanje u LaTeX-u bez suza", Odeljenje za matematiku SANU, Beograd, 6. novembar 1998.
22. "Racunarstvo i geometrija", Republicki seminar o nastavi matematike i racunarstva '99, Beograd, 09.01.-12.01.1999. (12.01.1999.)
23. "Promena faze u SAT problemima", Seminar za logiku Matematickog instituta, Beograd, 14.04.2000.
24. "Prezentacija programa Cinderella" (sa Markom Milosevicem), Strucni sastanci Matematickog fakulteta i Odeljenje za matematiku Matematickog instituta, Beograd, 12.05.2000.
25. "Ugradnja procedura odlucivanja u dokazivace teorema", Kongres matematicara Jugoslavije, Beograd, 21-24.01.2001. (22.01.2001)
26. "Procedure odlucivanja i dokazivaci teorema", Seminar za logiku Matematickog instituta, Beograd, 02.03.2001.
27. "Strict General Setting for building decision procedures into theorem provers" (co-author Alan Bundy), The International Joint Conference on Automated Reasoning (IJCAR '01), Siena, Italy (18.07-24.07.2001), Siena, 20.07.2001. link
28. "(S)GS framework for building decision procedures into theorem provers", The Mathematical Reasoning Group Seminar, Division of Informatics, University of Edinburgh, Edinburgh, 28.06.2001.
29. "Building decision procedures into theorem provers", Theoretical Computer Science Seminar, School of Computer Science, University of Birmingham, Birmingham, 13.07.2001. link
30. "Implementing GS framework for decision procedures in LambdaClam", The Mathematical Reasoning Group Seminar, Division of Informatics, University of Edinburgh, Edinburgh, 19.07.2001.
31. "Generisanje geometrijskih slika na osnovu formalnog opisa", Seminar "Geometrija, obrazovanje i vizuelizacija sa primenama", Matematicki institut, Beograd, 01.11.2001.
32.
"Automatsko rezonovanje: sta racunari mogu", Laboratorija za
eksperimentalnu psihologiju, Filozofski fakultet, Univerzitet u Beogradu,
Beograd, 16.11.2001.
33. "Decision procedures, Presburger arithmetic
and complexity issues",
35. "Semiautomatic synthesis of decision
procedures",
34. "A General Setting for the Flexible Combining and Augmenting of Decision
Procedures", Automated Reasoning Group Lunch Seminar, University of Cambridge,
06.06.2002.
link
36. "Presentation of (S)GS framework", Dependable Systems Group, Heriot-Watt
University, 21.06.2002.
37. "Presentation of GCLC/WinGCLC", Mathematical Institute, Technical University, Berlin, 28.11.2002.
38. "Paket WinGCLC -
prezentacija" (sa Ivanom Trajkovicem), Seminar Geometrija, obrazovanje i
vizualizacija sa primenama, Beograd, 27.02.2003.
39. "Automatic synthesis of decision procedures: a
case study of linear arithmetic" (joint work with Alan Bundy), Seminar of
Department of Computer Science, DIST, University of Genova, Genova,
04.06.2003.
link
40. "Can decision procedures be learnt automatically?" (joint work with Mateja
Jamnik), Seminar of Mechanized Reasoning Group, DIST, University of Genova,
Genova, 05.06.2003.
41. "On predicting a grammar of a normal-form" (joint work with Alan Bundy and Alan Smaill), Workshop Proof, Computation, Complexity, Dresden, 17.06.-19.06.2004. (19.06.2004). link
In several occasions my work was kindly presented by my co-authors or other colleagues:
Alan Bundy: A comparison of decision procedures for Presburger arithmetic (joint work with Alan Bundy and Ian Green). Calculemus 1997.
Alan Bundy: A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers (joint work with Alan Bundy and Ian Green), CADE-16, Trento, Italy, 5.07.-11.07.1999. (7.07.1999) link
Alan Bundy: A Flexible Framework for the Combination and Augmentation of Decision Procedures in Theorem Provers (joint work with Alan Bundy), Genova, CIAO 2001, April 2001, Genova. link
Alan Bundy: A comparison of decision procedures in Presberger Arithmetic (joint work with Alan Bundy and Ian Green), University of Genova, October 2, 2001.
Alan Bundy: Predicting the BNF of a Normal Form (joint work with Alan Bundy and Alan Smaill), CIAO 2003, April 2003, Dagstuhl. link
Alan Bundy: On Predicting a Grammar of a Normal Form (joint work with Alan Bundy and Alan Smaill), CIAO 2004, April 2004, Genova. link
Silvio Ranise: Can Decision Procedures be learnt automatically? (joint work with Mateja Jamnik), FTP 2003, June 2004, Valencia. link
Cesare Tinelli: SMT in XML clothes (joint work with Filip Maric), PDPAR 2004, July 2004, Dublin. link
ARGO-Lib: A Generic Platform for Decision Procedures (joint work with Filip Maric), IJCAR 2004, July 2004, Dublin. link
Dejan Jovanovic: Logical Analysis of Hash Functions (joint work with Dejan Jovanovic), Frontiers of Combining Systems (FroCoS), Vienna, September 19-21, 2005.
Alan Bundy: On Predicting the Grammar of the Normal Form (joint work with Alan Bundy and Alan Smaill), Deduction Meeting, Dagstuhl, October 23-28, 2005.
Boris Ajdin: Ray Tracing in Poincare's Ball Model of Hyperbolical Space (joint work with Boris Ajdin, Jelena Novicic, Radmila Stamencic), Workshop on Multimedia Technology for Mathematics and Computer Science Education, Belgrade, November 10-11, 2005.