obiski

Vabljeno predavanje APS2 in Lalginar: Bogdán Zaválnij

Submitted by mjekovec on Thu, 05/29/2014 - 15:37

V četrtek, 29. maja 2014 ob 7:30 bo pri predmetu Algoritmi in podatkovne strukture 2 vabljeno predavanje Bogdána Zaválnija z Univerze v Pecsi, Madžarska. Govoril bo o metodah Monte Carlo in Las Vegas ter o vzporednem okolju MPI. Prikazal bo tudi zagon algoritmov na njihovem super računalniku.

Povezava do prosojnic.

V petek, 30. maja 2014 ob 11h v prostorih LALG pa bo imel predavanje v sklopu LALGinarja na drugo temo:

LALGinar: Model-based testing for reactive systems. Intelligent approaches.

Submitted by abukosek on Mon, 05/12/2014 - 11:20

V petek,  9. maja, ob 11:00 bo v LALG Annamária Szenkovits, gostujoča doktorska študentka v našem laboratoriju, imela predstavitev.

Povzetek:

Model-based testing for reactive systems. Intelligent approaches.

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).