Research Seminars

Thursday, 16 March, 2017
This time we are honored to present a lecture by Prof. Joseph Sifakis, who was awarded the prestigious Turing award in 2007 together with Edmund M. Clarke and E. Allen Emerson for their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries. Prof. Sifakis´ talk is titled On the Nature of Computing and it is open to everyone.
Thursday, 16 March, 2017
This time we are honored to present a lecture by Prof. Joseph Sifakis, who was recognized with the prestigious Turing award in 2007 together with Edmund M. Clarke and E. Allen Emerson for their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries. Prof. Sifakis´ talk is titled On the Nature of Computing and it is open to everyone.
Wednesday, 03 May, 2017 to Friday, 05 May, 2017
Thursday, 22 June, 2017 to Friday, 23 June, 2017
The course will present the parallelization of several widely-known image and video processing algorithms such as color space conversion, gaussian filtering, and histogramming. Its aim is to be an initial approach to parallel programming to those who may be interested in the potential parallelization of the applications they work with. The course is delivered by the GPU Center of Excellence (GCOE) awarded by NVIDIA to the Barcelona Supercomputing Center (BSC) in association with the Universitat Politecnica de Catalunya (UPC) as a Severo Ochoa workshop.
Monday, 26 June, 2017 to Friday, 30 June, 2017