Семинар Катедре за рачунарство и информатику, 7. јун 2018.

Наредни састанак Семинара биће одржан у четвртак, 7. јуна 2018. у сали 718 Математичког факултета са почетком у 18:15 часова.

Планирана су два излагања:

др Сана Стојановић Ђурђевић
„ArgoGeoChecker – програм за интерактивно и аутоматско доказивање теорема“,

др Стефан Мишковић
„VNS-LP алгоритам за робусну варијанту динамичког локацијског проблема максималног покривања“.

Више детаља може се пронаћи на страници: http://computing.matf.bg.ac.rs.