Bootcamp Courses #

On the day before the main summer school---June 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 in two blocks, from 10AM-1PM and 2-5PM.

Main Schedule #

The table below contains the schedule of the main summer school, from June 23-27. Some key information:

  • Each class meets every day at the same time for the entire week. There are 5 parallel sessions.
  • Locations (room numbers) will be posted closer to the event, but classes will be divded between Johnson Hall and Denny Hall on the UW campus.
  • Information for Zoom attendance (links, etc) will be emailed to participants before the event begins. If you have not done so, please fill out the Google Form listed on the registration page.
  • Zoom format / information key:
    • šŸŽ„ = Zoom attendance + recording available

    • šŸ“ŗ = Zoom attendance + no recording available

    • ā›” = In-person attendance only, no Zoom option

    • šŸ§‘ā€šŸ’» = instructor will be remote

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

description website
Linguistic communication and social cognition: an interdisciplinary survey (šŸŽ„)

Daniel Harris, Peter van Elswyk
Language Learning in Humans and Machines (šŸŽ„)

Masoud Jasbi


NB: course cancelled due to family emergency related to the war in Iran.

website
Coffee Break
10:40 - 12:00 Introduction to Proof-Theoretic Semantics (šŸŽ„)

Sara Ayhan, Will Stafford

Resource Rationality (ā›”)

Thomas Icard

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

Computational Learning in Dynamic Logics (šŸŽ„)

Nina Gierasimczuk (šŸ§‘ā€šŸ’»), Caleb Schultz Kisby

website
The Many Faces of Number

Roumyana Pancheva, Luis Miguel Toquero PƩrez

Logic for Natural Language, Logic in Natural Language (šŸŽ„)

Larry Moss

website
Natural Language Processing and Computational Social Science (šŸŽ„)

Venkata S Govindarajan, Laura Biester

website
Coffee Break
3:10 - 4:30 Introduction to Bundled Modalities (šŸ“ŗ)

Yanjing Wang

website
Modelling Awareness (šŸ“ŗ)

Xueyin (Snow) Zhang, Gaia Belardinelli

website
Tree-Adjoining Grammars: Theory and implementation

Simon Petitjean

Effectful composition in natural language semantics (šŸŽ„)

Simon Charlow, Dylan Bumford

website
Current Formal Models of Counterfactuals and Causation

Tomasz Wysocki, Dean McHugh

Coffee Break
5:00 - 6:20 Logical Perspectives on Topicality

Thomas Macaulay Ferguson, Andrew Tedder
Desire ascriptions (šŸ“ŗ)

Milo Phillips-Brown

Probabilistic Dynamic Semantics (šŸŽ„)

Julian Grove, Aaron Steven White

website
Formal and computational linguistic perspectives on legal interpretation (šŸŽ„)

Brandon Waldon, Nathan Schneider

website