Група за аутоматско резоновање:
Група за аутоматско резоновање (ARGO) бави се аутоматским и интерактивним доказивањем теорема, како у домену чисте математике, тако и у домену формалне верификације алгоритама и софтвера. Група се бави различитим областима аутоматског резоновања, а најважнија поља деловања су јој SAT, SMT и CSP решавачи и њихова примена (пре свега у проблемима распоређивања и верификацији), кохерентна логика, аутоматско резоновање у геометрији (аутоматско и интерактивно доказивање геометријских теорема и аутоматско решавање конструктивних проблема), примене процедура одлучивања, феномен фазног преласка и други проблеми који повезују аутоматско резоновање са комплексношћу, криптографијом, али и са машинским учењем и истраживањем података.
Детаљне информације о раду групе доступне су на следећој страни
