Valeria de Paiva
(picture by Thomas
de Paiva is a
mathematician and computer scientis working in California, USA.
She was, until September 2010, a search analyst for Cuill, Inc.
in Menlo Park, CA.
Sadly, Cuil is no more.
She also was (for almost eight years) a research scientist at the
of PARC (Palo Alto Research
Center), California. She received
her PhD in Mathematics from Cambridge University
work on "Dialectica Categories",
and has ever since worked on logical
approaches to computation, especially using Category Theory.
She's an Honorary Research Fellow at the School
of Computer Science, University
of Birmingham, UK.
New homepage at valeriadepaiva@org.
Email: valeria.depaiva at gmail.com.
(In case you were really looking for my husband,
- NASSLLI 2012, Austin, Texas.
Intuitionistic Modal Logic and Applications, Nancy, France, July
- History and
Philosophy of Computing, Gent, Belgium, November, 2011. Member of
Reasoning about Context and Ontology Evolution ARCOE 2011, member
of Programme Committee.
- Proof Theory for Natural Language, CSLI Workshop, Stanford,
- PARGRAM/PARSEM, Xerox PARC, October 2010.
- Visit to FGV (30 Aug-4 Sept 2010). Mini-course on previous work
at PARC and possible future work on processing Portuguese.
(Workshop on Logical and Semantic Frameworks with Applications 2010),
Grande do Norte, Brazil.
- ACM Data Mining Meeting: Charting SearchLand, 23 August 2010.
Slides on slideshare,
Reasoning about Context and Ontology Evolution ARCOE 2010, 16-17
August 2010, Lisbon, Part of ECAI 2010. Member of Programme
- COLING 2010, Reviewer
for Track on Syntax and Grammar, Beijing, China, 23-27 August,
- HYLO 2010,
Member of program committee, Part of FLoC, July 10, 2010, Edinburgh,
2010, Member of Steering Committee, Bloomington, Indiana, June
- Mini-sabbatical (June 2010) at the School
of Computer Science of Nottingham University, UK. Invited by Natasha Alechina and Thorsten Altenkirch. Talks
on "Bridge" (see below), on Dialectica categories (below) and on
Intuitionistic and Linear Type Theory (ILT, Fossacs 99).
- Talk at Stanford
Seminar, 11 May, 2010.
Fibrational Versions of Dialectica Categories.
- World Congress and School on Universal Logic III, Special session
on Categorical Logic,
April 22-25, 2010. Co-organizer with Andrei Rodin. (preliminary
schedule). Icelandic Volcanic Ash fail.
- Visit to PUCRio de Janeiro, 31st March, 2010. Slightly updated
version of "Adventures in Searchland", an old version of
"Constructive Access Control" and a chaotic version of "A Bridge not
- Talk at SRI AI Center, "A Bridge not too far", Thursday January
21, 2010 at 16:00. Abstract:
For many years (from 2000 to May 2008) I worked with PARC's natural
language processing group on technologies for (automatically) creating
logical forms out of natural language sentences. This lofty goal was
somewhat mocked and derided by friends both in logic and in computer
science. Logicians supported by the view that natural language is too
complicated for logic, computer scientists convinced that all virtue
lies with statistics and logic has no part in it. I believe both sets
of friends are wrong and that the project, which is
the Holy Grail of several other groups of researchers, is very much
alive and up for grabs. That judiciously picking of competing
alternatives (in the vast space of possibilities) is a first step and
that Open Source software is the right way of doing it. In this talk I
would like to summarize what I learned, what I think would work best
and I want to try to sketch how one could go about it. Also I would
like to get at least some conclusions of what has been achieved and
what small projects one could easily do to put in place a few more
pieces of the big puzzle. slides.
- Symposium on Constructive
Reasoning, Stanford, CA, October 24, 2009.
- Methods for the Modalities 6 Copenhagen, Denmark,
November 12-14, 2009. Member of programme committee.
- PARC Forum,
Palo Alto, CA, 30 July 2009, Adventures
Last year I left PARC after almost nine years in residence, to join
Cuil, a start up company then in stealth mode. Three months
later, Cuil launched with a lot of buzz and a product that is
innovative to the hilt. This was the beginning of an exciting (and
bumpy) journey over the unchartered territory of Searchland, part of
the larger and (to me) still mysterious continent of StartUpLand.
In this talk I will discuss this journey and highlights so far..
Stanford, CA, 7th Jun 2009.
Agency, Stanford, May 30th 2009.
Relations: An Interdisciplinary Perspective, Stanford, March 7th
Reasoning about Context and Ontology Evolution Workshop, associated
with I JCAI, July 11-13, 2009, Pasadena, California, USA. Member of
with Constructive Modalities,
Dept Filosofia, PUC-Rio, June 2009. Talk. Abstract:
- 88th Peripatetic
Seminar on Sheaves and Logic (88th PSSL), 4-5 April, 2009
Categorical Logic in Computer Science,
Talk at M*A*T*H
Colloquium, Sonoma State University, March 4th, 2009.
- IMLA 2008
(Intuitionistic Modal Logic and Applications) Workshop
associated with LICS'08 (Logic in Computer Science), June 23, 2008,
Pittsburgh, Pennsylvania, USA. Co-organizer and member of programme
2008, a workshop associated with
ECAI-2008, July 21-22, 2008, Patras, Greece. Member of Organization
- WOLLIC 2008
(Workshop on Logic, Language, Information and Computation), Edinburgh,
Scotland, July 1st-4th, 2008, Member of Programme Committee.
Informally, May 31-June 1, 2008, CSLI, Stanford
constraint satisfaction problem,
AIM (American Institute of Mathematics), Palo Alto, California, March
31st-April 4th, 2008.
scientific achievements, at PARC, 26th March 2008. Videos and pictures
can be found here.
- Constructive Access
Control, talks at Kestrel and SRI, February, 2008.
- HYLO 2007 (Hybrid Logic
2007), 6-10 August, 2007, Dublin, Ireland, Member of
Frameworks, Stanford University, July 13-15,
- Contexts and Ontologies--
Representation and Reasoning, associated with the Context Workshop,
May 13, 2007, University of
California at Berkeley.
Conference, 21 April 2007. Panelist on
Math Careers. After this I was asked for a brief description of my career.
Representation and Reasoning (CRR'06), Riva del Garda,
Italy, 29th August 2006, Member of Programme Committee.
Hybrid Logic 2006 August, 11th, 2006. Workshop associated
with LICS 2006.
Invited Speaker, Organizer.
- ESSLLI 2006 - The
18th European Summer School in Logic,
Language and Information 31-11 August, 2006,
Malaga, Spain. PC Logic and
2006 - The 13th Workshop on Logic,
Language, Information and Computation July
18-21, 2006, Stanford, CA. Local
- EBL (Encontro Brasileiro de
Logica), Itatiaia, April 24-28, 2006. Invited Speaker.
- IMLA 2005
(Intuitionistic Modal Logic and Applications) Workshop associated with
LICS'05, June 30, 2005,
Chicago, Illinois, USA. Co-organizer with F. Pfenning and member
A few talks that will, perhaps, become papers some day:
- Constructive Access Control, talks at Kestrel
- Constructive Institutions, talk at NASA 1999.
talk, Sonoma, 2007.
Other Fun Stuff
My DBLP entry.
My PARC bibliography,
as remembered by the WayBack machine in October 2007.
My ACM profile.
in Google Scholar, and the dialectica categories version
as computed by Paul Taylor.
in the Mathematical Genealogy, and illustrious ancestors,
as computed by Alber.
A British Council small collaborative project Alliance with
the teams at Nancy and ENS (Paris), France.
British Logic Colloquium, and the Brazilian Logic Society
My Microsoft Academic Search page
has been given to someone else.
Facebook, LinkedIn and CiteULike accounts. Citation software. LogCats
and Cartas. Flickr and arXiv, one of these days.
I do like to work with other people. Here is an incomplete (and vaguely
chronological) list of people I am working with/have worked with:
I am a Brazilian, who misses very much Rio de Janeiro. My old `alma
mater' is PUC in Rio.
work `alma mater' is Cambridge, where I spent 11 years.
I am especially
fond of the computer laboratory.
I have a lovely daughter, a
beautiful son and a great husband.
pictures of the kids are here,
A blog is de
riguer, nowadays. Mine is not about work, in case you were wondering.
But I hope to get a work one, soon.
Some work blogs that I'd like to check, once in a while: Andrej, Zach, and Restall.