I am pleased to tell you, that I will join Microsoft as a Software Development Engineer in their Search Technology Center in London on 18th October. This will mean, I have to vacate my teaching position at Leicester, and transfer into writing up. My plans of completing the PhD degree should not be affected, though.

This years BCTCS meeting will be held at the University of Edinburgh. I contribute a talk on the semantics of Set-based coalgebras with branching structure.

The Coalgebra Day is an annual informal meeting of researchers in coalgebra between academic institutions in the Netherlands. This years meeting is held in Amsterdam and organised by Yde Venema, Vincenzo Ciancia, and Raul Leal.

At this meeting I will give a talk on my recent work on infinite trace semantics of coaglebras with branching and transition type. The work extends my previous work with Alexander Kurz on generic trace logics and generalises previous work of Bart Jacobs on trace semantics of coalgebras.

On 27th February I will give an invited seminar in the TQFT study group at the University of Warsaw, in which I will discuss a construction of a 3-dimensional topological quantum field theory (3D-TQFT) in terms of modular functors, from which we obtain a theory of quantum invariants of 3-manifolds with embedded banded links.