Campus Event Calendar
Event Entry
What and Who
A historical perspective on bisimulation and coinduction
Prof. Davide Sangiorgi
University of Bologna
Virtual Seminar
AG 1, RG1
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 20 February 2009
14:00
60 Minutes
E1 4
019
Saarbrücken
Abstract
I will discuss (a few aspects of) origins of bisimulation and
bisimilarity, in the three fields where they have been independently
discovered: Computer Science, Modal Logic, Set Theory.
Bisimulation and bisimilarity are coinductive notions, and as such
intimately related to fixed points. Therefore I will also present some
some historical remarks on coinduction and fixed points.
Finally, if there is time, I will present some problems for future work,
that have to do with enhancing the bisimulation proof method.
bisimilarity, in the three fields where they have been independently
discovered: Computer Science, Modal Logic, Set Theory.
Bisimulation and bisimilarity are coinductive notions, and as such
intimately related to fixed points. Therefore I will also present some
some historical remarks on coinduction and fixed points.
Finally, if there is time, I will present some problems for future work,
that have to do with enhancing the bisimulation proof method.
Contact
Jennifer Müller
900
--email hidden
passcode not visible
logged in users only
Jennifer Müller, 02/05/2009 15:19 -- Created document.