Talk at Infinite Possibilities Conference, March 2012

1. +
To Infinite Possibilities and Beyond..
Valeria de Paiva
Rearden Commerce, Foster City, CA, USA
& School of Computer Science,
Birmingham University, UK

2. +

3. REARDEN COMMERCE, Foster City, CA, USA

4. +
Engineering Women at Rearden

5. +
Diversity…
Diwali celebration 2011

6. What do we do? I hear you ask….

7. Stanford
and…

8. Santa Clara University

10. PARC Forum:
Adventures in
Searchland, Aug 2009
http://www.parc.com/event/934/
adventures-in-searchland.html

11. NLTT: Natural Language Theory
+
and Technology
October 2000-May 2008

12. +
Jumped?

13. +
University of Birmingham, UK
Computer Science 1996-2000

14. + University of Cambridge
Computer Lab 1989-1995

15. +
PUC—Rio de Janeiro
Depto de Informatica 1984-1990

16. +
Universidade de Cambridge
DPMMS
1984-1989

17. +
Bridges?
Translation

18. + NOT TOY BRIDGES …
Categorical Logic, Dialectica
Categories and Their Applications
Automated Theorem Proving and
Semantics of Programming Languages
Linear Functional Programming,
Abstract Machines and Modal Type
Theories
Logics for NLP, for Linguistic Inference
and for Contexts in AI
Combining symbolic methods and
analytics to solve big data problems

19. + Working in interdisciplinary areas is hard,
but rewarding.
Are we there yet?  The frontier between logic, computing,
linguistics and categories is a fun place
to be.
 Mathematics teaches you a way of
thinking, more than specific theorems.
 Barriers: proprietary software and
unwillingness to `waste time’ on
formalizations
 Enablers: international scientific
communities, open access NLP and
other software, growing interaction
between fields,…
 Handsome payoff expected…
 Fall in love with your ideas and enjoy
talking to many about them...

20. +
Thanks!

21. +
NASSLI 2012:
Come to Texas for the fun…
The Fifth North American
Summer School of Logic,
Language, and Information
at the University of Texas at Austin
Johan van Benthem University of Amsterdam /
Stanford University Twenty interdisciplinary
Logical Dynamics of Information and Interaction graduate-level courses, 90
minutes each, every day for five
Craige Roberts Ohio State University days, on the UT campus,
Questions in Discourse taught by leading international
Noah Goodman Stanford University scholars, and crossing the
interfaces of philosophy,
http://www.cs.bham.ac.uk/~vdp/
Stochastic Lambda Calculus
and its Applications in Semantics and Cognitive Science linguistics, computer science,
psychology, statistics, and
Mark Steedman University of Edinburgh logic.
Combinatory Categorial Grammar: Theory and Practice
Chris Potts Stanford University
Extracting Social meaning and Sentiment http://www.valeriadepaiva.org/
June 18–22, 2012
L
L I nasslli2012.com
Registration: $175 (academic rate) / $400 (professional rate)
Student scholarships available, see website for application instructions
Accommodation provided for $70 / night (single) or $35 / night (double)
Additional Courses: Special Events:
Catherine Legg - University of Waikato Jonathan Ginzburg - University of Paris June 16–17: Bootcamp Session
Possible Worlds: A Course in Metaphysics Robin Cooper - Göteborg University June 23–24: Texas Linguistic Society Conference
(for Computer Scientists and Linguists) Type theory with records for natural language Special sessions on American Sign Language,
Adam Lopez - Johns Hopkins University semantics Semantics, and Computational Linguistics
Statistical Machine Translation Jeroen Groenendijk - University of Amsterdam Details regarding Call for Papers at nasslli2012.com
Floris Roelofsen - University of Amsterdam June 23: Turing Centennial Symposium
Eric Pacuit - Stanford University
Social Choice Theory for Logicians Inquisitive semantics
Valeria de Paiva - Rearden Commerce Shalom Lappin - King’s College London
Ulrik Buchholtz - Stanford University Alternative Paradigms for Computational Semantics
Introduction to Category Theory Tandy Warnow - University of Texas
Adam Pease - Rearden Commerce Estimating phylogenetic trees in linguistics and
Ontology Development and Application with biology
SUMO Hans Kamp - University of Texas
Ede Zimmermann - University of Frankfurt Mark Sainsbury - University of Texas
Intensionality Vagueness and context
Thomas Icard - Stanford University Steve Wechsler - University of Texas
Surface Reasoning Eric McCready - Osaka University
Workshop on Meaning as Use: Indexicality and
Nina Gierasimczuk - University of Groningen Expressives (Speakers: Eric McCready, Steve
Belief Revision Meets Formal Learning Theory Wechsler, Hans Kamp, Chris Potts, Pranav
Anand, and Sarah Murray)
NASSLLI is sponsored by the NSF (BCS 1019206), the UT College of Liberal Arts, and the UT Departments of Linguistics, Philosophy, and Psychology. Poster by Derya Kadipasaoglu (dkadipas.weebly.com) and Christopher Brown