This time of the year the fog looks pretty magical sometimes. The grass is a beautiful new green and sometimes it looks like European Spring, when it's the middle of Winter in the rest of the United States. Nature sends confused signals: both the last roses of the season and finally the flowering of the Christmas cactus.
But January is also a time to count beans and to organize the work, as much as possible. Which is not much. So I will try to list talks given during 2021.
1. The year started (Jan 14) with "Logica e representatividade", as part of World Logic Day, http://wld.cipsh.international/.
2. The first talk non-outreach was "A semântica nossa de cada dia" (Our daily semantics of each day) as part of the 1st Brazilian Meeting on Category Theory. (Jan 25-29) Recording at https://www.youtube.com/watch?v=wjtwajF6ovs.
3. Categorical Models for Explicit Substitutions, Feb 8, 2021 Summer Workshop at University of Brasilia.
4. Would be a talk at UFPe, but there was a dental surgery that caused problems, need to contact Eudes again.
4. Women in Logic 2021, as part of LiCS, (no talk, but through the night) website https://sites.google.com/g.uporto.pt/wil2021/home.
5. Dialectica and Kolmogorov Problems, Finding the Right Abstractions, 2021/05/19.
6. Constructive Modalities, Celebrating Women in Mathematics, Dynamic Women, 2021/05/25.
7. Categorical Semantics for Explicit Substitutions, University of Cambridge, Category Theory Seminar, 2021/06/01.
8. Linear Logic and Constructive Mathematics, Philosophy PUC-Rio , Working Logician 2021, 2021/04/21.
9. Dialectica and Kolmogorov Problems, Logic Colloquium, 19-24 July.
10. Ecumenical Negation: one or two? Logic Colloquium, 19-24 July. (I didn't give this talk)
11. Constructive Modalities, Ticamore project final meeting, 16-17 June 2021.
12. Categorical Explicit Substitutions, Topos Colloquium, 19 August 2021
13. Dialectica Comonads, CALCO Invited Talk, https://www.coalg.org/calco-mfps2021/.
14. My Career as a Mathematician in Industry, Lucy Cavendish College, date?
15. Semantics and Reasoning: for NLP, AI and ACT, Ada Lovelace Day, americanas s.a., 2021/10/20.
16. Constructive and Modal and Linear Logics, Tallinn University of Technology, 2021/12/02.
17. The importance of being Earnest: open datasets in Portuguese, OpenCor Workshop, BRACIS, 2021/12/03.
18. Negation in the ecumenical system, 1st Brazil-Colombia Logic meeting, 2021/12/17.
I also gave two talks in the internal Topos seminar:
19. Dialectica for Friends (2021/02/19)
20. Constructive Modal and Linear Logics (2021/10/20)
