Seminaris anteriors
Dimarts, 28 Març, 2017
Prof. Christoph Schär uses emerging heterogeneous supercomputing architectures to accomplish limited-area weather and climate model simulations such as COSMO that is able to run entirely on GPUs (rather than CPUs). Please join us for his presentation on Tuesday March 28th at 12.00, room C6-E101.
Divendres, 17 Març, 2017
This lecture is for BSC staff only. In this talk Prof. Sifakis will discuss rigorous system design as a formal and accountable process leading from requirements to correct-by-construction implementations.
Dijous, 16 Març, 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. This lecture is organized jointly with FIB as part of the FIB 40th anniversary program.
Divendres, 17 Febrer, 2017
In this Research Seminar we are proud to have two well known speakers: Prof. Wen-Mei Hwu and prof. Avi Mendelson. Wen Mei Hwu will talk about all the recent developments regarding Innovative Applications and Technology Pivots. Avi Mendelson will present a lecture around NVDRAM. During his talk he will discuss what has been done so far and the challenges ahead.
Dimecres, 25 Gener, 2017
Toyotaro Suzumura (IBM) will present a popular data model that naturally represents many problems in the real world.
Divendres, 16 Desembre, 2016
This year's Christmas lecture is about BSC involvement in the Heidelberg Laureate Forum.The talks and following discussion will present the aims of the HLF and share experiences of BSC researchers that have participated on it. You can discuss with them how to go through the application process and understand the potential benefits of participating in the forum. Coffee will be served. Registration is required.