
Valeria de Paiva

(picture by Thomas
Forster, 2004)
Valeria
de Paiva is a
mathematician and computer scientis working in California, USA
at
the Natural Language and AI Research Laboratory of Nuance Communications, Inc.
She was, until September 2010, a search analyst for Cuill, Inc.
in Menlo Park, CA. She also worked for Rearden Commerce, now Deem, Inc.
She was (for almost nine years) a research scientist at the
Intelligent Systems Laboratory
of PARC (Palo Alto Research
Center), California.
She received her PhD in Mathematics from Cambridge University
for 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.
(not working well, yet..)
Email: valeria.depaiva at gmail.com.
(In case you were really looking for
my husband, his email is Dick.Crouch at
gmail.com.)
Meetings
- Vienna Summer of Logic 2014,
Austria. Programme committee of joint meeting
CSL/LiCS. co-organizer of NLCS 2014.
- ASL North-American Annual Meeting, 2014,
Boulder, Colorado. Invited Speaker.
- NLCS 2013,
New Orleans, Louisiana. co-organizer.
- IMLA 2013,
Rio de Janeiro, Brazil. co-organizer.
- NASSLLI 2012, Austin, Texas.
Co-chair of the programme committee.
- 5th
Intuitionistic Modal Logic and Applications, Nancy, France, July
2011. co-organizer.
- History and
Philosophy of Computing, Gent, Belgium, November, 2011. Member of
Programme Committee.
- Automated
Reasoning about Context and Ontology Evolution ARCOE 2011, member
of Programme Committee.
- Proof Theory for Natural Language, CSLI Workshop, Stanford,
April, 2011.
- 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.
- LFSA2010
(Workshop on Logical and Semantic Frameworks with Applications 2010),
31st
August
2010,
Natal,
Rio
Grande do Norte, Brazil.
- ACM Data Mining Meeting: Charting SearchLand, 23 August 2010.
Slides on slideshare,
- Automated
Reasoning about Context and Ontology Evolution ARCOE 2010, 16-17
August 2010, Lisbon, Part of ECAI 2010. Member of Programme
Committee.
- COLING 2010, Reviewer
for Track on Syntax and Grammar, Beijing, China, 23-27 August,
2010.
- HYLO 2010,
Member of program committee, Part of FLoC, July 10, 2010, Edinburgh,
Scotland, UK.
- NASSLLI
2010, Member of Steering Committee, Bloomington, Indiana, June
21-25th 2010.
- 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
Logic
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
too far".
- 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
Geometric
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
in
Searchland Abstract:
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..

- Mintsfest,
Stanford, CA, 7th Jun 2009.
- Language,
Communication
and
Rational
Agency, Stanford, May 30th 2009.
- Spatial
Relations: An Interdisciplinary Perspective, Stanford, March 7th
2009.
- Automated
Reasoning about Context and Ontology Evolution Workshop, associated
with I JCAI, July 11-13, 2009, Pasadena, California, USA. Member of
programme committee.
- Fun
with Constructive Modalities,
Dept Filosofia, PUC-Rio, June 2009. Talk. Abstract:
- 88th Peripatetic
Seminar on Sheaves and Logic (88th PSSL), 4-5 April, 2009
Cambridge, UK.
- CLiCS:
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
committee.
- Contexts
and
Ontologies
2008, a workshop associated with
ECAI-2008, July 21-22, 2008, Patras, Greece. Member of Organization
Committee.
- WOLLIC 2008
(Workshop on Logic, Language, Information and Computation), Edinburgh,
Scotland, July 1st-4th, 2008, Member of Programme Committee.
- Epistemology
Meets
Logic,
Informally, May 31-June 1, 2008, CSLI, Stanford
University
- Applications
of
universal
algebra
and
logic
to
the
constraint satisfaction problem,
AIM (American Institute of Mathematics), Palo Alto, California, March
31st-April 4th, 2008.
- DannyFest,
a
meeting
to
celebrate
Danny
Bobrow's
lifetime
of
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
Programme Committee.
- Grammar
Engineering
across
Frameworks, Stanford University, July 13-15,
2007.
- Contexts and Ontologies--
Representation and Reasoning, associated with the Context Workshop,
21st
August,
2007,
Roskilde
University,
Roskilde,
Denmark,
Organizer.
- LOAIT(Legal
Ontologies
and
Artificial
Intelligence
Techniques),
Stanford,
June
4th,
2007.
- Interpolations,
a
meeting
in
honor
of
William
Craig,
May 13, 2007, University of
California at Berkeley.
- Northern
California
and
Oregon
Undergraduate
Math
Conference, 21 April 2007. Panelist on
Math Careers. After this I was asked for a brief description of my career.
- Context
Representation and Reasoning (CRR'06), Riva del Garda,
Italy, 29th August 2006, Member of Programme Committee.
- HYLO
2006 --
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
Computation.
- WOLLIC
2006 - The 13th Workshop on Logic,
Language, Information and Computation July
18-21, 2006, Stanford, CA. Local
organizer, co-chair.
- 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
of programme
committee.
Editorial Work
A few talks that will, perhaps, become papers some day:
- Constructive Access Control, talks at Kestrel
and SRI,
Jan/Feb
2008.
- Constructive Institutions, talk at NASA 1999.
- Careers
talk, Sonoma, 2007.
Other Fun Stuff
My DBLP entry.
My PARC bibliography,
as remembered by the WayBack machine in October 2007.
My ACM profile.
My entry
in Google Scholar, and the dialectica categories version
as computed by Paul Taylor.
My entry
in the Mathematical Genealogy, and illustrious ancestors,
as computed by Alber.
The
EU-funded TYPES
and APPSEM
working groups.
A British Council small collaborative project Alliance with
the teams at Nancy and ENS (Paris), France.
The
British Logic Colloquium, and the Brazilian Logic Society
(SBL).
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.
Collaborators
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:
Personal
I am a Brazilian, who misses very much Rio de Janeiro. My old `alma
mater' is PUC in Rio.
But my
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.
A few
pictures of the kids are here,
they
need
updating
badly.
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.