precoling symposium computational semantic precoling nd july p m symposium computational semantics sponsor european foundation logic language information support commission european community dg xiii recent development both theoretical computational semantics suggest real possibility explore high level computational technique deal mean natural language inform semantic theory restrict particular theoretical approach e g quantifier scop algorithm semantic operator kind propose johnson kay symposium attempt explore relationship between current work theoretical computational semantics paper present researcher both theoretical computational semantics ample discussion floor invite speaker hiyan alshawus sri cambridge johan van benthem university amsterdam confirm robin cooper university edinburgh han kamp stuttgart university remko scha university amsterdam han uszkoreit comput ling univ saarbruecken saarbruecken frg uszkoreit coli unisb de phone fax 