Twelve Days of Christmas?

 

Surely not! Christmas is done this year, unless you are in the Orthodox Church, where Christmas Eve is apparently tomorrow. But this post is  not about celebrations, religious or not, but simply about work done and how to make sure that I know what I am doing next. (ha, ha, as if!...)

In the Topos Institute we count output via submissions. This makes plenty of sense to me, as sometimes we cannot convince our peers of the elegance, beauty or usefulness of our results. One can always force oneself to submit work, but acceptance is harder.

So here is my 2021 list of Twelve Publications/Submissions (not yet rejected):

1. Godel Fibration (Davide Trotta and Matteo Spadetto) arXiv, accepted for and presented at MFCS2021

2. Dialectica Logical Principles (Davide Trotta and Matteo Spadetto) arXiv, accepted and presented at LFCS2022

3. Dialectica Petri Nets (Elena di Lavore, Wilmer Leal) arXiv,  submitted.

4. Dialectica Comonads -- invited to CALCO2021,  presented and published as LIPICS https://drops.dagstuhl.de/opus/volltexte/2021/15358/

5. ACT for Chemistry, Computing and Social Networks (Daniel Cicala, Simon Cho, Nina Otter, John Baez) -- published as AMS Notices article (February 2022)

6. Kolmogorov-Veloso Problems and Dialectica Categories (Samuel Gomes da Silva), in the book for Veloso, also arXiv (https://arxiv.org/pdf/2107.07854.pdf)

7. Annotation Difficulties in Natural Language Inference (Livy Real, Annebeth Buis, Katerina Kalouli, Martha Palmer) STIL2021, need to go arXiv

8. Curing the SICK and other maladies (Katerina Kalouli, Hai, Hu, Alex Webb, Larry Moss), submitted

9. Towards FRACAS-BR (Livy Real) OpenCor workshop, need to be written.

10. Duas Negações Ecumênicas (Luiz Carlos Pereira, Elaine Pimentel) chapter, appeared in De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave 2021 ISBN:978-1-84890-382-1

Editorships:

11. Proceedings of IMLA 2017 (Sergei Artemov)  Journal of Applied Logics - IfCoLog Journal

Volume 8, Number 8: September 2021

 https://collegepublications.co.uk/ifcolog/?00050

12. Proceedings of Linearity-TLLA 2020 (with Ugo del Lago) EPTCS 353

It's funny to look over this list and see how much more work some of these required. 

ps: Now in Feb2022 two papers were submitted: Dialectica Petri Nets (with Elena di Lavore and Wilmer Leal) and "Of Seringueiros and Sambistas: Occupation Mappings in Historical Text" (with Katerina Kalouli and Livy Real).