Healthy or Sick?

 

 I wanted to recap the papers I have written recently. Because I need to decide how to work while in recovery mode--things are much slower now. 

 So I copied the following lists from the Topos Institute output page. Papers first:

1. Davide Trotta, Matteo Spadetto, Valeria de Paiva Dialectica Principles via Gödel Doctrines Submitted to Theoretical Computer Science 2022 arXiv:2205.07093
2. Davide Trotta, Matteo Spadetto, Valeria de Paiva Dialectica Logical Principles: not only rules Submitted to Journal of Logic and Computation. 2022.
   
3. Valeria de Paiva, Aikaterini-Lida Kalouli, Livy Real Of Seringueiros and Sambistas: Occupation Mappings in Historical Text 2nd DHandNLP 2022 http://ceur-ws.org/Vol-3128
4. John Baez, Simon Cho, Daniel Cicala, Nina Otter, Valeria de Paiva Applied category theory in chemistry, computing, and social networks Notices of the American Mathematical Society 2022AMS (MRC initial paper) DOI:10.1090/noti2422 https://math.ucr.edu/home/baez/mrc_2022.pdf
   
5. Davide Trotta, Matteo Spadetto, Valeria de Paiva Dialectica Logical Principles International Symposium on Logical Foundations of Computer Science 2022 arXiv:2109.08064 DOI:10.1007/978-3-030-93100-1_22 https://link.springer.com/chapter/10.1007/978-3-030-93100-1_22
6. Aikaterini-Lida Kalouli, Hai Hu, Alexander Frank Webb, Lawrence S. Moss, Valeria de Paiva Curing the SICK and other NLI maladies Under Review 2021 Submitted for publication
7. Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva Duas Negações Ecumênicas De Mathematicae atque Philosophicae Elegantia: Notas Festivas para Abel Lassalle Casanave 2021 ISBN:978-1-84890-382-1
8. Valeria de Paiva Dialectica Comonads 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) 2021 DOI:10.4230/LIPIcs.CALCO.2021.3
   
9. Aikaterini-Lida Kalouli, Livy Real, Annebeth Buis, Martha Palmer, Valeria de Paiva. Annotation Difficulties in Natural Language Inference Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL) 2021 DOI:10.5753/stil.2021.17804
10. Valeria de Paiva, Sergei Artemov. Intuitionistic Modal Logic and Applications Journal of Applied Logics 2021 Editors, ISBN:978-1-84890-377-7 http://collegepublications.co.uk/ifcolog/?00050
    
11. Ugo Dal Lago, Valeria de Paiva. Proceedings of 2020 Joint Workshop Linearity & Trends on Linear Logic and Applications Summer of LoVE (Logic and Verification), Paris, France, online 2021 arXiv:2112.14305 DOI:10.4204/EPTCS.353 https://lipn.univ-paris13.fr/LinearityTLLA2020/
12. Davide Trotta, Matteo Spadetto, Valeria de Paiva. The Gödel Fibration 46th International Symposium on Mathematical Foundations of Computer Science 2021 arXiv:2104.14021 DOI:10.4230/LIPIcs.MFCS.2021.87
    
13. Valeria de Paiva, Livy Real Towards FraCaS-BR OpenCor  2021 https://opencor.gitlab.io/corpora/paiva21towards/
14. Elena Di Lavore, Wilmer Leal, Valeria de Paiva Dialectica Petri Nets Submitted for publication 2021 arXiv:2105.12801
    
15. Valeria de Paiva, Samuel G. da Silva. Kolmogorov-Veloso Problems and Dialectica Categories Chapter in book “A Question is More Illuminating than an Answer. A Festschrift for Paulo A. S. Veloso” 2021 arXiv:2107.07854
16. Paul Tarau, Valeria de Paiva Deriving Theorems in Implicational Linear Logic, Declaratively EPTCS 2020 arXiv:2009.10241 DOI:10.4204/EPTCS.325.18

Talks:

1. Dialectica Categories Revisited 8th CSLI Workshop on Logic, Rationality & Intelligent Interaction, Stanford University 2022/05/22 https://csliworkshop.sites.stanford.edu/
2. PLN pra Tod@s IC-CDI C4AI, USP, Sao Paulo, Brazil 2022/04/27
3. Doing Without a Modality MSFP/ETAPS 2022/04/02 https://www.youtube.com/watch?v=7uTsihTketw
4. Problemas de Kolmogorov-Veloso UFBa 2022/03/21 https://www.youtube.com/watch?v=3CHG5cdA0q4
5. Dialectica Petri Nets Intercats 2022/03/08 https://www.youtube.com/watch?v=xysbkS3Jx24
6. Natural Language Inference: for Humans and Machines Topos Institute Berkeley Seminar 2022/01/24 https://www.youtube.com/watch?v=zCf99I7VMR0
   
7. Negation in the ecumenical system 1st Brazil-Colombia Logic meeting 2021/12/17 https://sites.google.com/unal.edu.co/i-enclogbracol/program
8. The importance of being Earnest: open datasets in Portuguese OpenCor Workshop (Bracis) 2021/12/03 https://underline.io/events/244/sessions?eventSessionId=9276
9. Constructive Modal and Linear Logics Tallinn University of Technology, Estonia 2021/12/02http://cs.ioc.ee/lsg/tsem/tsem21/depaiva0212-video.mp4
   
10. Semantics and Reasoning: for NLP, AI and ACT Ada Lovelace Day, Lucy Cavendish College, Cambridge 2021/10/20
11. Dialectica Comonads CALCO Invited Talk 2021/08/31 https://www.coalg.org/calco-mfps2021/programme/
    
12. Categorical Explicit Substitutions Topos Institute Colloquium 2021/08/19 https://www.youtube.com/watch?v=Z_gu1r7LNyc
13. Constructive Modalities Seventh Ticamore Meeting 2021/06/16 https://ticamore.logic.at/virtual2021/
14. Categorical Semantics for Explicit Substitutions University of Cambridge Category Theory Seminar 2021/06/01
    
15. Constructive Modalities Dinâmicas: Celebrating Women in Math 2021/05/25 http://www.dinamicas.im.ufrj.br/celebra-cwinm/
16. Dialectica and Kolmogorov Problems Finding the Right Abstractions 2021/05/19https://www.youtube.com/watch?v=LxhOSVoyar8
    
17. Linear Logic and Constructive Mathematics Philosophy PUC-Rio: Working Logician 2021 2021/04/21
18. Categorical Models for Explicit Substitutions GTC-UnB 2021/02/08 https://youtu.be/w4tTdai9mTg
    
19. A semântica nossa de cada dia 1st Brazilian Meeting on Category Theory 2021/01/27 https://www.youtube.com/watch?v=wjtwajF6ovs
    

 I'm sure there are some things missing, but this is a start. Now for the hard part: to decide on what to work, when.