Tölvunarfræðideild

Viðburðir

ICE-TCS Lectures Series - Luca Aceto - Bisimulation and co-induction: A guided tour to their history and applications

Luca Aceto

The next ICE-TCS  talk for this semester will be delivered on Friday, 19 February  by Luca Aceto (Reykjavík University).  The talk, which is entitled Bisimulation and co-induction: A guided tour to their history and applications, will be held at 14:00 in room M1.05 at the new premises of Reykjavik University in Nauthólsvík.



Abstract

In this non-technical, introductory talk, I shall survey the origin of the ideas underlying the notions of bisimulation and co-induction in computer science, logic and set theory. The aim of the talk is to introduce the audience to one of the main gifts from computer science to logic and mathematics.

The talk will be based on slides by Davide Sangiorgi (University of Bologna, Italy).