Talking the Talk

 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)