tujina

Predstavitev formalne analize in eksperimentov algoritma ERA na KAUST, Saudska Arabija

Submitted by mjekovec on Thu, 03/06/2014 - 10:03

Matevž Jekovec je od 1. do 5. marca 2014 na povabilo profesorja Panosa Kalnisa obiskal univerzo KAUST (King Abdullah University of Science and Technology) v Savdski Arabiji, kjer je raziskovalni skupini Infocloud predstavljal formalno analizo in vrsto meritev za njihov algoritem ERA (Elastic Range).