I am a Mathematician and AI Research Scientist, interested in NLP and 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 a resume
My Wikipedia page is Valeria de Paiva
I am very keen on making sure that women are not short-changed in their professional lives.
For that I maintain a facebook group Women in Logic
, a blog Women in Logic
, help with the ACM-W Scholarship program ACM-W Scholarship program
and initiated and help to organize the Workshop Women in Logic.
Check a collection of women logicians at this spreadsheet
and our data collection effort on Invited speakers in this one
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.
A full list of events will be added, as time permits. Here are some.
Well, like everyone else's the Coronavirus Pandemic changed my plans. But I should still list some of the things that I have been working on.
Applied Category Theory Conference ACT 2021. 12-16 July 2021. website:https://www.cl.cam.ac.uk/events/act2021/
Applied Category Theory Adjoint School ACT 2020. 29 June--July 3 2020, MIT, Cambridge, MA. website:http://www.appliedcategorytheory.org/adjoint-school-act-2020/
Women in Logic 2020. Workshop, FSCD 2020, 30 June 2020, Paris, France. website:https://sites.google.com/g.uporto.pt/wil2020
Linearity and TLLA 2020. Workshop, FSCD 2020, 30 June 2020, Paris, France. website:https://lipn.univ-paris13.fr/LinearityTLLA2020/
Special Session on Proof Theory, ASL (Association for Symbolic Logic), UC Irvine, March 2020 (organizer with Elaine Pimentel and Reuben Rowe). website:https://sites.uci.edu/asl2020/
Encontro Brasileiro de Mulheres Matematicas, 27-28 July, 2019, IMPA, Rio de Janeiro, Brasil. workshop website: https://impa.br/en_US/eventos-do-impa/eventos-2019/encontro-brasileiro-de-mulheres-matematicas/
First Joint Meeting Brazil-France in Mathematics, 15-19 July, 2019, Rio de Janeiro, Brazil. website: https://impa.br/en_US/eventos-do-impa/eventos-2019/1st-joint-meeting-brazil-france-in-mathematics/
6th Natural Language and Computer Science (NLCS2019) workshop at IWCS 2019, 24 May, 2019, Gothenburg, Sweden. workshop website: http://www.indiana.edu/~iulg/nlcs.html
Proof-Theoretic Semantics, 27-30 March 2019,Tuebingen, Germany. website: http://ls.informatik.uni-tuebingen.de/PTS3/
SYSMICS 2019.21-25 January 2019, Amsterdam, The Netherlands. Invited Speaker website: http://events.illc.uva.nl/SYSMICS2019/
Luxembourg Logic for AI Summit.17-26 September 2018,\
Luxembourg. website: https://luxlogai.uni.lu
Meaningful Work: Advancing Computational Semantics, 28-31 May 2018, near Oslo, Norway. website: http://moin.delph-in.net/SynSem/MeaningRepresentation
INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY,10–11 August 2018, Niteroi, Brazil. Invited Speaker, http://www.dlmpst.org/pages/activities/icm-2018-satellite.php
5th Natural Language and Computer Science (NLCS2018) workshop at FLoC 2018(Federated Logic Conference, 6—19 of July, 2018, Oxford, UK. workshop
Women in Logic 2019. Workshop, LiCS 2019, 23 June 2019,Vancouver, Canada. website:https://sites.google.com/site/womeninlogic2019/home
Women in Logic 2018. Workshop, FLoC 2018, 8 July 2018, Oxford, UK. website: https://sites.google.com/site/womeninlogic2018/welcome
Women in Logic 2017. Workshop, LiCS 2017, 19 June 2017, Reykjavik, Iceland. website: https://sites.google.com/site/firstwomeninlogicworkshop/