rosner@cui.unige.ch (Mike Rosner) (06/20/88)
Date: Fri, 17 Jun 88 11:12 EDT
From: Mike Rosner <rosner%cui.unige.ch@RELAY.CS.NET>
To: ailist@mc.lcs.mit.edu, denny%mcmi.uucp@RELAY.CS.NET, nl-kr@CS.ROCHESTER.EDU
Subject: COMPUTATATIONAL LINGUISTICS/FORMAL SEMANTICS WORKSHOP
****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
===================================================================
==================