| Day/Room | MHP 101 | 
              THH 116 | 
              THH 210 | 
              THH 212 | 
            
|---|---|---|---|---|
Saturday9AM-1:50PM | 
              Introduction to non-extensional higher-order logics and their applications to propositional attitudes Cian Dorr & Harvey Lederman  | 
              Topic shift in conversation: A computational approach to relevance and coherence Livia Polanyi  |             
              Temporal reference with and without tense Roumyana Pancheva  | 
            |
Sunday9AM-1:50PM | 
              Introduction to propositional quantifiers Peter Fritz  | 
              Unifying formulaic, geometric, and algebraic theories of semantics Andras Kornai  | 
              Finite-state text processing Kyle Gorman  |               
            
| Time/Room | Mon Jun 20 | 
              Tue Jun 21 | 
              Wed Jun 22 | 
              Thu Jun 23 | 
              Fri Jun 24 | 
            
|---|---|---|---|---|---|
| 12PM-1:55PM | Pop-Up Mentoring Program | Industry Jobs: Panel Discussion and Q&A | Student session | Student session | NA |