+ NOT TOY BRIDGES …Categorical Logic, DialecticaCategories and Their ApplicationsAutomated Theorem Proving andSemantics of Programming LanguagesLinear Functional Programming,Abstract Machines and Modal TypeTheoriesLogics for NLP, for Linguistic Inferenceand for Contexts in AICombining symbolic methods andanalytics to solve big data problems
+ 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...
+ 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