What's in a Name? Nominal Modal Logic for Complete Expressiveness
Speaker
Joachim Parrow
Date and Time
Friday, Oct 26th, 2018 at 14:15. (An hour long presentation.)
Location
Polacksbacken, ITC, room 1211.
Abstract
In this talk I shall very gently introduce the basic ideas of nominal sets, as formulated by Andrew Pitts around year 2000, and show how nominal sets can be used to define a remarkably expressive Hennessy-Milner logic. Despite having just four basic combinators it encompasses many previously proposed much more complicated logics. In fact, it is so expressive that in it, any property can be expressed! Well, almost any property. Come to the talk to find out exactly what this means!
Speaker Bio
Joachim Parrow is professor of Computing Science and Dean of Mathematics and Computer Science. A short bio is here.