Valeria de Paiva

Valeria's photo


I am a Mathematician and AI Research Scientist, interested in NLP, logical Inference and all kinds of semantics. I work at the Topos Institute, Berkeley, a very exciting place. Once upon a time I finished my Ph.D. under the direction of Martin Hyland, and my thesis can be found here. On this page you can find my research interests, my contact information, a curriculum vitae and resume for me. Also the link to my Wikipedia page and my blog Logic ForAll.

I was very honoured to be asked to be a council member of the DIVISION OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY 2020-2023. They asked me to record a 2 min video about logic. This meant that I could call myself an Ambassador of Logic. You also can see some of the recorded talks I have given recently.

I am very keen on making sure that women are not short-changed in their professional lives. For that I help maintain the Women in Logic website, a facebook group Women in Logic, a blog Women in Logic and now a website of curated Women in Logic talks. I am in the Steering Committtee of Women in Logic. I also help with the ACM-W Scholarship program ACM-W Scholarship program. Most importantly I initiated and help to organize the Workshop Women in Logic, now in its seventh edition. Check a collection of women logicians at this spreadsheet and our data collection effort on Invited speakers in theoretical computer science here.

Research Interests

My research interests span several areas. To begin with category theory, programming languages, type theories, and logic in computer science, in general. Then semantics of Natural Language, logic for semantics and lexical semantics. Then search methods and measurements, knowledge graphs and commonsense ontologies. More fun comes in the shape of linear and modal logic, and applications to mathematics.

Some Events

A full list of events will be added, as time permits. Here are some of the things I have been working on.

Prospects of formal mathematics. A Hausdorff Institute of Mathematics Trimester Program, May 6 - August 16, 2024. website Talk at the Berkeley Logic Seminar (Oct 2023 ). "War Time Proofs and Futuristic Programs". website: Automated mathematics: integrating proofs, algorithms and data (Oct 01 – Oct 06, 2023 ). Dagstuhl Seminar 23401. website: Strange Loop, "War Time Proofs and Futuristic Programs" (Sep 21 – 22, 2023 ). St. Louis, MO. website: JMM Special Session on Applied Category Theory 4-5 January 2023. website: This is the second part of the Applied Category Theory MRC, website: Encontro Brasileiro de Teoria de Categorias 2023. 20-24 Marco 2023, USP Sao Paulo, Brasil. website CALCO/MFPS 2023. 19-22 June 2023. website Women in Logic Workshops.
WIL 2023, associated to FSCD/CADE, 1st July, 2023, Rome, Italy. website:
WiL 2022, at FLoC 2022, 31st July 2022, Haifa, Israel.
WiL 2021, associated to LiCS 20221, 27th June 2021, Rome, Italy, online.
WiL 2020, associated to FSCD 2020, 30 June 2020, Paris, France, online.
WiL 2019, associated to LiCS 2019, 23 June 2019, Vancouver, Canada.
WiL 2018, at FLoC 2018, 8 July 2018, Oxford, UK.
WiL 2017, associated to LiCS 2017, 19 June 2017, Reykjavik, Iceland.
17th International Congress of Logic, Methodology and Philosophy of Science and Technology, CLMPST 2023, July 24, 2023 - July 29, 2023, website:
International UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, 10–11 August 2018, Niteroi, Brazil. Invited Speaker,
Joint Meeting Brazil-Portugal 2022 (Independence 200), 18/19 Agosto 2022, UFBa, Salvador, Brasil. website:
Joint Meeting Brazil-France in Mathematics, 15-19 July, 2019, Rio de Janeiro, Brazil. website:
Applied Category Theory Conferences. From 2018. PC at ACT 2021, 12-16 July 2021. website: Applied Category Theory Adjoint Schools, since 2018. Mentor at 2020 school, 29 June--July 3 2020, MIT, Cambridge, MA. website: Encontro Brasileiro de Mulheres Matematicas, 27-28 July, 2019, IMPA, Rio de Janeiro, Brasil. workshop website: Other Meetings.
Special Session on Proof Theory, ASL (Association for Symbolic Logic), UC Irvine, March 2020 (organizer with Elaine Pimentel and Reuben Rowe). cancelled by pandemic.

Proof-Theoretic Semantics, 27-30 March 2019,Tuebingen, Germany. website:

SYSMICS 2019.21-25 January 2019, Amsterdam, The Netherlands. Invited Speaker website:

Luxembourg Logic for AI Summit.17-26 September 2018, Luxembourg. website:

Meaningful Work: Advancing Computational Semantics, 28-31 May 2018, near Oslo, Norway. website:
Natural Language and Computer Science workshops.
NLCS 2019, at IWCS 2019, 24 May 2019, Gothenburgh, Sweden.
NLCS 2018, at FLoC 2018 (Federated Logic Conference), July 2018, Oxford, UK.
Linearity and TLLA 2020 Workshop. At FSCD 2020, 30 June 2020, Paris, France. website:
At FLoC 2018, 7-8 July 2018, Oxford, UK. website:

Contact Information