+

To Infinite Possibilities and Beyond..

Valeria de Paiva Rearden Commerce, Foster City, CA, USA & School of Computer Science, Birmingham University, UK

+

REARDEN COMMERCE, Foster City, CA, USA

+Engineering Women at Rearden

+Diversity… Diwali celebration 2011

What do we do? I hear you ask….

Stanford and…

Santa Clara University

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

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

+Jumped?

+University of Birmingham, UK Computer Science 1996-2000

+University of Cambridge Computer Lab 1989-1995

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

+Universidade de Cambridge DPMMS 1984-1989

+Bridges?

Tran

slat

ion

+ 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

+Are we there yet?

Working in interdisciplinary areas is hard, but rewarding.

  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...

+

Thanks!

+NASSLI 2012: Come to Texas for the fun…

LLI nasslli2012.com

June 18–22, 2012

Johan van Benthem Logical Dynamics of Information and Interaction

Chris Po!s Stanford UniversityExtracting Social meaning and Sentiment

Craige Roberts Ohio State UniversityQuestions in Discourse

Mark Steedman University of EdinburghCombinatory Categorial Grammar: !eory and Practice

Noah Goodman Stanford UniversityStochastic Lambda Calculus

and its Applications in Semantics and Cognitive Science

University of Amsterdam / Stanford University

!e Fi"h North American Summer School of Logic, Language, and Information

Jonathan Ginzburg - University of ParisRobin Cooper - Göteborg UniversityType theory with records for natural language semantics

Jeroen Groenendijk - University of AmsterdamFloris Roelofsen - University of AmsterdamInquisitive semantics

Shalom Lappin - King’s College LondonAlternative Paradigms for Computational Semantics

Tandy Warnow - University of TexasEstimating phylogenetic trees in linguistics and biology

Hans Kamp - University of TexasMark Sainsbury - University of TexasVagueness and context

Steve Wechsler - University of Texas Eric McCready - Osaka UniversityWorkshop on Meaning as Use: Indexicality and Expressives (Speakers: Eric McCready, Steve Wechsler, Hans Kamp, Chris Po!s, Pranav Anand, and Sarah Murray)

Catherine Legg - University of WaikatoPossible Worlds: A Course in Metaphysics(for Computer Scientists and Linguists)

Adam Lopez - Johns Hopkins UniversityStatistical Machine Translation

Eric Pacuit - Stanford UniversitySocial Choice !eory for Logicians

Valeria de Paiva - Rearden CommerceUlrik Buchholtz - Stanford UniversityIntroduction to Category !eory

Adam Pease - Rearden CommerceOntology Development and Application with SUMO

Ede Zimmermann - University of FrankfurtIntensionality

"omas Icard - Stanford UniversitySurface Reasoning

Nina Gierasimczuk - University of GroningenBelief Revision Meets Formal Learning !eory

at the University of Texas at Austin

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)

June 16–17: Bootcamp Session June 23–24: Texas Linguistic Society Conference Special sessions on American Sign Language, Semantics, and Computational Linguistics Details regarding Call for Papers at nasslli2012.com June 23: Turing Centennial Symposium

Additional Courses: Special Events:

Poster by Derya Kadipasaoglu (dkadipas.weebly.com) and Christopher BrownNASSLLI is sponsored by the NSF (BCS 1019206), the UT College of Liberal Arts, and the UT Departments of Linguistics, Philosophy, and Psychology.

Twenty interdisciplinary graduate-level courses, 90

minutes each, every day for "ve days, on the UT campus,

taught by leading international scholars, and crossing the interfaces of philosophy,

linguistics, computer science, psychology, statistics, and

logic.http://www.cs.bham.ac.uk/~vdp/ http://www.valeriadepaiva.org/