[msp-interest] [MSP101] Clemens Kupke: Coalgebra (3pm Tue 10/11, LT619)

[Emma Tye]

Dear all,

We have another MSP101 seminar coming up. Hope to see you there!

Best wishes,
Emma

Date, time and place:
  Tuesday 10 November, 15:00, Livingstone Tower room LT619

Online attendance:
  https://www.youtube.com/@msp.strathclyde/streams

Speaker:
  Clemens Kupke (MSP)

Title:
  Coalgebra

Abstract:
  Coalgebras provide a framework for formalising the notion of behaviour of different types of state-based systems.
In this talk I am planning to introduce concepts from the theory of coalgebras such as final coalgebras, coinduction and bisimulations. To exemplify what those concepts mean we will focus on the example of finite automata. If time permits I will also use that example to discuss the fruitful interplay between coalgebras and algebras, in which the latter are used to formalise specification languages (or logics) for coalgebras.

MSP101 Feeds:
  Web: http://msp.cis.strath.ac.uk/msp101.html
  RSS: http://msp.cis.strath.ac.uk/msp101.rss
 iCal: http://msp.cis.strath.ac.uk/msp101.ics