In 2019 I am working at UCL in the PPLV group, supported by a Marie Curie individual fellowship “Compositional Approximate Reasoning via Bialgebraic Semantics (CARBS), no. 795119”. Following the good example of Anupam Das, here are the proposal and the evaluation report. I’ve used Jean-Yves Moyen’s latex template.
Towards the end of the project I’ve written a blog post about it.