référence : http://listes.cru.fr/arc/regroupement-spq/2003-01/msg00000.html
       Chronologie       
       Conversation       

[REGROUPEMENT-SPQ:26] ECOLE D'ETE LOGIQUE LANGAGE COMPUTATION regroupement-spq



 <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







begin:vcard 
n:Lapointe;Sandra 
x-mozilla-html:FALSE
org:Université du Québec à Montréal;Philosophie
version:2.1
email;internet:lapointe.sandra@sympatico.ca
title:Checheure postdoc
adr;quoted-printable:;;c.p.8888, succ. Centre-Ville=0D=0A;Montréal;Québec;H3C 3P8;Canada
fn:Sandra Lapointe
end:vcard