[eunet.general] COMPUTATIONAL LINGUISTICS/FORMAL SEMANTICS WORKSHOP

rosner@cui.UUCP (ROSNER Mike) (06/18/88)

****WORKSHOP ANNOUNCEMENT/APPLICATION FORM******

-------------------------
COMPUTATIONAL LINGUISTICS  
AND 
FORMAL SEMANTICS
-------------------------

Institut Dalle Molle ISSCO, Geneva 
Istituto Dalle Molle IDSIA, Lugano

29th August - 2nd September 1988
Palazzo dei Congressi, LUGANO, Switzerland

With the support of

Fondazione Dalle Molle
Citta' di Lugano
European Economic Community
Fonds National Suisse

AIMS:  to present both tutorial and current research material in
these two fields.

PROGRAM

Tutorials:

                   Jens Erik Fenstad, (Oslo)
               Representation and Interpretation

                      Martin Kay, (Xerox)
         Unification and the Syntax/Semantics Interface

                    Barbara Partee, (UMass)
               Current Issues in Formal Semantics


Workshop Papers:


                     Ewan Klein (Edinburgh)
                  Context and Compositionality

                    Kris Halvorsen, (Xerox)
             Algorithms for Semantic Interpretation

                       Pat Hayes, (Xerox)
         Natural Language versus Mental Representations

                   Michael Moortgat, (Leiden)
         Categorial Parsing and Implicational Deduction

                      Ray Turner, (Essex)
                   Polymorphism in Semantics

                 Johan van Benthem, (Amsterdam)
           Logical Semantics and the Theory of Types

                   Yorick Wilks, (New Mexico)
                 Form and Content in Semantics

                     Margaret King (Geneva)
        Computational Linguistics and Formal Semantics?

     Rod Johnson, Mike Rosner, CJ Rupp* (Lugano/*Manchester)
        Situation Schemata and Linguistic Representation

REGISTRATION

o  To receive application form: rosner@cui.unige.ch or
				..cernvax!unige!cui!rosner
   Further information: Sandra Manzi/Mike Rosner +41 22 20 93 33 ext. 2115
===================================================================