Unilog and IMLA: Research Horizons

Last week I was in Rio talking at Unilog and IMLA. I had three talks accepted and prepared slides (not very well, but somewhat..) for the three talks.

One talk was not given. This was on 'Contextual Constructive Description Logic', joint work with Natasha Alechina, from Nottingham University. Our main idea was to say that one can construct modal intuitionistic description logics, as well as usual modal description logics. Slides are here.