Bootcamp Courses #
On the weekend before the main summer school---June 21, 22---we will offer three bootcamp courses:
- Logic Meets Language: Formal Foundations of Semantics: Shahriar Hormozi, Ryan Walter Smith
- An introduction to first-order modal logic: Dominik Pichler, Eugenio Orlandelli
- Topology, Logic, and Epistemology: Adam Bjorndahl
These courses meet for roughly the same amount of time as a full course, but on a compressed schedule. More exact times and locations will be announced closer to the event.
Main Schedule #
Note: links to more information about each course, as well as room locations, will be posted closer to the event.
Time | Math/Logic | Formal Philosophy | Linguistics | Linguistics+ | NLP and Beyond |
---|---|---|---|---|---|
9:00 - 10:20 |
Modern Set Theory - Mathematical Truth and the Multiverse
Michał Tomasz Godziszewski |
Formal Methods for Fallibilism
Sam Carter, Jeremy Goodman |
Semicompositionality
Andras Kornai |
Linguistic communication and social cognition: an interdisciplinary survey
Daniel Harris, Peter van Elswyk, Paula Rubio-Fernandez |
Language Learning in Humans and Machines
Masoud Jasbi |
Coffee Break | |||||
10:40 - 12:00 |
Introduction to Proof-Theoretic Semantics
Sara Ayhan, Will Stafford |
Modelling Awareness
Xueyin (Snow) Zhang, Gaia Belardinelli |
The syntax, semantics and pragmatics of tenseless languages
Yael Sharvit |
Generalized Quantifiers in the Wild: Typological Variation and Cognitive Reality
Sonia Ramotowska, Jakub Szymanik |
From Logic to Argumentation in AI
Liuwen Yu, Leon van der Torre |
Lunch | |||||
1:30 - 2:50 |
Information Theory
Mathias Madsen |
Resource Rationality
Thomas Icard |
The Many Faces of Number: Variation in Numeral-Noun Constructions
Roumyana Pancheva, Luis Miguel Toquero Pérez |
Logic for Natural Language, Logic in Natural Language
Larry Moss |
Computational Social Science on Linguistic Data using Modern NLP
Venkata S Govindarajan, Laura Biester |
Coffee Break | |||||
3:10 - 4:30 |
Introduction to Bundled Modalities
Yanjing Wang |
Truthmaker Semantics and the Semantics of Modals
Friederike Moltmann |
Tree-Adjoining Grammars: Theory and implementation
Kata Balogh, Simon Petitjean |
Effectful composition in natural language semantics
Simon Charlow, Dylan Bumford |
Current Formal Models of Counterfactuals and Causation
Tomasz Wysocki, Dean McHugh |
Coffee Break | |||||
5:00 - 6:20 |
Computational Learning in Dynamic Logics
Nina Gierasimczuk, Caleb Schultz Kisby |
Logical Perspectives on Topicality
Thomas Macaulay Ferguson, Andrew Tedder |
Desire ascriptions
Milo Phillips-Brown, Kyle Blumberg |
Probabilistic Dynamic Semantics
Julian Grove, Aaron Steven White |
Formal and computational linguistic perspectives on legal interpretation
Brandon Waldon, Nathan Schneider |