To Infinite Possibilities and Beyond...
-
Upload
valeria-de-paiva -
Category
Technology
-
view
1.126 -
download
4
description
Transcript of To Infinite Possibilities and Beyond...
![Page 1: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/1.jpg)
+
To Infinite Possibilities and Beyond..
Valeria de Paiva Rearden Commerce, Foster City, CA, USA & School of Computer Science, Birmingham University, UK
![Page 2: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/2.jpg)
+
![Page 3: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/3.jpg)
REARDEN COMMERCE, Foster City, CA, USA
![Page 4: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/4.jpg)
+Engineering Women at Rearden
![Page 5: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/5.jpg)
+Diversity… Diwali celebration 2011
![Page 6: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/6.jpg)
What do we do? I hear you ask….
![Page 7: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/7.jpg)
Stanford and…
![Page 8: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/8.jpg)
Santa Clara University
![Page 9: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/9.jpg)
![Page 10: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/10.jpg)
PARC Forum: Adventures in Searchland, Aug 2009 http://www.parc.com/event/934/adventures-in-searchland.html
![Page 11: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/11.jpg)
+NLTT: Natural Language Theory and Technology October 2000-May 2008
![Page 12: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/12.jpg)
+Jumped?
![Page 13: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/13.jpg)
+University of Birmingham, UK Computer Science 1996-2000
![Page 14: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/14.jpg)
+University of Cambridge Computer Lab 1989-1995
![Page 15: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/15.jpg)
+PUC—Rio de Janeiro Depto de Informatica 1984-1990
![Page 16: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/16.jpg)
+Universidade de Cambridge DPMMS 1984-1989
![Page 17: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/17.jpg)
+Bridges?
Tran
slat
ion
![Page 18: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/18.jpg)
+ 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
![Page 19: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/19.jpg)
+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...
![Page 20: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/20.jpg)
+
Thanks!
![Page 21: To Infinite Possibilities and Beyond...](https://reader034.fdocuments.us/reader034/viewer/2022042623/5463277aaf7959f84e8b5189/html5/thumbnails/21.jpg)
+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/