Talks (2011)

A talk given at Howard Barringer’s retirement workshop. Not a repeat of my talks at Paris or Edinburgh (see below), because I only had 20 minutes. Few technical details, much more discussion of the “conceptual stack” of nominal techniques and how I plan to develop the field. A very nice and interesting event with many varied speakers. The Festschrift of this event is where the accompanying paper appears—if you want technical details, that’s where to look.

A talk given at the work group on Types and Realisability / Théorie des types et réalisabilité. A repeat of my talk of the previous week in Edinburgh, but to a different audience (and getting a different set of very constructive comments). Interesting to present the same work to two different audiences and see the responses.

A talk given at the LFCS seminar series in Edinburgh University. A brand-new duality result between appropriate nominal notions of topological space, and the nominal algebra axiomatisation of first-order logic from One-and-a-halfth order logic and Permissive-nominal logic.

Talk given at Roy Dyckhoff’s wonderful retirement event. I present brand-new work with Aleksander Nanevski to give a denotational semantics to Contextual Modal Type Theory (CMTT).

Talk given as part of the theoretical computer science seminars discussing how to injectively turn an arbitrary monoid into a group. Joint work with Peter Kropholler.

Talk given at the 6th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Joint work with Dominic Mulligan.

Given at the Artificial Intelligence Research Institute in Barcelona, Spain. Does what it says on the tin. I gave the talk on the whiteboard; there were no slides.

A talk given at British Colloquium for Theoretical Computer Science in Birmingham, UK. I discuss the application of nominal sets to designing metamathematical syntaxes.

A talk given in the Automated Reasoning Workshop in Glasgow University, UK. I describe permissive nominal terms and their application in logic and algebra.

A talk given at Glasgow University maths department. I discuss nominal techniques from a foundational point of view.

The same beginner-friendly talk I gave in February. I gave the talk on the whiteboard; there are no slides.

A beginner-friendly talk given at the University of Glasgow, UK on nominal techniques. The abstract and announcement are here. I gave the talk on the whiteboard; there are no slides.

Given at Tel-Aviv university. I broadly survey of the development of nominal terms in logic since 2006 when I last visited the department, discussing permissive-nominal algebra and permissive-nominal logic. I gave the talk on the whiteboard; there are no slides.