[Corpora-List] NASSLLI-2003 ANNOUNCEMENT

From: NASSLLI'03 Bloomington, Indiana (nasslli@indiana.edu)
Date: Sun Jan 05 2003 - 00:34:04 MET

  • Next message: LDC Office: "[Corpora-List] New Corpora from the LDC"

     <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



    This archive was generated by hypermail 2b29 : Mon Jan 06 2003 - 09:55:41 MET