**Automated Reasoning GrOup**

Department for Computer ScienceFaculty of Mathematics

University of Belgrade

Serbia

URL: http://argo.matf.bg.ac.rs

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).