FORMAL GRAMMAR





Linguistic Aspects of Logical and

Computational Perspectives on Language



August 9-10, 1997
Aix-en-Provence, France



PROGRAM/CALL FOR PARTICIPATION




In August 1997, the Ninth European Summer School in Logic, Language and Information (ESSLLI'97) will be held in Aix-en-Provence, France, from August 11 until 22. The ESSLLI Summer Schools have become a forum for work on formal grammar, encompassing the overlapping interests of work in formal linguistics, computational linguistics, and the role of logic and grammar formalisms. As at ESSLLI'96 last year in Prague, a conference on Formal Grammar will be held the weekend before the summer school. The conference will consist of presentations, as well as invited lectures by:

Themes of interest include formal and computational syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; and foundational, methodological and architectural issues in grammar.

The Programme Committee of FORMAL GRAMMAR is:


    Bob Carpenter     (CMU)           Shalom Lappin     (London)
    John Coleman      (Oxford)        Glyn Morrill      (Barcelona)
    Mary Dalrymple    (Xerox Parc)    Anton Nijholt     (Twente)
    Jack Hoekseman    (Groningen)     Gertjan van Noord (Groningen)
    Bob Kasper        (Ohio State)    Richard Oehrle    (Arizona)
    Andreas Kathol    (UC Berkeley)   Carl Pollard      (Ohio State)
    Manfred Krifka    (Austin)        Susan Steele      (Arizona)
    Geert-Jan Kruijff (Prague)

Below, a detailed program of the conference is provided. Registration for the conference should be done via the ESSLLI'97 secretariat. The conference fee amounts 250FF, which includes a copy of the proceedings, a copy of the ESSLLI CD ROM, a buffet on Saturday evening, and lunch on Sunday. Accommodation is not included, but can be arranged via ESSLLI'97. Note that ESSLLI'97 participants have free access to the technical program of the conference.


Programme



                   Saturday August 9,1997

13:00           Opening

13:00 - 14:00   Formal Pragmatics and Computational Issues Involving Ambiguity
                - Nicholas Asher (University of Texas-Austin), invited lecture

14:00 - 14:30   Towards a Theory of Discourse Processing - *Flashback*
                Sequences Described by D-Tree
                - Frank Schilder (Universität Hamburg)

14:30 - 15:00   Complement Anaphora and Monotonicity
                - Rodger Kibble (University of London)

15:00 - 15:30   break

15:30 - 16:00   Efficient Parsing of Fixed-Mode DCGs
                - M. Vilares Ferro, M.A. Alonso Pardo, D. Cabrero Souto
                 (La Coruna)

16:00 - 16:30   How Linguistic Constraints on Movement Conspire to Yield
                Languages Analyzable With  a Restricted Form of LIGs
                - Jens Michaelis, Christian Wartena (Universität Potsdam)

16:30 - 16:45   break

16:45 - 17:15   Adjunction as Substitution: An Algebraic Formulation of
                Regular, Context-Free and Tree Adjoining Languages
                - Uwe Mönnich (Universität Tübingen)

17:15 - 17:45   A Syntax-Semantics Interface Using Synchronous TDGs
                - Laura Kallmeyer (Universität Tübingen)

19:00 - ....    Buffet


                 Sunday August 10, 1997


9:30 - 10:30    A Computational Model of Ellipsis Resolution
                Shalom Lappin/Howard Gregory (University of London),invited
                talk

10:30 - 10:45   break

10:45 - 11:15   Using Lexical Principles in HPSG to Generalize over Valence
                Properties
                - Detmar Meurers (Universität Tübingen)

11:15 - 11:45   Parsing as Tree Construction in a Labelled Deductive
                System (LDS-NL)
                - Wilfried Meyer Viol, Ruth Kempson (University of London)

11:45 - 12:15   Generalisation and Coordination in Categorial Grammar
                - Dirk Heylen

12:15 - 14:00   lunch

14:00 - 15:00   Binding as Deduction
                - Richard Oehrle (University of Arizona-Tucson), invited
                lecture

15:00 - 15:30   A Type-Logical Perspective on Minimalist Derivations
                - Tom Cornell (Universität Tübingen)

15:00 - 15:30   break

15:30 - 16:00   A Type Reduction from Proof-Conditional to Dynamic Semantics
                - Tim Fernando (Universität Stuttgart)

16:00 - 16:30   Unbounded Dependencies in Noncommutative Linear Logic
                - Claudia Casadio (Universitá di Chieti)

16:30 - 17:00   The Logic of Tune
                - Herman Hendriks (Rijksuniversiteit Utrecht)

17:00           Closing


Registration form


Your Name :

Institution :

Address :

e-mail :

Phone :

Fax :


Accommodation


Please check which accommodation option you would like to have, and whether you would need a single or double room. See for detailed information the ESSLLI'97 website.

Residence Halls (70FF p.n.) single
Class A Hotel (250-300FF p.n.) single double
Class B Hotel (350-400FF p.n.) single double
Own arrangements


Day of arrival : Day of departure :


In case of double room, please provide name of person to share the room with (particularly if that person is an FG/ESSLLI participant):

Name :

Yes, this person also attends Formal Grammar/ESSLLI'97.


Registration Information


The registration fee for Formal Grammar 1997 is 250 FF. This registration fee includes a buffet on Saturday evening, a lunch on Sunday, a hardcopy of the proceedings, and a copy of the ESSLLI'97 CD-ROM. If you are registered for ESSLLI'97, the entrance to the Formal Grammar 1997 technical programme is free of charge (please do inform the organizers of your interest). However, the ESSLLI'97 participants who want to benefit from the buffets, CD-ROM and proceedings have to pay 250 FF.

Fees will be paid on arrival.



Last modified
© 1997 LPL-CNRS