COST Action IC0901, WG1 and WG2 Meeting and Third Workshop on Formal and Automated Theorem Proving and Applications, 29-30. januar 2010, Beograd.
У петак и суботу 29. и 30. јануара 2010. године, на Математичком факултету ће бити одржан међународни научни скуп "COST Action IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and Automated TheoremProving and Applications ". На скупу ће бити око 40 учесника из 11 земаља и биће одржан низ предавања из области аутомаског резоновања, формалног и аутоматског доказивања теорема и примена.
Детаљније информације као и програм скупа је доступан на адреси
http://argo.matf.bg.ac.rs