Events

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.

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.

Toyotaro Suzumura (IBM) will present a popular data model that naturally represents many problems in the real world.

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.

This month's Severo Ochoa Research Seminar Lecture will be given by Lev Lafayette and Martin Paulo, from the University of Melbourne. They are visiting a number of European Universities and research institutions to present the Research Platform of the University of Melbourne