obiski

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

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.

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

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

Subscribe to RSS - obiski