Конференција Workshop Progress in Decision Procedures: From Formalizations to Applications, Математички факултет, 30. март 2013.

• 28. Март, 2013
• Коментари (0)

У суботу, 30. марта 2013. на Математичком факултету биће одржана једнодневна конференција, под називом "Workshop Progress in Decision Procedures: From Formalizations to Applications".

Више информација се може наћи на страни

http://argo.matf.bg.ac.rs/events/2013/pdp2013/pdp2013.html

Позивамо заинтересоване колеге и студенте да присуствују овој конференцији.