ACM Turing Laureate Lecture Prof. Joseph Sifakis: "On the nature of Computing"

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.

Data: 16/Mar/2017 Time: 11:00

Primary tabs


How to arrive

UPC AULA MASTER A3 building on the campus map

The lecture will also be streamed by UPC TV. Please follow the  link.