8.787, Confs: Terminology, Logic (LLC6)
linguist at linguistlist.org
linguist at linguistlist.org
Sun May 25 01:26:25 UTC 1997
LINGUIST List: Vol-8-787. Sat May 24 1997. ISSN: 1068-4875.
Subject: 8.787, Confs: Terminology, Logic (LLC6)
Moderators: Anthony Rodrigues Aristar: Texas A&M U. <aristar at linguistlist.org>
Helen Dry: Eastern Michigan U. <hdry at linguistlist.org>
T. Daniel Seely: Eastern Michigan U. <seely at linguistlist.org>
Review Editor: Andrew Carnie <carnie at linguistlist.org>
Associate Editors: Ljuba Veselinova <ljuba at linguistlist.org>
Ann Dizdar <ann at linguistlist.org>
Assistant Editor: Sue Robinson <sue at linguistlist.org>
Software development: John H. Remmers <remmers at emunix.emich.edu>
Zhiping Zheng <zzheng at online.emich.edu>
Home Page: http://linguistlist.org/
Editor for this issue: Ann Dizdar <ann at linguistlist.org>
==========================================================================
We'd appreciate your limiting conference announcements to 150 lines,
so that we can post more than 1 per issue. Please consider omitting
information useful only to attendees, such as information on housing,
transportation, or rooms and times of sessions. Please do not use
abbreviations or acronyms for your conference unless you explain
them in your text. Many people outside your area of specialization
will not recognize them. Thank you for your cooperation.
=================================Directory=================================
1)
Date: Fri, 23 May 1997 12:31:28 +0200
From: "UZEI" <euskalterm at sarenet.es>
Subject: Int. Congress on Terminology - Nov. 1997
2)
Date: Wed, 21 May 1997 14:10:31 -0700 (PDT)
From: Martina Faller <faller at csli.Stanford.EDU>
Subject: LLC6 Workshop Announcement
-------------------------------- Message 1 -------------------------------
Date: Fri, 23 May 1997 12:31:28 +0200
From: "UZEI" <euskalterm at sarenet.es>
Subject: Int. Congress on Terminology - Nov. 1997
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: euskalterm at sarenet.es
-------------------------------- Message 2 -------------------------------
Date: Wed, 21 May 1997 14:10:31 -0700 (PDT)
From: Martina Faller <faller at csli.Stanford.EDU>
Subject: LLC6 Workshop Announcement
- --------------------------------------------------------------------------
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 (faller at csli.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
---------------------------------------------------------------------------
LINGUIST List: Vol-8-787
More information about the LINGUIST
mailing list