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.

 

Advertisements

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s