DEPARTMENT FOR COMPUTER SCIENCE

ARGO

Automated reasoning group

≡ Navigation

• Home
• People
• Research
• Publications
• Seminar
• Events
• Downloads



Events

Events Organized by the ARGO Group

2023

• Automated Deduction in Geometry - ADG 2023. Belgrade, September 20-22, 2023.

2013

• Workshop Progres in Decision Procedures: From Formalisations to Applications. Belgrade, March 30, 2013.

2012

• Fifth Workshop on Formal and Automated Theorem Proving and Applications. Belgrade, February 3-4, 2012.

2011

• Fourth Workshop on Formal and Automated Theorem Proving and Applications. Belgrade, February 4-5, 2011.

2010

• COST Action IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and Automated Theorem Proving and Applications. Belgrade, January 29-30, 2010.

2009

• Second Workshop on Formal and Automated Theorem Proving and Applications. Belgrade, January 30 - January 31, 2009.

2008

• First Workshop on Formal Theorem Proving and Applications. Belgrade, January 29 - February 1, 2008.

---

Events with Participation by Members of the ARGO Group

2024

• Rule based automated provers for geometry, Nice, France, May 28-30, 2024.
  • Vesna Marinkovic

2023

• 2nd Dedukti tools developers meeting, Frejus, France, January 27-29, 2023.
  • Predrag Janicic
• Federated Logic Conference - FLOC 2022, July 31 - August 12, 2022, Haifa, Israel.
  • Milan Banković: Trail saving in SMT. (SMT workshop)
• Automated Deduction in Geometry - ADG 2023, September 20-22, 2023, Belgrade, Serbia.
  • Milan Banković: Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solver
  • Salwa Tabet Gonzalez, Predrag Janičić and Julien Narboux: Automation of Triangle Ruler-and-Compass Constructions Using Constraint Solver
  • Vesna Marinković, Tijana Sukilovic and Filip Marić: Towards automated readable proofs of ruler and compass constructions

2022

• Dedukti tools developers meeting 1, Le Val d’Ajol, France, October 15-18, 2022.
  • Predrag Janicic

2021

• 13th International Conference on Automated Deduction in Geometry – ADG 2021, Hagenberg/virtual, Austria, September 15-17, 2021.
  • Predrag Janicic, Julien Narboux: Automated Generation of Illustrations for Synthetic Geometry Proofs
• Dagstuhl Seminar 21472: Geometric Logic, Constructivisation, and Automated Theorem Proving, Dagstuhl/hybrid, Germany, November 21-26, 2021.
  • Predrag Janicic, Julien Narboux: Theorem Proving as Constraint Solving with Coherent Logic

2020

2019

• The Sixth International Financial University Forum 2019, November 26-28, Moscow, Russia.
  • Predrag Janičić: Automated reasoning: What is it Good for?
  (invited talk)

2018

• Logic and Applications 2018 – LAP 2018, September 24-28, 2018, Dubrovnik, Croatia.
  • Predrag Janičić: Automated Reasoning in Geometry
  (invited talk)

2016

• TYPES 2016, May 25 - 26, 2016, Novi Sad, Serbia.
  • Milena Vujošević Janičić
• ADG 2016, June 27-29, 2016, Strasbourg, France.
  • Predrag Janičić: Geometrisation of Geometry (invited talk)
  • Predrag Janičić: Portfolio Methods in Theorem Proving for Elementary Geometry (joint work with Vesna Marinković, Mladen Nikolić, and Zoltan Kovacs)

2015

2014

• FMCAD 2014, October 21-24, 2014, Lausanne, Switzerland.
  • Milena Vujošević Janičić
• CP 2014, September 8-12, 2014, Lyon, France.
  • Mirko Stojadinović: Air Traffic Controller Shift Scheduling by Reduction to CSP, SAT and SAT-related Problems
• Dagstuhl Seminar 14352, Next Generation Static Software Analysis Tools, August 24-29, Schloss Dagstuhl, Germany.
  • Milena Vujošević Janičić: System LAV and Automated Evaluation of Students’ Programs
• 17th International Conference on Theory and Applications of Satisfiability Testing July 14-17, 2014, Vienna, Austria.
  • Mirko Stojadinović
• Pragmatics of SAT 2014, July 13, 2014, Vienna, Austria.
  • Mirko Stojadinović: Instance-based Selection of CSP Solvers using Short Training (joint work with Filip Marić)
• Conference on Intelligent Computer Mathematics, July 7-11, 2014, Coimbra, Portugal.
  • Predrag Janičić: A Vernacular for Coherent Logic (joint work with Sana Stojanović, Julien Narboux and Marc Bezem)
• Automated Deduction in Geometry, July 9-11, 2014, Coimbra, Portugal.
  • Predrag Janičić: Solving Geometric Construction Problems Supported by Theorem Proving (joint work with Vesna Marinković, and Pascal Schreck)
• CADGME 2014, September 26-29, 2014 Halle (Saale), Germany
  • Predrag Janičić: Challenges for the Next Generation Mathematics Education Software (keynote talk)

2013

• Final COST IC0901 Action Meeting, October 17-18, 2013, Madrid, Spain.
  • Predrag Janičić: Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving (joint work with Marko Maliković)
• SVARM Workshop, June 16-17, 2013, San Anton, Malta.
  • Predrag Janičić
• Third International SAT/SMT Summer School, July 3-5, 2013 Espoo, Finland.
  • Milena Vujošević Janičić
• SVARM Workshop, January 20-21, 2013, Rome, Italy.
  • Predrag Janičić: Automated Generation of Formal and Readable Proofs of Mathematical Theorems (joint work with Sana Stojanović)

2012

• Automated Deduction in Geometry, ADG 2012, September 17-19, 2012, Edinburgh, United Kingdom.
  • Danijela Petrović: Formalizing Analytic Geometries (joint work with Filip Marić)
• Formal Methods Conference, 2012, August 27-31 2012, Paris, France
  • Filip Marić: Formalization of incremental Simplex algorithm by stepwise refinement in Isabelle/HOL (joint work with Mirko Spasić)
• Conferences on Intelligent Computer Mathematics CICM 2012 8.-13. July 2012, Jacobs University, Bremen, Germany
  • Filip Marić: Formalizing Frankl's Conjecture: FC families (joint work with Miodrag Živković i Bojan Vučković)
  • Mladen Nikolić: CDCL-Based Abstract State Transition System for Coherent Logic (joint work with Predrag Janičić)
• IJCAR Workshop SVARM & VERIFY, June 30/July 1, Manchester, UK
  • Predrag Janičić: CDCL-Based Abstract State Transition System for Coherent Logic (joint work with Mladen Nikolić)
• 15th International Conference on Theory and Applications of Satisfiability Testing June 17-20, 2012, Trento, Italy
  • Mladen Nikolić
  • Milan Banković
  • Mirko Stojadinović
• Pragmatics of SAT 2012 June 16, 2012, Trento, Italy
  • Milan Banković: ArgoSMTExpression: a SMT-LIB 2.0 compliant expression library
• CSPSAT 2012 Workshop June 16, 2012, Trento, Italy
  • Mirko Stojadinović
• SAT/SMT Summer School 2012 June 12-15, 2012, Trento, Italy
  • Mladen Nikolić
  • Milan Banković
  • Mirko Stojadinović
• AIPA workshop and SVARM meeting, March 31-April 1, Tallinn, Estonia
  • Predrag Janičić: Triangle Construction Problems (joint work with Vesna Marinković)
• Winter School on Verification (organized by the Austrian Society for Rigorous Systems Engineering ARiSE and the Vienna Center for Logic and Algorithms VCLA), 6-10 February 2012, Vienna.
  • Milena Vujošević-Janičić
• Verified Software: Theories, Tools and Experiments January 28-29, 2012 Philadelphia, USA
  • Milena Vujošević-Janičić: Development and Evaluation of LAV: an SMT-Based Error Finding Platform

2011

• 22nd Central European Conference on Information and Intelligent Systems (CECiiS). September 21st - 23rd, Varaždin, Croatia, 2011.
  • Predrag Janičić: Automated Reasoning: Some Successes and New Challanges
  (Invited Talk)
• Summer School on Program Synthesis. Schloss Dagstuhl, Germany, August 8-12, 2011.
  • Vesna Marinković
• European Summer School in Logic, Language and Information. Ljubljana, Slovenia, August 1-12, 2011.
  • Danijela Petrović
  • Mirko Stojadinović: How Efficient Can Fully Verified Functional Programs be - a Case Study of Graph Traversal Algorithms
  (Poster presentation)
• Summer Research Institute. EPFL, Lausanne, Switzerland, June 6--24, 2011.
  • Predrag Janičić: Uniform Reduction to SAT and SMT
  (Invited Talk)
• SVARM Workshop. Saarbrücken, April 1-4, 2011.
  • Filip Marić: Verified efficient clausal proof checking for SAT

2010

• Alpine Verification Meeting and Rich Model Toolkit Meeting. Lugano, October 18-19, 2010.
  • Predrag Janičić: DPLL-Based Theorem Prover for Coherent Logic
• ADG 2010: Eight International Workshop on Automated Deduction in Geometry, Munich, Germany, July 22-24, 2010.
  • Vesna Pavlović
  • Sana Stojanović: Automated Generation of Formal and Readable Proofs in Geometry Using Coherent Logic
• SVARM Workshop. Edinburgh , July 20-21, 2010.
  • Predrag Janičić, Filip Marić: Uniform Reduction To SMT
• International Joint Conference on Automated Reasoning (IJCAR). Edinburgh , July 16-19, 2010.
  • Filip Marić, Predrag Janičić: URBiVA: Uniform Reduction to Bit-Vector Arithmetic
• SMT Workshop. Edinburgh , July 14-15, 2010.
  • Milan Banković, Filip Marić: An Alldifferent Constraint Solver in SMT
• SAT 2010: Thirteenth International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, United Kingdom, July 11-14, 2010.
  • Mladen Nikolić: Statistical Methodology for Comparison of SAT Solvers
  • Milan Banković
  • Filip Marić
• Automatic Deduction and GeoGebra, Castro Urdiales, Spain, February 7-10, 2010.
  • Predrag Janičić: The Tool GCLC and Links Between Automated Deduction and Dynamic Geometry

2009

• Kick-off Meeting of COST Action IC0901, Brussels, Belgium, October 30, 2009.
  • Predrag Janičić: Brief Presentation of the ARGO Group
• TPHOLs 2009: Theorem Proving in Higher Order Logic, hosted by the Theorem Proving Group at the Technische Universität München. August 17-20, 2009.
  • Filip Marić, Predrag Janičić: SAT Verification Project
• CADGME 2009: Computer Algebra and Dynamic Geometry Systems in Mathematics Education, RISC, Castle of Hagenberg, Austria. July 11-13, 2009.
  • Predrag Janičić: Automated geometry theorem proving: readability vs. efficiency
• SAT 2009: Twelfth International Conference on Theory and Applications of Satisfiability Testing, Swansea, Wales, United Kingdom, June 30 - July 3, 2009.
  • Filip Marić
  • Sana Stojanović
  • Mladen Nikolić: Instance Based Selection of Policies for SAT Solvers
• Summer school: Foundations of Information Technologies. Novi Sad, June 18-19, 2009.
  • Milena Vujošević-Janičić
• Data-mining Seminar: Challenges and Solutions. Belgrade, April 3, 2009.
  • Mladen Nikolić: Automated Reasoning and Data Mining
  • Predrag Janičić: Panel Discussion

2008

• ICCL Summer School 2008: Computational Logic and Cognitive Science, Dresden, Germany, August 24 - September 6, 2008.
  • Vesna Pavlović
• ICSOFT, Porto, Portugal, July 5-8, 2008.
  • Milena Vujošević-Janičić: Ensuring Safe Usage of Buffers in Programming Language C
• Spring School Geometry and Visualization, Belgrade, Serbia, April 19-25, 2008.
  • Predrag Janičić: Intelligent Geometrical Software
  • Vesna Pavlović, Sana Stojanović: Formalization and Automation of Euclidean Geometry
  • Predrag Janičić: GCLC - lab session

2007

• BALCOR, Belgrade-Zlatibor, Serbia, September 14-17, 2007.
  • Milena Vujošević-Janičić: Using Simplex Method in Verifying Software Safety
• SMT-COMP'07: The Satisfiability Modulo Theories Competition (SMT-COMP). A satellite event of CAV'07 Berlin, Germany, July 3-7, 2007.
  • Filip Marić
• Symposium Calculemus, RISC, University of Linz, Hagenberg, Austria, June 27-30, 2007.
  • Predrag Janičić, Alan Bundy: Automatic Synthesis of Decision Procedures: a Case Study of Ground and Linear Arithmetic

2006

• 4th Serbian-Hungarian Joint Symposium on Intelligent Systems, Subotica, Serbia, September 29-30, 2006.
  • Sana Stojanović: Adaptation of Edges in a Triangular Mesh (joint work with Miroslav Marić)
• SYMOPIS, Banja Koviljača, Serbia, October 3-6, 2006.
  • Milena Vujošević-Janičić, Jelena Tomašević: Phase Transition In Random SAT Problems
  • Jelena Tomašević, Milena Vujošević-Janičić: TemidaLib-Multiprecision Arithmetic Library
• International Congress of Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006.
  • Predrag Janičić: GCLC – A Tool for Constructive Euclidean Geometry and More than That
• Mini-workshop on Automated Theorem Proving in Geometry, RISC, University of Linz, Hagenberg, Austria, May 13, 2006.
  • Predrag Janičić: GCLC/WinGCLC — A Workbench for Geometry... and More...

2005

• Frontiers of Combining Systems, Technical University of Vienna, Viena, Austria, September 19-21, 2005.
  • Dejan Jovanović, Predrag Janičić: Logical Analysis of Hash Functions

2004

• Workshop Proof, Computation, Complexity, Faculty of Computer Science, Technical University of Dresden, Germany, June 19, 2004.
  • Predrag Janičić, Alan Bundy, Alan Smaill: On predicting a grammar of a normal-form
• Summer School and Workshop on Proof Theory and Automated Theorem Proving, Faculty of Computer Science, Technical University of Dresden, Germany, June 13-19, 2004.
  • Predrag Janičić
  • Filip Marić
  • Milena Vujošević-Janičić

---

Visits of members of ARGO Group to other groups

2019

• Predrag Janičić visited Dipartimento di Informatica, Università degli Studi di Milano, Milano, Italy, Oct 27-Nov 3.
• Predrag Janičić visited University of Strasbourg, Strasbourg, France, November 10-17.
• Predrag Janičić visited Financial University, Moscow, Russia, November 25-29.

2014

• Mladen Nikolić visited LARA, EPFL, Lausanne, Switzerland, July 11-15.

2013

• Filip Marić visited IGG group (Computer Graphics and Geometry), University of Strasbourg, Strasbourg, November 2013.
• Mladen Nikolić visited Center for Data Analytics and Biomedical Informatics, Temple University, Philadelphia, USA, July 1, 2013-August 31, 2013.
• Filip Marić visited LARA, EPFL, Lausanne, Switzerland, April 2013.

2012

• Mladen Nikolić visited Center for Data Analytics and Biomedical Informatics, Temple University, Philadelphia, USA, November 1, 2012-March 1, 2013.
• Filip Marić visited IGG group (Computer Graphics and Geometry), University of Strasbourg, Strasbourg, France, September 1-5.
• Predrag Janičić visited IGG group (Computer Graphics and Geometry), University of Strasbourg, Strasbourg, France, July 16-22.

2011

• Milena Vujošević-Janičić visited LARA, EPFL, Lausanne, Switzerland, December 21-22.
• Predrag Janičić visited LARA, EPFL, Lausanne, Switzerland, July 11.
• Mladen Nikolić visited IGAR,University of Lausanne, Lausanne, Switzerland, March 8-18.

2010

• Mladen Nikolić visited LARA, EPFL, Lausanne, Switzerland, December 7-11.
• Filip Marić visited TU Munich, Munich, Germany, November 1-8.

2009

• Vesna Pavlović visited University of Valencia, Valencia, Spain, May 1 – July 31.

2008

• Predrag Janičić visited Deparment of Mathematics, University of Rome "La Sapienza", Rome, Italy, November 9-16.
  • Automated Theorem Proving and GCLC Provers
  • Dynamic Geometry Software and the GCLC System

2006

• Predrag Janičić visited RISC, University of Linz, Hagenberg, Austria, May 10-18.

2005

• Predrag Janičić visited Department of Mathematics, University of Coimbra, Portugal, September 1-30.
  • Predrag Janičić:WinGCLC - A Workbench For Geometry

---

Visits to the ARGO Group

2023

• Salwa Tabet Gonzalez, University of Strasbourg, France, July 15-22.
• Julien Narboux, University of Strasbourg, France, May 02-05.
• Marc Bezem, University of Bergen, Norway, September 18-25.

2022

• Zoltán Kovács, JKU Linz School of Education, Austria, August 27.

2021

• Pedro Quaresma, University of Coimbra, Coimbra, Portugal, May 23-27.
• Anna Petiurenko, Pedagogical University of Cracow, Krakow, March 28-April 03.

2019

• Pavle Subotić, Amazon, London, United Kingdom, December 26.
• Alen Arslanagić, University of Groningen, December 26.
• Marija Selaković, Huawei Research, December 26.
• Stefan Jakšić, Austrian Institute of Technology, December 26.

2018

• Pierre Boutry, University of Strasbourg, France, June 19-25.
• Marc Bezem, University of Bergen, Norway, March 25-31.

2017

• Julien Narboux, University of Strasbourg, France, March 21-24.

2016

• Pavle Subotić, University College London, London, United Kingdom, March 24.
• Marc Bezem, University of Bergen, Bergen, Norway, May 26-31.
• Tetsuo Ida, University of Tsukuba, Tsukuba, Japan, Sept 20-22.
• Mircea Marin, West University of Timisoara, Timisoara, Romania, Sept 20-22.

2015

• Marc Bezem, University of Bergen, Bergen, Norway, May 2-9.

2014

• Aleksandar Zeljic, Department of Information Technology, Uppsala University, Sweden, March 13.
• Milos Gligoric, Department of Computer Science, University of Illinois at Urbana-Champaign, USA, July 17.
• Marc Bezem, University of Bergen, Bergen, Norway, July 20-25.

2013

• Viktor Kunčak, EPFL, Lausanne, Switzerland, January.
• Sasa Misailovic, Department of Electrical Engineering and Computer Science, MIT - Massachusetts Institute of Technology, USA, January 17.
• Alan Bundy, School of Informatics, University of Edinburgh, UK, May 15-19.
• Gabriel Istrate, West University of Timisoara and e-Austria Research Institute Timisoara, Romania, September 15-20.
• Pavle Subotic, Department of Information Technology, Uppsala University, Sweden, November 28.
• Julien Narboux, University of Strasbourg, France, December 18-19.
• Pascal Schreck, University of Strasbourg, France, December 18-19.
• Pierre Boutry, University of Strasbourg, France, December 18-19.

2012

• Zoltán Kovács, Gábor Ancsin and Simon Weitzhofer from the GeoGebra development team, Johannes Kepler University, Linz, Austria, June.
• Marc Bezem, University of Bergen, Bergen, Norway, August.
• Tihomir Gvero, EPFL, Lausanne, Switzerland, September.
• Julien Narboux, University of Strasbourg, France, December.
• Pascal Schreck, University of Strasbourg, France, December.

2011

• Hugo Herbelin, INRIA, Paris, France, May.

2010

• Florian Haftmann, TU Munich, Munich, Germany, November.
• Viktor Kunčak, EPFL, Lausanne, Switzerland, August.
• Oliver Kullmann, Swansea University, Swansea, United Kingdom, February.

2009

• Julien Narboux, University of Strasbourg, Strasbourg, France, June.

2008

• Pedro Quaresma, University of Coimbra, Coimbra, Portugal, April – June.

2007

• Claudio Castellini, University of Genova, Genova, Italy, November.

---

We were happy to host, within workshops or within individual visits, the following colleagues from non-Serbian research institutions:

1. Alan Bundy, School of Informatics, University of Edinburgh, UK (visit 2013)
2. Alen Arslanagić, University of Groningen, UK (visit 2019)
3. Aleksandar Vujić, PHDL, Linz, Austria (ADG conference 2023)
4. Aleksandar Zeljić, Mathematical Institute, Belgrade, Serbia and Uppsala University, Sweden (workshop 2011,2012,2013, visit 2014,2017)
5. Alexis Saurin, Universita di Torino, Italy and INRIA - PPS, Paris, France (workshop 2009, 2010)
6. Amela Hota, Private Pädagogische Hochschule der Diözese Linz, Austria (ADG conference 2023)
7. Anna Berger, PHDL, Austria (ADG conference 2023)
8. Anna Petiurenko, Pedagogical University of Crakow, Krakow (visit 2022, ADG conference 2023, visit 2024)
9. Barbara Jobstmann, CNRS/Verimag, Gieres, France (workhop 2010)
10. Chantal Keller, Laboratoire d'Informatique de Polytechnique (LIX), Palaiseau, France (workshop 2013)
11. Claudio Castellini, University of Genova, Italy (visit 2007)
12. Clemens Ballarin , TU Innsbruck, Austria (workshop 2008)
13. Dejan Ničković, Institute of Science and Technology (IST), Austria (workshop 2011)
14. Dingkang Wang, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, China (ADG conference 2023)
15. Dmitriy Traytel, TU Munich, Germany (workshop 2013)
16. Dragiša Žunić, Ecole Normale Superieure de Lyon, University of Novi Sad, FIMEK, Novi Sad, France/Serbia (workshop 2009, 2010, 2013)
17. Dusan Pagon, University of Maribor, Slovenia (workshop 2008)
18. Enes Dunjakovic, University of Tuzla, BIH (workshop 2008)
19. Enric Rodríguez Carbonell, Technical University of Catalonia (UPC), Barcelona, Spain (workshop 2013)
20. Etienne Kneuss, EPFL, Switzerland (workshop 2013)
21. Filip Konecny, EPFL, Switzerland (workshop 2013)
22. Filip Nikšić, MPI-SWS, Germany (workshop 2013)
23. Florian Haftmann, TU Munich, Germany (workshop 2009, 2010, visit 2010)
24. Gábor Ancsin, GeoGebra development team, Johannes Kepler University, Austria (visit 2012)
25. Gabriel Istrate, West University of Timisoara and e-Austria Research Institute Timisoara, Romania (visit 2013)
26. Hugo Herbelin, INRIA-PPS, Paris, France (workshop 2009, 2010, 2011, 2012, visit 2011)
27. Ivan Kuraj, EPFL, Switzerland (workshop 2013)
28. Jing Yang, Guangxi Minzu University, China (ADG conference 2023)
29. Johannes Eriksson, Abo Akademi University, Turku, Finland (workshop 2010)
30. Julien Narboux, University of Strasbourg, France (workshop 2012, visit 2009, 2012, 2013, 2017, 2023, ADG conference 2023)
31. Ljiljana Arambasic, University of Zagreb, Faculty of Science, Departmenet of Mathematics, Croatia (ADG conference 2023)
32. Makarius Wenzel, TU Munich, Germany (workshop 2008, 2009)
33. Marc Bezem, University of Bergen, Norway (workshop 2010, visit 2012, 2014, 2015, 2016, 2018, 2023/ADG conference 2023)
34. Marija Selaković, Huawei Research (visit 2019)
35. Marko Maliković, University of Rijeka, Croatia (workshop 2011, 2012)
36. Matijaz Kovse, University of Maribor, Slovenia (workshop 2008)
37. Mei Tan, Guangxi Minzu University for Nationalities, China (ADG conference 2023)
38. Milos Gligoric, University of Illinois, Urbana-Champaign, USA (visit 2014)
39. Mircea Marin, West University of Timisoara, Timisoara, Romania (visit 2016)
40. Moa Johansson, University of Verona, Italy (workshop 2010)
41. Nicolas Magaud, Université de Strasbourg, France (ADG conference 2023)
42. Oded Maler, CNRS/Verimag, France (workshop 2011)
43. Oliver Kullmann, Swansea University, UK (workshop 2010, 2011, 2012, visit 2010)
44. Pascal Schreck, University of Strasbourg, France (workshop 2012, visit 2012, 2013)
45. Paul Jackson, University of Edinburgh, UK (workshop 2010)
46. Pavle Subotic, Department of Information Technology, Uppsala University, Sweden (visit 2013, 2016, 2019)
47. Pedro Quaresma de Almeida, University of Coimbra, Portugal (workshop 2013, visit 2008, 2013, 2022, ADG conference 2023)
48. Petar Vukmirović, Vrije Universiteit Amsterdam, Netherlands (visit 2018)
49. Peter Lammich, TU Munich, Germany (workshop 2013)
50. Peter Schneider-Kamp, University of Southern Denmark, Odense, Denmark (workshop 2010)
51. Philip Todd, Saltire Software, USA (ADG conference 2023)
52. Philipp Ruemmer, University of Oxford, UK and Univesity of Uppsala, Sweden (workshop 2010,2012)
53. Philippe Suter, EPFL, Switzerland (workshop 2010)
54. Pierre Boutry, University of Strasbourg, France (visit 2013, visit 2018, ADG conference 2023)
55. Ralph-Johan Back, Abo Akademi University, Turku, Finland (workshop 2010)
56. Regis Blanc, EPFL, Switzerland (workshop 2013)
57. Ruzica Piskac, EPFL, Switzerland (workshop 2010)
58. Salwa Tabet Gonzalez, University of Strasbourg, France (visit 2023)
59. Samra Mujacic, University of Tuzla, BIH (workshop 2008)
60. Sasa Misailovic, MIT - Massachusetts Institute of Technology, USA (visit 2013)
61. Sascha Boehme, TU Munich, Germany (workshop 2010)
62. Simon Weitzhofer, GeoGebra development team, Johannes Kepler University Austria (visit 2012)
63. Srđan Vesić, CRIL, France (visit 2009,2019,2023)
64. Stefan Jakšić, Austrian Institute of Technology, Austria (visit 2019)
65. Stefan Ratschan, Academy of Sciences, Prague, Czech Republic (workshop 2010)
66. Stevan Kordić, University of Montenegro, Montenegro (workshop 2011)
67. Tetsuo Ida, University of Tsukuba, Tsukuba, Japan (visit 2016)
68. Tihomir Gvero, University of Belgrade, Serbia and EPFL, Lausanne, Switzerland (workshop 2009,2011,2013, visit 2012)
69. Viktor Kuncak, EPFL, Switzerland (workshop 2009, 2010, 2013, visit 2012, 2013)
70. Walther Neuper, Graz University of Technology, Austria (workshop 2008,2009,2010,2011,2012)
71. Zlatan Magajna, University of Ljubljana (ADG conference 2023)
72. Zoltán Kovács, GeoGebra development team, Johannes Kepler University, Austria (visit 2012, 2022, ADG conference 2023)

---