Saturday, January 26, 2019

Amsterdam in January




































I'm flying back to California tomorrow, after a week in Amsterdam. The conference SYSMICS  2019 (http://events.illc.uva.nl/SYSMICS2019/) was great. Plenty of interesting talks on all kinds of stuff that I like: dualities, Heyting algebras, lax logic,  topologies, you name it. Several conversations on Dialectica categories and what I (still) want to do with them

Very grateful to Yde Venema and Nick Bezhanishvili for inviting me!

The conversations outside the official talks were great too. There was an Evening Lecture on AI, given by Frank van Harmelen that was great fun, once I managed to find my way there, without being run over by an angry cyclist. Quite amazing how even with an iphone and various kinds of maps, I can still get lost and walk in the opposite direction from the one I am trying to go.

But the best of non-work stuff was hanging out with Jan van Eijck and Heleen Verleur for her play and music concert and chats. Thanks Jan!