NASSLLI Timetable

Monday, June 24th - Friday, June 28th

  Building 380, Room 380Y SEQ Teaching Center, Room 102 Monday,Tuesday,Thursday,Friday: Terman Building, Room 556, Wednesday: Building 420, Room 40
8:00 - 8:30 Coffee and Doughnuts outside the Linguistics Building
8:30 - 9:30 [Dynamic Epistemic Logic] (Larry Moss) [Proof Polynomials] (Sergei Artemov) [Logicalization] (R.E. Jennings)
9:45 - 10:45 [Modal Logic and Agents] (Marc Pauly and Mike Wooldridge) [Interactive Models of Logic and Computation] (Samson Abramsky) [Optimality Theoretic Syntax] (Joan Bresnan)
11:00 - 12:00 [Dynamics, Semantics, Pragmatics] (Paul Dekker) [Machine Learning in Natural Language Processing] (Fernando Pereira) [Generalized Quantifiers] (Dag Westerstahl and Stanley Peters)
12:00 - 1:30 Lunch Break
1:30 - 2:30 [A Dynamic Approach to Mood and Modality] (Frank Veltman) [Computer Security] (Martin Abadi) [The Syntax-Semantics Interface: Theory and Implementation] (Ash Asudeh, Richard Crouch, and Mary Dalrymple)
2:45 - 3:45 [Lectures on Hybrid Logic (Patrick Blackburn) [Constraint Satisfaction, Complexity, and Logic (Phokion Kolaitis) [Invariants of Natural Language (Ed Keenan and Edward Stabler)
3:45 - 4:15 Break
4:15 - 5:30 [Workshop on the Logic of Games] (Johan van Benthem) [Logical Representational and Computational Methods for Markov Decision Processes] Craig Boutilier [Workshop on Model-Theoretic Syntax] (G.K. Pullum)
5:30 - 8:30 Activities, Dinner Break
8:30 - 10:00 Plenary Lectures

Saturday, June 29th

Workshop on Modality

Mathematical Logic Workshop Schedule

Location: Cordura 100

9:00-9:45 -- Grigori Mints [Some Problems in Non-Classical Logics]

9:50-10:35 -- Sol Feferman [Functional Interpretation as a Proof-theoretical Tool]

10:40-11:25 -- Thomas Scanlon [Linearity in Model Theoretic Geometric Stability Theory]

11:30-12:15 -- Ted Slaman [Fragments of Arithmetic and Logical Aspects of Ramsey's Theorem]

12:20-1:30 -- Lunch Break

Student Session Schedule

Location: Ventura 17

Student Session A (Papers on Language and Computation)

1:30 -- Guanjun Feng [A Simulation of Lardil Language Change] *cancelled*

2:00 -- Tara Nicholson [Diagnostic hypergraphs: when the problem is the solution]

2:30 -- Luis Alonso-Ovalle and Paula Menendez-Benito [Two Types of Weak Quantifiers: Evidence from Spanish]

3:00 -- Brendan Jackson [The Logical Form of Motion Ascriptions]

3:30 -- BREAK

4:00 -- Gina Taranto [Discourse Adjectives]

4:30 -- Marina Todorova [Modeling the aspectual effects of argument predication]

Student Session B (Papers on Logic)

Location: Cordura 100

1:30 -- Balden ten Cate [Internalizing Epistemic actions]

2:00 -- Lei Qian [Sentences True After Being Announced]

2:30 -- Felix Bou [Hilbert-style calculi for $\vdash_{\mathbf{BPL}}$ and $\vdash_{\mathbf{FPL}}$]

3:00 -- Alessandra Palmigiano [Duality between Atlases and Referential Algebras]

3:30 -- BREAK

4:00 -- Martin Allen [Preservationist Logics and Nonmonotonic Logics]

4:30 -- Rosja Mastop [Permission and Obligation]

5:00 -- Francien Dechesne [An extensive game model for IF-logic]

Sunday, June 30th

Cognition Workshop Schedule

Location: Cordura 100

9:00 -- Coffee, Welcome

9:15-11:45 -- Cognition and Context: Akman, Perry, Taylor

11:45-12:30 -- Lunch Break

12:30-2:30 -- Cognition and Neural Nets: Blutner, Smolensky

2:30-2:45 -- Break

2:45-4:45 -- Perception, Cognition and the Brain: Shillcock, Wandell

5:00-5:30 -- Roundtable Approaching Cognition: Akman, Blutner, Perry, Shillcock, Smolensky, Taylor, Wandell