<apologies for multiple postings> Second North American Summer School in Logic, Language and Information NASSLLI-2003 June 17-21, 2003, Bloomington, Indiana http://www.indiana.edu/~nasslli %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% The NASSLLI Steering Committee is pleased to announce the Second North American Summer School in Logic, Language and Information, to be held in Bloomington, Indiana, June 17-21, 2003. The event follows on from the successful first school at Stanford in June, 2002. The school is focussed on the interfaces among linguistics, logic, and computation, broadly conceived, and on related fields. Our sister school, the European Summer School in Logic, Language, and Information, has been highly successful, becoming an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. We hope that the North American schools will follow in this tradition. PROGRAM --------- Marco Aiello, Guram Bezhanishvili, and Darko Sarenac Reasoning about Space (Workshop) Alexandru Baltag Logics for Communication: reasoning about information flow in dialogue games. Roman Bartak Foundations of Constraint Satisfaction Patrick Blackburn and Johan Bos Computational semantics for natural language Gerhard Jaeger and Reinhard Blutner Linguistic and computational issues in Optimality Theory Edward Keenan and Edward Stabler A Mathematical Theory of Grammatical Categories Daniel Leivant Logic of Programs Dov Monderer Games in Informational Form Yiannis Moschovakis Referential intensions: a logical calculus for synonymy John C. Paolillo Statistical models for language: structure and computation Dirk Pattinson An Introduction to the Theory of Coalgebras Ron van der Meyden Algorithmic Verification for Epistemic Logic Courses consist of five sessions of 90 minutes each. NASSLLI courses are aimed at graduate students or advanced undergraduates in computer science, linguistics, logic, philosophy, and related areas. Course abstracts are available from http://www.indiana.edu/~nasslli/program.html In addition, there will be evening lectures and a session of student papers. A Call for Papers for the Student Session will be distributed separately. RELATED EVENTS: NASSLLI'03 will be co-located with TARK'03, the 9th Conference on Theoretical Aspects of Knowledge and Rationality (see http://www.tark.org ). In addition, NASSLLI'03 will be co-located with MoL'03, the 8th Meeting on the Mathematics of Language (see http://grail.let.uu.nl/mol8/ ). Both of these conferences will take place June 20-22, 2003. INFORMATION ON REGISTRATION, ACCOMODATIONS, and SUPPORT should be available from our web site in January, 2003. WEB SITE FOR NASSLLI'03, to be held at Indiana University in June 2003: http://www.indiana.edu/~nasslli/ NASSLLI STEERING COMMITTEE (list in formation) David Beaver Barbara Grosz Phokion Kolaitis Larry Moss Stuart Shieber Moshe Vardi Contact: nasslli@indiana.edu