Konferencija Workshop Progress in Decision Procedures: From Formalizations to Applications, Matematički fakultet, 30. mart 2013.

U subotu, 30. marta 2013. na Matematičkom fakultetu biće održana jednodnevna konferencija, pod nazivom "Workshop Progress in Decision Procedures: From Formalizations to Applications".

Više informacija se može naći na strani

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

Pozivamo zainteresovane kolege i studente da prisustvuju ovoj konferenciji.


 Ostavite vaš komentar 

Komentari(0)

Ostavite vaš komentar:


(opciono)
(nece biti prikazano)