The Workshop on Logical and Semantic Frameworks is a series of conferences in Brazil that I like to support.
and many of the organizers are my long-standing friends...
hmm, this is not strictly true, as I guess this is what the Brazilian CAPES funding agency gave me a "Ciencia Sem Fronteiras" award for.
Vagaries of the Brazilian funding system and its implementation, perhaps.
From my part I'd like to do the other two bits of work that we thought we would do; applications of the Dialectica construction
1. to cardinalities of the continuum and
2. to the 'laxification' of topological spaces.
I guess discarded slides might end up being the notebooks of the scholars of the future.