Семинар из вештачке интелигенције, 7. децембар 2022.

• 05. Децембар, 2022
• Коментари (0)

Наредни састанак Семинара биће одржан онлајн у среду, 7. децембра 2022, са почетком у 19 часова.

Предавач: Филип Марић, Математички факултет, Универзитет у Београду

Наслов предавања: ИСТРАЖИВАЊА ГРУПЕ ЗА АУТОМАТСКО РЕЗОНОВАЊЕ НА МАТЕМАТИЧКОМ ФАКУЛТЕТУ У БЕОГРАДУ

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

Напомена: Регистрациона форма за учешће је доступна на линку:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Уколико желите само да пратите предавање без могућности активног учешћа, пренос је доступан на линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz