Међународни научни скуп "COST Action IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and Automated TheoremProving and Applications", 29-30. јануар 2010.

• 18. Јануар, 2010
• Коментари (0)

У петак и суботу 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