ARGO - Events

Events

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ć
Research visit to the University of Valencia, Valencia, Spain, May 1 - July 31, 2009.
- Vesna Pavlović
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

Research visit to the Deparment of Mathematics, University of Rome "La Sapienza", Rome, Italy, November 9-16, 2008.
- Predrag Janičić
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

BALCOR, Belgrade-Zlatibor, Serbia, September 14-17, 2007.
- Milena Vujošević-Janičić: Using Simplex Method in Verifying Software Safety
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
SMT-COMP'07: The Satisfiability Modulo Theories Competition (SMT-COMP). A satellite event of CAV'07 Berlin, Germany, July 3-7, 2007.
- Filip 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
Research visit to RISC, University of Linz, Hagenberg, Austria, May 10-18, 2006.
- Predrag Janičić
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...

Research visit to the Department of Mathematics, University of Coimbra, Portugal, September 1-30, 2005.
- Predrag Janičić
Frontiers of Combining Systems, Technical University of Vienna, Viena, Austria, September 19-21, 2005.
- Dejan Jovanović, Predrag Janičić: Logical Analysis of Hash Functions