CHI-ANNOUNCEMENTS Archives

ACM SIGCHI General Interest Announcements (Mailing List)

CHI-ANNOUNCEMENTS@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "ACM SIGCHI General Interest Announcements (Mailing List)" <[log in to unmask]>
From: Ecole d'ete <[log in to unmask]>
Date: Fri, 14 Mar 1997 03:36:46 PST
Reply-To: Ecole d'ete <[log in to unmask]>
Parts/Attachments: text/plain (535 lines)
-------------------------------------------------------------------------------
-LLLLLLL--LLLLLLL--LLLLLLL---LLL-------LLL-------LLL-----L--LLLLLLL---LLLLLLL--
-LLL------LLL------LLL-------LLL-------LLL-------LLL---L----LLLLLLL-------LLL--
-LLLLLL---LLLLLLL--LLLLLLL---LLL-------LLL-------LLL------------LLL-------LLL--
-LLL----------LLL------LLL---LLL-------LLL-------LLL------------LLL-------LLL--
-LLLLLLL--LLLLLLL--LLLLLLL---LLLLLLL---LLLLLLL---LLL------------LLL-------LLL--
-------------------------------------------------------------------------------

                                   ESSLLI'97
                European Summer School in Logic, Language, and Information
                                   _________

                            Aix-en-Provence, France
                             August 11 - 22, 1997

                     http://www.lpl.univ-aix.fr/~esslli97
                                   _________

Contents :      - General Information
                - Registration Form
                - Programme & contacts

                        +---------------------+
                        | GENERAL INFORMATION |
                        +---------------------+

Logic, Language and Information have attracted and brought together a large
number of active researchers from disciplines such as Logic, Computer Science,
Linguistics and Cognitive Science, who consider the use of logical techniques
(broadly conceived) as a thread unifying their research efforts. The European
Summer School in LLI (ESSLLI) has become the main meeting place for young
researchers and research students in this rapidly growing field. ESSLLI is a
unique, interdisciplinary event, with no counterparts in Europe or elsewhere
in the world.

The main focus of the summer school is the interface between logic,
linguistics and computation as far as it concerns the modelling of human
language and cognitive abilities. The 1997 summer school programme includes
courses, workshops and symposia covering a variety of topics within six areas
of interest: Logic, Language, Computation, Logic and Computation, Computation
and Language, Language and Logic.

ESSLLI'97 will take place at the Aix-en-Provence Faculty of Arts(University
of Aix-Marseille I). This Faculty is close to the old town centre. There are
regular connections by bus (25 mns) from the international airport of Marseille
and by train (30mns) from Marseille. The Faculty is at a 10 minute walking
distance from the railway station.

Calendar
--------
        April 30th      Early registration deadline
        May 3rd         Deadline of the student session call for papers
        May 30th        Deadline for student grants application
        June 15th       Accomodation reservation deadline

1. Registration Fees
--------------------

. Registration fees only cover the participation in this summer school.
  Miscellaneous expenses (accomodation, meals and social activities) are
  in addition.

. The registration deadline to get the early registration fare is :
  April 1997, 30th.

. Students must enclose with the registration form a photocopy of their
  student card.

. Members of FoLLI get a discount of 30 FF for students and 50 FF for others.

----------------+---------------------------------------+-------------------+
Status          | Early registration (before 4/30/97)   | Late registration |
----------------+---------------------------------------+-------------------|
Student         |               1.100 FF                |       1.400 FF    |
Scholar         |               1.900 FF                |       2.300 FF    |
Industrial      |               3.800 FF                |       4.600 FF    |
----------------+---------------------------------------+-------------------+

2. Accomodation
---------------
        >>>>>> Reservation should be made before June, 15th <<<<<<<

. Hotel :
        Two classes of hotels are available. A deposit will be necessary to
        book a room. The prices include breakfast.

        Classes         - 250-300 FF / night    (Deposit : 600 FF)
                        - 350-400 FF / night    (Deposit : 1200 FF)

. Hall of residence:    - 70 FF / night         (Complete payment at
                                                         the reservation)

3. Meals
--------

. It is possible to have lunches at the University cafeteria. A reservation is
  necessary  before June 1997, 30th. Reservations and payments have to be made
  on the basis of full weeks Luncheon vouchers (day by day) will be provided at
  your arrival.

. The cafeteria of the University will be closed on August, 15th.

. It is also possible to buy sandwiches on the campus of the
  University.

        - First week (4 meals) = 100 FF
        - Second week (5 meals) = 125 FF

4. Social events
----------------

Two Thursday evening parties will be organized (buffet, concert) one on August
14 and one on August 21. To attend you should buy a ticket valid for both
parties at 200 FF per person. This ticket includes the buffet and the concerts.

5. Tee-shirt
------------

The ESSLLI'97 Tee-shirt is on sale at the price of  50 FF.


                        +-------------------+
                        | REGISTRATION FORM |
                        +-------------------+

Name: ________________________________________________

First Name: __________________________________________

Institution: _________________________________________

Address: ___________________________________________________________________

        ____________________________________________________________________

        ____________________________________________________________________

Country: ____________________________________________

Phone : ____________________________    Fax : _____________________________

E-mail : __________________________________________

Member of FoLLI :       o Yes           o No


1. Registration Fees
--------------------
----------------+---------------------------------------+-------------------+
Status          | Early registration (before 4/30/97)   | Late registration |
----------------+---------------------------------------+-------------------|
Student         |       o       1.100 FF                | o     1.400 FF    |
Scholar         |       o       1.900 FF                | o     2.300 FF    |
Industrial      |       o       3.800 FF                | o     4.600 FF    |
----------------+---------------------------------------+-------------------+

2. Accomodation
---------------
        - Day of arrival :      _____________

        - Day of departure :    _____________

        - Number of nights :    _____________

. Hotel : Classes       o       250-300 FF / night      (Deposit : 600 FF)
                        o       350-400 FF / night      (Deposit : 1200 FF)

. Hall of residence:    o       70 FF / night           (Complete payment at
                                                         the reservation)
        -  Total amount :       __________


3. Meals
--------
   o First week (4 meals) = 100 FF       o Second week (5 meals) = 125 FF

        -  Total amount :       __________


4. Social events
----------------
        o I would like to take part in ESSLLI  parties

                -  Number of tickets :  __________

                -  Total amount :       __________

5. Tee-shirt
------------
        o I would like to buy one (or several) tee-shirt(s)

                - Number of tee-shirts and size: ____ L  ____ XL ____ XXL

                -  Total amount:        __________

                        +-------------------+
                        | Method of payment |
                        +-------------------+
1. Detailed account
-------------------
                Registration fees :     FF ___________________________

                Accomodation     :      FF ___________________________

                Meals:                  FF ___________________________

                Social events :         FF ___________________________

                Tee-shirt :             FF ___________________________

                Amount:                 FF ___________________________

                Credit card charges
(Japan : 4,5 %, Other countries : 3%)   FF ___________________________

                TOTAL AMOUNT :          FF ___________________________

2. Methods of payment
---------------------
.  Cheques :    Made out in French Francs, payable to FoLLI.

. Bank transfers :
        - Sorry but you will have to pay the banking charges (if you don't,
          your registration will be considered as incomplete).
        - Please enclose with this form a copy of your transfer. This copy
          should mention the name and adress of your bank.
        - Do not forget to write down your name on the transfer.
        - The bank transfer must be done in French Francs on the account:

        Bank :                  ABN-AMRO
        Account number :        45 20 12 449
        Swift Code:             ABNANL  2A
        References :            ESSLLI'97 / your name
        Address :               Vereniging FoLLI
                                Plantage Muidergracht 24
                                1018 TV  AMSTERDAM
                                The Netherlands


. Credit cards :

Credit card charges are yours. Whatever your credit card is, credit card
charges represent 4,5% of the total amount if your payment comes from Japan
and 3% if your payment comes from any other foreign country.

        o  VISA                 o Mastercard            o American Express

  Cardholder's Name : ______________________________________________________

  Card number : ____________________________________

  Expiration date : ________________________________

  Amount : _________________________________________

  Signature : _______________________________________

. If these methods of payment are inconvenient, it will be possible for you to
pay cash once you are in Aix. In this case, you will have to pay the late
registration fee and you will have to book your room yourself. Some exceptions
to these arrangements can be made for people coming from countries which do not
allow any of the long distance methods of payment above.

3. Cancellation
---------------
- Cancellations received before June 1997, 15th:
        . running costs = 400FF

- Cancellations received after June 1997, 15th:
        . running costs = 50% of the registration fees
        . no reimbursement of the deposits paid for the hotel



Date : _____________________    Signature : __________________________________



To return by e-mail to : [log in to unmask]

A copy of this registration form together with the justificatory of payment
and the copy of the student card has to be sent by surface mail to :

                ESSLLI'97
                LPL - Université de Provence
                29 Avenue Robert Schuman
                13621 Aix-en-Provence
                FRANCE


                          +---------------------+
                          | ESSLLI'97 PROGRAMME |
                          +---------------------+

                                LANGUAGE
                                --------
Introductory Courses
--------------------
  B. Dorr (Univ. of Maryland) & P. Saint-Dizier (Univ. of Toulouse):
        Lexical Semantics of Predicative Forms

  M. Pickering (Univ. of Glasgow) & M. Crocker (Univ. of Edinburgh):
        Human Sentence Comprehension

Advanced Courses
----------------
  M. Moortgat (Univ. of Utrecht) & P. Oehrle (Univ. of Arizona):
        Grammatical Resources: Logic & Structure

  C. Gardent (Univ. of Saarlandes):
        The Syntax and Semantics of Focus

  A. Abeille, D. Godard (Univ. of Paris) & P. Miller (Univ. of Lille):
        The Major Syntactic Structures of French

Workshop
---------
  D. Brown (Univ. of Surrey)
        Formal Elegance and Natural Complexity in Morphology

Symposium
---------
  N. Asher (Univ. of Texas):
        Applications of Pragmatic Theories of Discourse to
        Natural Language Interpretation
        _________________________________________________________

                                LOGIC
                                -----
Introductory Courses
--------------------
  L. Moss (Univ. of Indiana):
        Circularity

  S. Feferman (Stanford Univ.) & G. Jaeger (Univ. of Bern):
        Applicative Theories and Variable Types

Advanced Courses
----------------
  A. Sernadas & C. Sernadas (Univ. of Lisbon):
        Categorial Techniques for Combining Logics

  L. Hella (Univ. of Helsinki):
        Finite Model Theory

  L. Beklemishev (Steklov Mathematical Institute):
        Provability and Reflection

Workshop
--------
 F. Wolter & M. Zakharyaschev (JAIST):
        Topics in Polymodal Logic

Symposium
---------
  J. Makowsky (Technion):
        Translations, Reductions and Interpretations
        _________________________________________________________

                                COMPUTATION
                                -----------
Introductory Courses
--------------------
  P. Van Hentenryck (Brown Univ.):
        Constraint Programming for Combinatorial Search Problems.

  B. C. Pierce (Indiana Univ.):
        Programming in the Pi-Calculus

Advanced Courses
----------------
  A. Podelski (MPI):
        Set Constraints, Their Use for Program Analysis and for Solving
        Constraint Problems over (Feature) Trees

  R. Backofen & P. Clote (Univ. of Munich):
        Computational Biology

  T. Fruehwirth ((Univ. of Munich):
        Constraint Reasoning
        _________________________________________________________

                                LANGUAGE & LOGIC
                                ----------------
Introductory Courses
--------------------
  N. Asher (Univ. of Texas) & T. Fernando ((Univ. of Stuttgart):
        Logical Aspects of the Semantics-Pragmatics Interface in Discourse

  J. Groenendijk & M.Stokhof ((Univ. of Amsterdam) :
        Update Semantics & Discourse Coherence

  R. Zuber (Univ. of Paris):
        Logics and Grammars as Deductive Systems


Advanced Courses
----------------
  M. A. Moshier (Chapman Univ.):
        Category-Theoretic Foundations of Formal Linguistics

  E. Keenan & E. Stabler (UCLA):
        Mathematical Linguistics and Abstract Grammar

  H. A. Costa (Carnegie-Mellon Univ.) & K. Segerberg (Uppsala):
        AGM in and out of Focus

Workshops
---------
  S. Peters (Stanford Univ.) & J. van der Does (Univ. of Amsterdam):
        Quantifiers, Collectivity and Reciprocals

  A. Ranta (Univ. of Helsinki):
        The Informal Language of Mathematics

Symposium
---------
  T. Jansen (Univ. of Amsterdam) & P. Pagin (Stockholm Univ.):
        Compositionality: Logical and Meaning Theoretical Aspects
        _________________________________________________________

                        LANGUAGE & COMPUTATION
                        ----------------------
Introductory Courses
--------------------
  B. Krenn & C. Samuelsson (Univ. of Saarlandes):
        Statistical Methods in Computational Linguistics

  E. Hinrichs, D. Meurers (Univ. of Tuebingen) & J. Nerbonne (Groningen):
        Grammar Development in Constraint-Based Grammar Formalisms

  P. Blackburn & J. Bos (Univ. of Saarlandes):
        Representation and Inference for Natural Languages: A First
        Course in Computational Semantics

Advanced Courses
----------------
  R. Gaizauskas (Univ. of Sheffield):
        Information Extraction

  M. Johnson (Brown Univ.) & M. Kay (Stanford Univ.):
        Deductive Approaches to Constraint-Based Parsing and Generation

  A. Lecomte (Grenoble), G. Morrill (UPC Barcelona) & C. Retore (INRIA):
        Geometry of Language

Workshop
--------
  C. Paris (CSIRO) & R. Dale (MRI):
        Natural Language Generation

Symposium
---------
  A. Zaenen (Rank Xerox Research Centre)
        Grammar Writing as Software Development
        _________________________________________________________

                        LOGIC & COMPUTATION
                        -------------------
Introductory Courses
--------------------
  F. Baader (Univ. of Aachen):
        Terminological Reasoning

  G. Brewka (Univ. of Leipzig) & J. Dix (Univ. of Koblenz):
        Extended Logic Programming and Knowledge Representation

Advanced Courses
----------------
  J. Mullins (Univ. of Brest):
        Recursion Theory and Concurrency Models

  A. Dawar (Univ. of Wales) & I. Stewart (Leicester Univ.):
        Logic and Computation with Finite Structures

  V. Marek & M. Truszczynski (Univ. of Kentucky):
        Nonmonotonic Reasoning: a Computational Perspective

  B. Rounds (Univ. of Michigan):
        Domain Theory and its Applications in LLC

Workshops
---------
    J. Vaananen (Univ. of Helsinki):
        Generalized Quantifiers and Computation

Symposium
---------
    W. van der Hoek (Utrecht), Y. Lesperance (York Univ.) & R. Scherl (Heights):
        Logical Approaches to Agent Modelling and Design

                                +----------+
                                | Contacts |
                                +----------+
        Philippe Blache
        ESSLLI'97
        LPL - Universite de Provence
        29, Avenue Robert Schuman
        13621  Aix-en-Provence
        FRANCE

        fax:    +33 442.59.50.96
        tel:    +33 442.59.20.73

        e-mail : [log in to unmask]
        http://www.lpl.univ-aix.fr/~esslli97

Programme Committee
-------------------
        Sergei Artemov (Moscow)
        Daniele Godard (Paris)
        Georg Gottlob (Vienna)
        Bill Keller (Sussex), CHAIR
        Gert Smolka (Saarbruecken)
        Dag Westerstahl (Stockholm)

Organising Committee
--------------------
        Anne Abeille (TALANA, Paris)
        Gabriel Bes (GRIL, Clermont-Ferrand)
        Philippe Blache (2LC, Sophia-Antipolis), CHAIR
        Christophe Fouquere (LIPN, Paris)
        Daniele Godard (LLF, Paris)
        Benoit Habert (ENS, Fontrenay)
        Alain Lecomte (INRIA, Nancy)
        Philip Miller (SILEX, Lille)
        Christian Jacquemin (IRIN, Nantes)
        Monique Rolbert (LIM, Marseille)
        Paul Sabatier (LIM, Marseille)
        Patrick Saint-Dizier (IRIT, Toulouse)
        Jean Veronis (LPL, Aix-en-Provence)
        Annie Zaenen (RXRC, Grenoble)
        Richard Zuber (LLF, Paris)
        Pierre Zweigenbaum (DIAM, Paris)

ATOM RSS1 RSS2