Home
Program
Links
Sponsors
Faq






Contact us

Program

Course outlines

NASSLLI will again feature a Student Session where students can network and get feedback on their work -- both from faculty and student attendees.

Schedule

  9:00am --
10:30am    
Barták
Tu-Th CH033 Fr-Sa RH100
Monderer
SW119
Moschovakis
JH124
11:00am --
12:30pm
Leivant
Tu-Th CH033 Fr-Sa RH100

Pattinson
SW119

Keenan and Stabler
JH124
  2:00pm --
  3:30pm
Baltag
SE105
Paolillo
Tu-Th SW007 Fr-Sa SE140
Blackburn and Bos
RH100
  3:45pm --
  4:15pm
Student paper session RH100
  4:30pm --
  6:00pm
van der Meyden
SE140
Workshop
Tu-Th SW007 Fr-Sa SE105
Jaeger and Blutner
RH100


Legend:
Introductory courses    Advanced courses

Buildings: CH: Chemistry Building, JH: Jordan Hall
RH: Rawles Hall, SE: Swain East, SW: Swain West

There will be three evening lectures and also social events -- a welcome reception Tuesday after classes and a party Saturday night.

Evening Lectures (8:30pm, RH100)

Student Session (3:45pm, RH100)

Tuesday June 17th Kihwang Lee Yet Another Statistical Case Assignment in Korean
Wednesday June 18th Tara Nicholson and Martin Allen Aggregative Combinatorics: an Introduction
Thursday June 19th Eric Swanson Biscuit Conditionals and Common Ground
Friday June 20th Yevgeniy Makarov Another characterization of provably recursive functions
Saturday June 21st Ichiro Hasuo Kripke Completeness of First-Order Constructive Logics with Strong Negation
Download Proceedings

Reception

Reception: Tuesday 6:30 - 8:00 PM. at the Woodburn House, 519 College Ave. The reception features wine, beer, hors d'oeuvres, and light dinner items. You can find the walking direction in FAQ page.

Locations

Registration will be held in Rawles Hall. The buildings where we will have classes and other activities are listed below:

  • Chemistry Building
  • Swain Hall East
  • Swain Hall West
  • Jordan Hall
  • Rawles Hall
  • Ballantine Hall (only for TARK and MoL)

You can find their locations on the IUB Local map. You can also find any building from IUB Online Map.