Old Stories

This amazing picture taken, I presume, at Pico da Neblina, Brazil reminds me very much of Isabel Allende's young adult novel City of the Beasts.  I liked it very much when I first read it. Rechecking it in Wikipedia just now, I guess I  am really not very sophisticated in my love of books.

Anyways, the point of this post is to remember old stories of a very different kind. This deck contains the slides of my first talk at Nuance, in October 2012.

To show, once again, that I really need to be better at organizing my work, I talked about this deck  in this blog post, in this one and in this post.

Old (2017) BACAT slides

I'm pretty useless at keeping track of what I have and have not done and when. So here are the slides from when I talked in BACAT in Sept 2017 about Temporal Logic, "Doing Time, Categorically".

This was a paper with my collaborator Harley Eades III for a special issue of the IfColog Journal in honour of Grigori Mints. I feel that I need to improve on this paper and I also need to carry on with the project of constructive modal logics, but not now, as other requests on my time are taking precedence.

Santa Clara in February

Yesterday I talked at BACAT (Bay Area Categories And Types) and it was a lot of fun. When I searched for my old slides  I thought that I hadn't spoken at BACAT for a long while, since 2014. But this was only because I cannot find anything on my computer. In reality, I had talked in Sept 2017 about temporal logic. Still, this was a long time ago and the old building where Computer Science had classes has been demolished.

But the campus is now looking lovely and I wish I had taken pictures.

The slides for the talk are here.  I liked my title "Going Without: a modality and its role" because the ambiguity works on my favour, for once. The slides are a bit rough, as BACAT talks are fun because you can afford to be tongue-in-cheek and outrageous, if you so wish.