Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: our work

Topic: Valeria de Paiva

view this post on Zulip Valeria de Paiva (Sep 07 2021 at 16:54):

I think the idea of this channel is very nice, but find kind of difficult to write my own version. Here's an attempt.

  1. I intend to continue thinking and writing about "Dialectica constructions and Polynomials" -- the "and" is distributive, only dialectica and only polynomials are included. There's the work with Davide Trotta and Matteo Spadetto on the Godel Fibration (https://arxiv.org/abs/2104.14021), which has just appeared in MFCS and its sequel, which we're working on now.
  2. There is the work on networked mathematics with Brendan and others that need to be written about. But at least there is the blog post (https://topos.site/blog/2021/07/introducing-the-mathfoldr-project/)
  3. There is the work with Katerina Kalouli on semantics of natural languages, available from her resources page (https://cis.lmu.de/~kalouli/resources.html) that needs to be explored. The beautiful GKR framework (for graphical knowledge representation) has been put in place (go and play with it, if interested), now is time to use it!
  4. There is the work with Luiz Carlos and Elaine in ecumenical systems (these have in the same framework both constructive and classical logic), after "A proof theoretical view of ecumenical systems" and "An Ecumenical Notion of Entailment" (https://vcvpaiva.github.io/includes/pubs/2019-ecumenical.pdf). We're working on the role of negation in this framework.
  5. There are several semi-written papers about lexical resources and semantics for Portuguese with Alexandre Rademaker that need to be finished. The Portuguese wordnet project is up at http://openwordnet-pt.org, but I need to think about next steps.

So there are too many loose ends and what I call facetiously "ValeriaReprints" that need to be finished. Collaboration in all these projects is very welcome!

view this post on Zulip Valeria de Paiva (Oct 29 2021 at 21:58):

small update:

  1. sequel of previous item #1 is "Dialectica Logical Principles" (https://arxiv.org/abs/2109.08064), accepted for LFCS2022. Davide and Matteo working very fast.
    work with Elena di Lavore and Wilmer Leal in "Dialectica Petri Nets" is in the arXiv https://arxiv.org/abs/2105.12801, has been submitted to SYCO.

  2. Some work on NLI/ECD is still been written, but a paper was accepted and will be presented at STIL (Nov 29th to Dec 3rd, 2021) http://comissoes.sbc.org.br/ce-pln/stil2021/index.html

  3. Work on Ecumenical systems still not written, but talk submitted to 1st Meeting Brazil-Colombia in Logic
    https://sites.google.com/unal.edu.co/i-enclogbracol/
    #2 and #5 are letting the side down, but happy to report that the work on IMLA (Intuitionistic Modal Logic and Applications 2017) with Artemov has just appeared (https://collegepublications.co.uk/ifcolog/?00050) and I got to know about it because a friend in Australia Shawn tweeted about it!
    Hugo's undergrad thesis submitted as conference paper, Roberta master thesis on CodeNames examined are the extras, so far.

view this post on Zulip Valeria de Paiva (Aug 17 2023 at 22:29):

I had almost given up on writing here on things that will happen, but now I have an important announcement.
Next year there will be a Hausdorff Institute of Mathematics (Bonn, DE) Trimester on "Prospects on Formalized Mathematics" and people can apply to it, especially junior people. So if you're interested in Formalization of Mathematics, read about the trimester, May-August 2024 (organized together with Kevin Buzzard, @Jacques Carette , Michael Kohlhase, and Josef Urban) and apply!

view this post on Zulip John Baez (Aug 18 2023 at 13:55):

Great!

view this post on Zulip Valeria de Paiva (Sep 06 2025 at 21:45):

Two years later (oh dear, where did the time go?)
The trimester program on "Prospects on Formalized Mathematics" was great! We also had a meeting Women in Formal Mathematics that was pretty cool! a very late blog post can be found here. There was also MFPS together with ACT in Oxford, a blog post should be in the works.

Earlier in 2025, we had a BRICS Mathematics: online discussion series and a great time in Edinburgh visiting Michael Barany and collaborators. Then in July there was OPLSS in Oregon.

In October 2025(6-10) there will be CICM 2025, yay!!

But as far as work -- real work -- is concerned, the new material on Skolem, Gödel, and Hilbert fibrations with Davide Trotta and Jon Weinberger is submitted. The work on Petri nets with Elena and Wilmer is accepted, but has not appeared. The work on the special issue of TAC for Marta Bunge has appeared, but the link doesn't show up in Google Scholar. The work on ecumenical logic and translations with Elaine and Luiz Carlos has appeared. As has the preprint on Natural Language Inference for mathematical text that should be easy. Loads of project proposals have been rejected, as expected. I just need to get the disposition to try again.