From emma.tye at strath.ac.uk  Mon Nov  2 12:22:14 2026
From: emma.tye at strath.ac.uk (=?utf-8?Q?Emma_Tye?=)
Date: Mon, 02 Nov 2026 12:22:14 +0000
Subject: [msp-interest]
	=?utf-8?q?=5BMSP101=5D_Emma_Tye=3A_Martin-L=C3=B6f_Type_Theory_?=
	=?utf-8?q?=28continued=29_=283pm_Tue_3/11=2C_LT619=29?=
Message-ID: <E1xNr3G-FnQW0hPm3cQ-kPJJ@message-id.smtpcorp.com>

Dear all,

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

Best wishes,
Emma

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

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

Speaker:
  Emma Tye (MSP)

Title:
  Martin-L?f Type Theory (continued)

Abstract:
  Emma will continue her introductory talk on Martin-L?f Type Theory.

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



From emma.tye at strath.ac.uk  Fri Nov  6 11:13:18 2026
From: emma.tye at strath.ac.uk (=?utf-8?Q?Emma_Tye?=)
Date: Fri, 06 Nov 2026 11:13:18 +0000
Subject: [msp-interest]  [MSP101] Clemens Kupke: Coalgebra (3pm Tue 10/11,
	LT619)
Message-ID: <E1xPHsi-AIkwcC8s2yc-IzDl@message-id.smtpcorp.com>

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