Automated Reasoning GrOupDepartment for Computer Science
Faculty of Mathematics
University of Belgrade
ARGO group is based at the Department of Computer Science (Faculty of Mathematics, University of Belgrade). We are interested in automated reasoning, especially in SAT and SMT (satisfiability modulo theories), interactive theorem proving, automated reasoning in geometry, software verfication and other applications of automated and interactive theorem proving.
The name ARGO comes from Automated Reasoning GrOup. Also, Argo was a galley of argonauts, in which they sailed in search for the Golden Fleece. The galley was very light and very fast (it was named after one of its builders or after the Greek word for "fast"). During its voyage, Argo sailed through the point where the rivers Danube and Sava meet (i.e., today's Belgrade).