LINGUIST List 8.787

Sat May 24 1997

Confs: Terminology, Logic (LLC6)

Editor for this issue: Ann Dizdar <annlinguistlist.org>

Directory

1. UZEI, Int. Congress on Terminology - Nov. 1997
2. Martina Faller, LLC6 Workshop Announcement

Dear Subscribers,

Thanks for the welcome offered to our Congress invitation. We are able
now to post the final programme and remember that the last day to
send the abstracts is the 30th of May.

Regards.


November 12, Wednesday

09:00 - 09:45	Welcome and inscription
09:45 - 10:15	Inauguration
10:15 - 11:30	M. Teresa CABR (IULA-Barcelona): Outlook on 
the present-day Terminology
11:30 - 12:00	Coffee-break
12:00 - 13:15	Christian GALINSKI (TermNet-Infoterm): International 
European Infrastructure of Terminology

15:30 - 16:45	Ibon SARASOLA (Euskaltzaindia-Academy of the 
Basque Language): Basque lexicography and Terminology
16:45 - 	Papers

November 13, Thursday

09:00 - 10:15	European Commission: Terminology and translation
10:15 - 11:30	Mertxe OLAIZOLA (HAEE-IVAP Translation Official 
Service): Administration Terminology and specialised texts' writing
11:30 - 12:00	Coffee-break
12:00 - 13:15	Klaus-Dirk SCHMITZ (TermNet): Terminology Interchange 
using MARTIF

15:30 - 16:45	Miel LOINAZ (UZEI-Basque Centre for Terminology 
and Lexicography): Terminology data banks. Design and management 
of EUSKALTERM.
16:45 - 	Papers

November 14, Friday

09:00 - 10:15	Office de la Langue Francaise (Canada): 
Terminology and normalisation
10:15 - 11:30	Johan MYKING (Norway): Standardization and 
language planning of Terminology: the Norwegian experience
11:30 - 12:00	Coffee-break
12:00 - 13:15	Miren AZKARATE (EHU-UPV-University of the Basque 
Country): Present situation of the Basque Terminology
13:15-14:30	Round-table conference: Lesser-used languages 
and Terminology
14:30 - 	Closing


 UZEI
 Aldapeta 20, 20009 Donostia
 Tel: 943-473377
 Fax: 943-457944
 e-mail: euskaltermsarenet.es

- --------------------------------------------------------------------------
 THE SIXTH CSLI WORKSHOP ON LOGIC, LANGUAGE, AND COMPUTATION
- --------------------------------------------------------------------------

Dates: May 30-June 1 1997
Location: Cordura Hall Conference Room, Stanford University

This workshop brings together scholars having an interest in
logic - philosophers, linguists and computer scientists - with the
overall aim of facilitating interdisciplinary interaction.

It is organized by Johan van Benthem, Henriette de Swart
Grigori Mints, Rob van Glabbeek, and Martina Faller.

This year's program reflects the usual lively mix of topics and
interests that CSLI was designed to bring together. It includes
recent developments in dynamic processing of linguistic and
non-linguistic information, as well as key techniques from
mathematical logic that underlie both formal proof and computation.
The mix also includes contributions by established researchers and by
newcomers to the field, in line with a long-standing tradition.
Finally, some contributions this year reflect the growing interactions
with a broader world, witness talks on logic teaching, as well as
presentations by representatives of industry and high performance
computing. We hope to broaden our 'circle of debate'.


See the LLC6 webpage for more information on speakers, abstracts and
schedule: http://www-linguistics.stanford.edu/Linguistics/llc6

or contact (fallercsli.stanford.edu).


- ----------------------------------------------------------------
 PROGRAM
- ----------------------------------------------------------------

Friday, May 30

Morning I. Logic
 Chair: John Mitchell (Stanford University)

9:00-9:15 Opening Remarks

9:15-10:00 Sergei Artemov (Moscow University and Cornell University)
 "Proof Realizations of Typed Lambda-Calculi"

10:00-10:45 Samuel Buss (UC San Diego)
 "Interpolation, Arithmetic and Cryptography"

10:45-11:00 Coffee Break

11:00-11:45 Yde Venema (University of Amsterdam)
 "A Diamond for a Better World"

11:45-12:30 Steven Givant (Mills College)
 "Decision Problems for Relation Algebras"

12.30-1.30 Lunch Break

Afternoon II. Logic and Computation
 Chair: Aldo Antonelli (Stanford University)

1:30-2:15 Marco Hollenberg (Utrecht University and CSLI)
 "Equationnal Axioms of Test Algebra"

2:15-3:00 Anna Patterson
 (U of Illinois Champaign-Urbana & Stanford)
 "Linear Logic Through Constructible Falsity"

3:00-3:15 Coffee Break

3:15-4:00 Jelle Gerbrandy (ILLC Amsterdam and CSLI)
 "Dynamic Epistemic Semantics"

4:00-4:45 Grigori Tseytin
 (St. Petersburg State U & IBM Almaden Research Center)
 "Some Progress after the Abandonment of Logicism".

4:45-5:00 Coffee Break

5:00-5:45 Solomon Feferman (Stanford University)
 "What is a Logical Operation?
 (according to Tarski, McGee and me)"

 ------------------------------------------------

Saturday, May 31

Morning III. Language and Computation
 Chair: Megumi Kameyama (SRI)

9:15-10:00 Jerry Hobbs (SRI)
 "A General Theory of Parallelism and the Special Case
 of VP Ellipsis

10:00-10:45 John Nerbonne (University of Groningen)
 "Constraint-Based Scope"

10:45-11:00 Coffee Break

11:00-11:45 Luca De Alfaro (Stanford University)
 "Abstractions and Diagram Transformations"

11:45-12:30 Scotto di Luzio
 "Patching Up a Logic of Venn Diagrams"

12:30-1:30 Lunch Break

Afternoon IV. Computation
 Chair: Yoav Shoham (Stanford University)

1:30-2:15 Pieter Adriaans (Syllogic)
 "Language Learning from a Categorial Perspective"

2:15-3:00 Bob Hertzberger (University of Amsterdam)
 "Developments in Computational Science"

3:00-3:15 Coffee Break

3:15-4:00 Rick Sommer (Stanford University)
 "Interactive Theorem Proving in Teaching Geometry"

4:00-4:45 John McCarthy (Stanford University)
 "Ontologies for AI"

6:00-7:00 Dinner

Evening Guest chair: Grisha Mints (Stanford University)

7:00-8:00 Anita Feferman (Stanoford)
 "The Saga of Alfred Tarski: From Warsaw to Berkeley"

8:00 Party

 ------------------------------------------------

Sunday, June 1

Morning V. Language
 Chair: Mary Dalrymple (Xerox Parc)

9:15-10:00 Almerindo Ojeda (UC Davis)
 "The Plurality of Plurals"

10:00-10:45 Andreas Kathol (UC Berkeley)
 "Linear Constructions"

10:45-11:00 Coffee Break

11:00-11:45 John Fry (Stanford University)
 "Constraining Quantifier Scope in LFG `Glue Language'
 Semantics"

11:45-12:30 Ann Copestake (CSLI)
 "Reconciling Radicalism and Conventionality:
 English Compound Nouns"

12:30-1:30 Lunch Break

Afternoon VI. Logic and Language
 Chair: Donka Farkas (UC Santa Cruz)

1:30-2:15 Klaus von Heusinger
 (University of Konstanz and UC Santa Cruz)
 "Anaphora, Antecedents, and Accessibility"

2:15-3:00 Kees Vermeulen (University of Utrecht)
 "Variables as Stacks: a Case Study in Dynamic Semantics"

3:00-3:15 Coffee Break

3:15-4:00 Thomas Hofweber (Stanford University)
 "Inferential Role and Domain Conditions"

4:00-4:45 Edward Keenan and Edward Stabler (UC Los Angeles)
 "On Grammatical Constants and their Semantic Interpretation"

4:45 Closing Remarks