Carnegie Mellon University

NASSLLI 2018 @ CMU - June 23-29

North American Summer School on Logic, Language, and Information

NASSLLI 2018 logo

Bootcamp Courses

These weekend courses run in parallel and will be held Saturday, June 23 from 1-4pm and Sunday, June 24, 9:30-12:30 & 2:00-5:00.

Course Instructors
Machine learning Matthew R. Gormley
Introduction to linguistic data analysis using R Seth Weiner
Formal semantics and pragmatics, and their origins in philosophy Richmond Thomason, Zoltan Szabo
Topology, Logic, and Epistemology Adam Bjorndahl

Regular Courses

Monday, June 25 - Friday, June 29, 2018

Session Logic &
Epistemology
Logic &
Computation
Computational
Linguistics
Semantics
& Pragmatics
Explorations
9:00a-
10:15a
Logic and probability
Thomas Icard,
Krzysztof Mierzewski
Information theory
Mathias Winther Madsen
Corpus linguistics
with python
and NLTK
Na-Rae Han
FEATURED COURSE
Introduction to Pragmatics
Bart Geurts
10:30a-
11:45a

FEATURED COURSE
Epistemic Logic
Rineke Vebrugge

Proof interpretations:
a modern perspective
Anupam Das,
Thomas Powell
Computational pragmatics
Judith Degen

An opinionated
guide to
predicates of
personal taste
Natasha Korotkova,
Pranav Anand
Graph formalisms
for meaning representations
Sorcha Gilroy,
Adam Lopez
11:45a-
1:30p
Lunch & poster session (students)
1:30p-
2:45p
Logics for epistemic and
strategic reasoning in
multi-agent systems
Valentin Goranko
FEATURED COURSE
Hybrid Logic
Patrick Blackburn
Computational morphology
Kemal Oflazer

Integrating compositional
semantics and event semantics
Lucas Champollion,
Maria Esipova

Topological
epistemology
of science
Kevin Kelly,
Konstantin Genin
3:00p-
4:15p
Logics for formal
epistemology
Alexandru Baltag,
Sonja Smets
Logic for natural language,
logic in natural language
Larry Moss
Language modeling with
tree-adjoining grammars
Kata Balogh,
Simon Petitjean
Semantics and pragmatics
of temporal sequencing
Pranav Anand,
Maziar Toosarvandan
New type-theoretic
tools in natural
language semantics
Steve Awodey,
Justyna Grudzinska,
Marek Zawadowski
and Colin Zwanziger
4:15p-
5:00p
Tea
5:00p-
6:15p
Beyond
"knowing that":
a new generation of
epistemic logics
Yanjing Wang
Proof theory: logical
and philosophical aspects
Shawn Standefer,
Greg Restall
Low resource techniques
in NLP
David R. Mortensen,
Yulia Tsvetkov


Probabilities of conditionals
in modal semantics
Paolo Santorio,
Justin Khoo
Conlang playground:
from linguistic research
to creative fiction
Lori Levin