Friday 20 May 2016, 10:30: Formalizing Computation, Nachum Dershowitz (Tel Aviv University and Institut d'Etudes Avancées de Paris).

I discuss the recent formalization of the notions of algorithmic computation, effective computation, and parallel computation, along with some consequences vis-à-vis complexity of computation.