International Scientific Conference

On Friday and Saturday 29 and 30 January 2010. at the Faculty of Mathematics there will be held International Scientific Conference "COST Action IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and Automated TheoremProving and Applications. There will be about 40 participants from 11 countries at the meeting and there will be held a series of lectures on automatic reasoning, formal and automated theorem proving and application.

Product information and program meeting is available at: http://argo.matf.bg.ac.rs