Research Clusters

 I gave an internal talk at the Topos Institute on the axes of my research,  at the end of last year.  I tried to describe the  research clusters above. 

Yes, the last axis, the lexical resources stuff has been suffering a bit lately, as has the Natural Language inference. This is because the Dialectica Spaces are taking all the 'oxygen' available. Because good things need to happen before our MRC programme gets off the ground soon. Unfortunately the Dialectica spaces are not going very far,  either. 

Some things have been happening, e.g. the two papers with Davide and Matteo  are very cool indeed. and I'm hoping for lots more on the subject.

Elena, Wilmer and I  managed to submit our "Dialectica Petri Nets", which is great. 

Katerina, Livy and I managed to describe some simple, but interesting application of basic transformers technology, i.e. spaCy, to historic text.  Where there's text, there are applications of spaCy, I'm sure.

But by and large I am losing the war. I need to finish my ill-fated research proposal, I need to resubmit the three papers that were rejected last year, I have to prepare two Invited talks, I have  several rounds of reviews that I need to deal with yesterday, I am only half way through with the posts about the DLMPST, the Division of Logic, Methodology and Philosophy of Science and Technology.

Also, for this blog, I need to do a similar job to the one I did with Twelve Days of Christmas: I need to see which papers have been written  from my list of talks at Talking the Talk. Also I need to clean up my Overleaf account, update my personal website, my Lattes, my Google site. thank goodness tomorrow is Sunday!

Friends and Women Celebrations

 

Toucans are really beautiful birds. As are hummingbirds. And the blossom in the garden is almost all gone already, while I despair of getting my work done. Yes, I know I need to say no, I need to decline invitations to speak, to review, to teach, to record and/or to judge stuff. And I need to get back to my yoga, to some aerobic exercises, to cooking some decent food--instead of pretending that not eating will make me less fat. It won't, it only makes me cranky and ugglier.

But while I do have all these wishful thoughts, there's a very finite number of truly awaken hours in the week and an awful lot of stuff that needs to happen in these hours. I could do without friends turning out to not be good friends after all. I guess it's the curse of getting excited about people and projects: it comes with big disappointments too.

Anyways here are two videos, which have nothing to do with disappointing friends. The first one is "Mulheres na Ciência" https://www.youtube.com/watch?v=ughhF2oW4Wc, seven minutes, beautiful edition, beautiful diverse women talking! 

The other one is a longer conversation among logician friends. We are "Lógicas Brasileiras" and this conversation at the request of our Mexican friends was great! We feel very honoured that the logicians of LogicaMX, via Maria Miércoles-MartínezOrdaz, invited us to celebrate with them Friendship and Collaborative Logic work. We had a blast, check it out at https://youtu.be/hp0XVQnqH68!

"Lógicas Brasileiras" is an outreach project that aims at promoting the work of Brazilian female logicians and members of underrepresented groups in logic.  ---- Website: https://logicasbrasileiras.wordpress.com

 

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)