8:30a-
9:00a |
Morning coffee/tea in Baker Hall lower level lounge |
9:00a-
10:15a |
Logic and probability
Thomas Icard,
Krzysztof Mierzewski
Baker Hall A51
|
Information theory
Mathias Winther Madsen
Baker Hall A53
|
*LIMITED AVAILABILITY*
Corpus linguistics with
python and NLTK
Na-Rae Han, David Birnbaum
Baker Hall 235B & Baker Hall 237B |
FEATURED COURSE
Introduction to Pragmatics
Bart Geurts
Porter Hall 100 |
|
10:30a-
11:45a |
FEATURED COURSE
From epistemic logic
to social cognition
Rineke Verbrugge
Baker Hall A53
|
Proof interpretations:
a modern perspective
Anupam Das,
Thomas Powell
Baker Hall 235B |
Computational pragmatics
Judith Degen
Porter Hall 100 |
An opinionated
guide to predicates of
personal taste
Natasha Korotkova,
Pranav Anand
Baker Hall 255A
|
Graph formalisms
for meaning representations
Sorcha Gilroy,
Adam Lopez
Baker Hall 237B |
11:45a-
1:30p |
Monday:
Citi Ventures Presentation
Baker A53 - (includes lunch)
|
Tuesday, Wednesday and Thursday:
Lunch Break & Poster Session (students) |
Friday:
Lunch Break
|
1:30p-
2:45p |
Logics for epistemic and
strategic reasoning in
multi-agent systems
Valentin Goranko
Baker Hall 235B |
FEATURED COURSE
Hybrid Logic
Patrick Blackburn
Baker Hall A53 |
Computational morphology
Kemal Oflazer
Baker Hall A51 |
Integrating compositional
semantics and event semantics
Lucas Champollion,
Maria Esipova
Porter Hall 100
|
Topological epistemology
of science
Kevin Kelly,
Konstantin Genin
Baker Hall 237B
|
3:00p-
4:15p |
Logics for formal
epistemology
Alexandru Baltag,
Sonja Smets
Baker Hall 235B |
Logic for natural language,
logic in natural language
Larry Moss
Porter Hall 100
|
Language modeling with
tree-adjoining grammars
Kata Balogh,
Simon Petitjean
Baker Hall 237B |
Semantics and pragmatics
of temporal sequencing
Pranav Anand,
Maziar Toosarvandani
Baker Hall A51 |
New type-theoretic
tools in natural
language semantics
Steve Awodey,
Justyna Grudzinska,
Marek Zawadowski
and Colin Zwanziger
Baker Hall A53
|
4:15p-
5:00p |
Coffee/Tea Break in Baker Hall lower level lounge
|
5:00p-
6:15p |
Beyond
"knowing that":
a new generation of
epistemic logics
Yanjing Wang
Baker Hall 235B |
Proof theory: logical
and philosophical aspects
Shawn Standefer,
Greg Restall
Baker Hall A51 |
Low resource techniques
in NLP
David R. Mortensen,
Yulia Tsvetkov
Porter Hall 100 |
Probabilities of conditionals
in modal semantics
Paolo Santorio,
Baker Hall A53
|
Conlang playground:
from linguistic research
to creative fiction
Lori Levin
Baker Hall 237B |
| The closing reception will take place on Friday, 7:00pm, in the Rangos Ballroom in the Cohon University Center. |
