obiski

Invited lectures APS2 and Lalginar: Bogdán Zaválnij

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

Bogdán Zaválnij, University of Pécs, Hungary will have an invited lecture at Algorithms and data structures 2 course on Thursday, 29 May 2014 at 7:30 in Lecture room 2, Tržaška 25. He will talk about the Monte Carlo and Las Vegas methods and about the parallel programming using MPI. He will also demonstrate the execution of algorithms on one of their super computers.

Link to the APS2 slides.

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

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

On Friday, May 9th, at 11:00 in LALG there was a presentation by Annamária Szenkovits, a guest PhD student at our lab. The talk is summarized below.

Model-based testing for reactive systems. Intelligent approaches.

Presentation of the formal analysis and experiments of ERA algorithm at KAUST, Saudi Arabia

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

Matevž Jekovec, on the invitation of Panos Kalnis, visited KAUST (King Abdullah University of Science and Technology), Saudi Arabia from 1st to 5th Match 2014 presenting the formal analysis and various experiments to their research group Infocloud using their algorithm ERA (Elastic Range).

Link to the presentation.