Some  Recent Talks

The positivication of coalgebraic logics, CALCO 2017, June 2017, Ljubljana Slovenia

A theory of program semantics, University of Leicester Computer Science Seminar, March 2017.

Coalgebraic completeness-via-canonicity, CMCS 2016, Eindhoven Netherlands, April 2016

Completeness via canonicity for distributive substructural logics: a coalgebraic perspective, RAMiCS 2015, Braga Portugal, October 2015.

A theory of strong completeness for relational semantics, London Logic Forum, July 2015.



Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s