Transcription
NASSLLI
North American Summer School of Logic, Language,and InformationUniversity of Texas at Austin, June 16–24, 2012SponsorsThe NASSLLI organizing committee gratefully acknowledges support forNASSLLI 2012 and associated conferences from the following organizations:»» The National Science Foundation (through grant BCS-1019206)»» The Association for Symbolic Logic»» The College of Liberal Arts at UT Austin»» The following University of Texas at Austin departments:›› The Department of Linguistics›› The Department of Philosophy›› The Department of Computer Science›› The Department of PsychologyCreditsLocal organizing committee: David Beaver (Director), Justin Cope, Christopher Brown, Joey Frazee, Leslie CrooksSteering committee: Larry Moss (chair), David Beaver, Valeria de Paiva,Phokion Kolaitis, Stuart Shieber, Moshe VardiProgram committee: Valeria de Paiva (co-chair), Carlos Areces (co-chair),David Beaver, Josh Dever, Emily Bender, Angelika Kratzer, VladimirLifschitz, Larry Moss, Eric Pacuit, Chris Potts, Chung-chieh Shan, AnnieZaenenScholarship committee: Sinan Dogramaci, Katrin Erk, Steve WechslerTLS organizing committee: Joey Frazee, Leah GeerRAIN organizing committee: David Beaver, Patrick Blackburn, Larry MossTuring Centenary Symposium organizer: David Beaver2
BootcampJosh Dever Intermediate LogicSession 1:Session 2:Session 3:UTC 1.102SaturdaySundaySundayLiz Coppock and John Beavers Introduction to SemanticsSession 1:SaturdaySession 2:SundayJune 16June 17June 17UTC 1.116June 16June 17Dan Lassiter - Probabilistic reasoning andstatistical inference: An introduction for linguistsand philosophersSession 1:SaturdayJune 16Session 2:SundayJune 17Legos and LibationsCaffe Medici1:00 to 5:00 pm9:30 am to 12:30 pm1:30 to 5:30 pm1:00 to 5:00 pm9:30 am to 12:30 pmUTC 1.1041:00 to 5:00 pm9:30 am to 12:30 pmAfter-hoursMondayJune 188:30 to 10:30 pmTuesdayJune 196:45 to 10:00 pmFridayJune 227:00 pm to midnightGartenfestScholz GartenGavagai: LiveCaffe MediciSearching for Signs of Meaning at Medici(co-located with the Turing Centenary Reception)Caffe MediciSaturday3June 239:30 to 11:30 pm
ScheduleSemanticsLogicCraige RobertsQuestions in DiscourseThomas IcardSurface ReasoningEde ZimmermannIntensionalityAlexandru Baltag andSonja SmetsLogical Dynamics of Information and Interaction1:202:50Jeroen Groenendijk andFloris RoelofsenInquisitive SemanticsValeria de PaivaIntroduction to CategoryTheory3:004:30Mark SteedmanCombinatory Categorial Grammar: Theory andPracticeEric PacuitSocial Choice Theory forLogiciansRobin Cooper and Jonathan GinzburgType Theory with Recordsfor Natural Language SemanticsPatrick BlackburnAn Introduction to HybridLogic9:0010:3010:4012:105:006:30UTC 4.104UTC 4.110UTC 4.120 and 4.114 will be used forsnacks and miscellaneous meetups4
ComputationNoah GoodmanStochastic Lambda Calculus and its Applications inCognitive Philosophy &CognitionAdam LopezStatistical Machine TranslationStephen Wechsler and EricMcCreadyMeaning as Use: Indexicality, Expressives, and SelfReferenceChristopher PottsExtracting Social Meaningand SentimentNina GierasimczukBelief Revision Meets Formal Learning TheoryShalom LappinAlternative Paradigms forComputational SemanticsCatherine LeggPossible Worlds: A Coursein Metaphysics (for Computer Scientists and Linguists)Chung-chieh Shan andOleg KiselyovLambda: the ultimatesyntax-semantics interfaceHans Kamp and MarkSainsburyVagueness and ContextUTC 4.124UTC 4.132For more information about each course,please see nasslli2012.com/schedule5
Evening TalksMonday, June 18UTC 2.102A7:30 to 9:00 pm Bonnie WebberNatural Language: Going for low-hanging fruitThursday, June 217:30 to 9:00 pmUTC 2.102AMichael TyeThe Turing test and its implicationsTuring SymposiumSaturday, June 234:30 pm4:40 pm5:40 pm6:40 pm7:40 pm8:40 pmAT&T conference centeramphitheaterIntroductionKevin KnightLanguage Translation and Code-BreakingBob KingAlan Turing, Genius, Patriot, VictimBreakBruce SterlingTuring’s Strange Seas of ThoughtPanel: Turing and his legacy, with Knight, King, andSterling (Hosted by David Beaver)6
RAINSaturday, June 239:30 - 10:1510:15 - 10:3010:30 - 11:1511:15 - 12:0012:15 - 1:151:15 - 2:002:15 - 3:003:00 - 3:153:30 - 4:15UTC 3.102Hans KampPresupposition as Abduction? Inferential Effects ofPresupposition AccommodationBreakMalte WillerDeontic Paradoxes from a Dynamic PerspectivePatrick BlackburnNow for yesterday, today and tomorrowLunchNoah GoodmanProbabilistic pragmatics: Language understanding andsocial inferenceDaniel Lassiter and Noah GoodmanCommunicating with epistemic modals in stochasticlambda-calculusBreakAlexandru Baltag, Ben Rodenhäuser,and Sonja SmetsDynamic Doxastic Attitudes as Strategies for BeliefChangeSunday, June 249:30 - 10:1510:15 - 10:3010:30 - 11:1511:15 - 12:00UTC 3.102Jakub SzymanikA note on the complexity of backward inductiongamesBreakEric PacuitStrategic Reasoning in Games: The DynamicEpistemic Logic PerspectiveWesley Holliday, Tomohiro Hoshi, andThomas IcardA Uniform Logic of Information Dynamics7
More RAIN12:15 - 1:151:15 - 2:002:15 - 3:003:00 - 3:153:30 - 4:154:15 - 5:00LunchValeria de PaivaLittle engines of inference: contexts for quantificationNina GierasimczukUsing Proof Theory to Explain Children Performancein Deductive GamesBreakLori MoonConstraining Modal Verb Readings: Towards aDefault Theory with Empirically DeterminedProbabilitiesLarry MossCurrent Topics Related to Natural Reasoning andInteractionTLSSaturday, June 23UTC 4.112, 4.1229:30 - 10:30Invited Talk: Richard Meier10:30 - 11:15Michael FreedmanQUD as Filter: Relational Nouns and HaveCornelia LoosWhat’s Mine is Yours: A Typological View ofPossession in Sign Language of the Netherlands (NGT)10:30-11:0011:15 - 12:0011:15 - 11:45Wataru UegakiNon-congruent answers and exhaustive interpretationAnnika HueblRole shift, indexicals, and beyond - new evidence fromGerman Sign Language8
12:15 - 1:151:15 - 2:15LunchKeynote: Erin Wilkinson2:15 - 3:00Sven Lauer and Cleo CondoravdiThe basic dynamic effect of interrogative utterancesKazumi Matsuoka, Uiko Yano, and Masahiro MinamidaGrammatical Functions of Mouth Gestures in JapaneseSign Language2:15 - 2:452:45 - 3:153:15 - 4:15Jonathan Keane, Diane Brentari, and Jason RiggleCategorical vs. Gradient: What ASL fingerspelling teachesus about the phonetics-phonology interfaceInvited Talk: Craige RobertsSunday, June 249:30 - 10:159:30 - 10:3010:30 - 11:1510:30 - 11:0011:15 - 12:1511:15 - 12:15UTC 4.112, 4.122Ed CormanyImperative Answers to Questions Under DiscussionInvited Talk: Kathryn DavidsonEric McCreadyDetermining QuestionsRussell Richie, Julia Fanghella, and Marie CoppolaEmergence of Lexicons in Family-Based HomesignSystems in NicaraguaInvited Talk: Jeroen GroenendijkErotetic languages and the inquisitive hierarchyInvited Talk: Josep Quer12:15 - 1:151:15 - 1:45LunchHotze Rullmann and Lisa MatthewsonEpistemic modals can scope under past tense1:30 - 2:00Lynn Hou and Richard MeierIdiosyncratic First-Person Object Verb Forms inAmerican Sign LanguageJakub Szymanik and Marcin ZajenkowskiMonotonicity in Quantifier Verification1:45 - 2:152:15 - 3:152:30 - 3:00Sign language panelFred HoytProsodic Constituency and Locality Restrictions onLevantine Arabic Negative Concord3:15 - 4:15Invited Talk: Katrin Erk9
UTC4.1144.1324.112 4.1104.104North4.1204.122 4.124reg(3rd floor is similar)1.1161.104 1.102reg1st Floor (Basement)Sign-in: Friday 5:00 - 8:00 pm in San Jacinto · Saturday noon- 1 pm, 5:00 - 5:30 pm on UTC 1st floor · Sunday 9:00 - 9:30 am,12:30 - 1:00 pm on UTC 1st floor · Monday 8:00 - 9:00 am, 6:307:00 pm, and between classes, on UTC 4th floor1021st Street4th Floor
LogisticsQuick contactsChris Brown512-785-5037chrisbrown@utexas.eduJustin Cope512-771-9894justin.cope@utexas.eduDavid Beaver dib@utexas.eduGeneral enquiries nasslli@nasslli2012.comReimbursementLeslie CrooksParking512-471-4533 lcrooks@austin.utexas.eduCalhoun 501Paid parking is available in the Dobie garage (2005 Whitis Avenue)or Brazos garage (210 E. MLK Blvd.). Unfortunately, there is no freeparking on campus.AddressesStar of TexasAustin Folk HouseInn at Pearl StreetCarrington HouseUTCScholz GartenCaffe MediciSan Jacinto Residence HallDog and Duck Pub611 West 22nd Street506 West 22nd Street1809 Pearl Street1114 West 22 1/2 Street21st Street and Speedway1607 San Jacinto2222B Guadalupe StreetJester Circle406 West 17th StreetThis booklet and most other NASSLLI design by Christopher BrownParty names by Justin Cope11
22.5lfCarriageHouseMLK22ndrlPeaRio GrandeNuecesAustin Folk HouseStar ofTexasTowerUTCCalhounMLKintoGartenMLKSan Jacinto DormSan Jac24thCaffe porAir5I-3GuadalupepePearlInn atPearl StreetSan AntoniodaluGuaSpeedwayLeonMapLamar
Dan Lassiter - Probabilistic reasoning and statistical inference: An introduction for linguists and philosophers Session 1: Saturday June 16 1:00 to 5:00 pm Session 2: Sunday June 17 9:30 am to 12:30 pm Legos and Libations Caffe Medici Monday June 18 8:30 to 10:30 pm Gartenfest Scholz Garten Tuesday June 19 6:45 to 10:00 pm Gavagai: Live
