[Corpora-List] NASSLLI-2003 ANNOUNCEMENT

[NASSLLI'03 Bloomington, Indiana]

 <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 at indiana.edu