extracting social meaning and sentiment june 18–22, 2012 · l l i nasslli2012.com june 18–22,...

L L I nasslli2012.com June 18–22, 2012 Johan van Benthem Logical Dynamics of Information and Interaction Chris Pos Stanford University Extracting Social meaning and Sentiment Craige Roberts Ohio State University Questions in Discourse Mark Steedman University of Edinburgh Combinatory Categorial Grammar: eory and Practice Noah Goodman Stanford University Stochastic 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 Paris Robin Cooper - Göteborg University Type theory with records for natural language semantics Jeroen Groenendijk - University of Amsterdam Floris Roelofsen - University of Amsterdam Inquisitive semantics Shalom Lappin - King’s College London Alternative Paradigms for Computational Semantics Tandy Warnow - University of Texas Estimating phylogenetic trees in linguistics and biology Hans Kamp - University of Texas Mark Sainsbury - University of Texas Vagueness and context Steve Wechsler - University of Texas Eric McCready - Osaka University Workshop on Meaning as Use: Indexicality and Expressives (Speakers: Eric McCready, Steve Wechsler, Hans Kamp, Chris Pos, Pranav Anand, and Sarah Murray) Catherine Legg - University of Waikato Possible Worlds: A Course in Metaphysics (for Computer Scientists and Linguists) Adam Lopez - Johns Hopkins University Statistical Machine Translation Eric Pacuit - Stanford University Social Choice eory for Logicians Valeria de Paiva - Rearden Commerce Ulrik Buchholtz - Stanford University Introduction to Category eory Adam Pease - Rearden Commerce Ontology Development and Application with SUMO Ede Zimmermann - University of Frankfurt Intensionality omas Icard - Stanford University Surface Reasoning Nina Gierasimczuk - University of Groningen Belief 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 Brown NASSLLI 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.

Upload: others

Post on 18-Jun-2020

1 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

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.

’One is a Lonely Number’: on the logic of …staff.science.uva.nl/~johan/Muenster.pdf1 ’One is a Lonely Number’: on the logic of communication Johan van Benthem, Amsterdam

Architectuur in Amsterdam 25AAR 25AAR van ARCAM Brochure.pdf · deze publicatie, naast schetsen van actuele ruimtelijke ontwikkelingen, ... Architect Jan Benthem, Museumnacht ‘Verbouwen’,

Dynamic logic for belief revision - UvA · Dynamic logic for belief revision Johan van Benthem Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Netherlands

Curatoren : mr. C. de Jong (Van Benthem & Keulen, Postbus 85005

CURRICULUM VITAE 2018 - Stanford University · CURRICULUM VITAE 2018 Johan van Benthem Personal Contact data, Education, Academic employment ... , social agency, epistemology, logic

Social Choice Theory for Logicians - Lecture 5epacuit/classes/nasslli2012/soclog-lec5.pdf · M. Pauly. On the Role of Language in Social Choice Theory. Synthese, 163, 2, pgs. 227

MODAL FRAME CORRESPONDENCES GENERALIZED · MODAL FRAME CORRESPONDENCES GENERALIZED Johan van Benthem, Amsterdam & Stanford, January 2005 Abstract Taking Löb's Axiom in modal provability