[Prev][Next][Index]

CSLI Calendar, 23 May 1996, vol.11:28




   
         C S L I   C A L E N D A R   O F   P U B L I C   E V E N T S
______________________________________________________________________________

23 May 1996                      Stanford                      Vol. 11, No. 28
______________________________________________________________________________

      A weekly publication of the Center for the Study of Language and
Information (CSLI), Stanford University, Ventura Hall, Stanford, CA 94305-4115
                               ____________

                CSLI ACTIVITIES DURING 23 MAY -- 31 MAY 1996


THURSDAY, 23 MAY
        12:00 - CSLI CogLunch
                Cordura Hall, Room 100
                [Commentary: Guven Guzeldere]
                Indexicality and the Knowledge Argument
                John Perry, Stanford Philosophy
                [john@csli.stanford.edu]

         4:15 - SSP Forum
                Presentation Palace, Room 025 [NOTE ROOM CHANGE]
                SiliconBase: Networked Scholarly Workspaces for the
                History of High Technology       
                Tim Lenoir, Stanford History Department
                Abstract below

         7:30 - Stanford Phonology Workshop     
                Margaret Jacks Hall, Seminar Room 146
                Regular and Exceptional Stress in German
                Caroline Fery, University of Tuebingen
                Abstract below

FRIDAY, 24 MAY
        12:00 - Logic Seminar
                Building 380, Room 383-N
                Extensions of First Order Logic
                Maria Manzano [manzano@csli.stanford.edu]
                Abstract below

        12:30 - HCI Seminar
                Skilling Auditorium
                Play and Learning with Technology, Realities of the
                Marketplace 
                Ann McCormick, CAPS Mira Studio [ann@mirastudio.com]
                Abstract below

         1:00 - Philosophy Department One-Day Conference
                Tresidder Union, Oak West Lounge, 2nd Fl
                Evolution & Human Behavior
                Philip Kitcher (UCSD), Susan Oyama (CUNY), 
                and John Dupre (Stanford)

        1:15 -  Translation Seminar
                Ventura Hall, Room 17
                Multilingual Document Recognition
                Larry Spitz, Daimler Benz Research and Technology Center
                Abstract below

        3:30 -  Linguistic Department Colloquium
                Margaret Jacks Hall (460), Room 146
                Distribution of Objects in Urdu
                Miriam Butt (Universitaet Stuttgart
                [mutt@ims.uni-stuttgart.de]) and
                Tracy King (Stanford [thking@csli]) 
                Abstract below

TUESDAY, 28 MAY
         6:30 - SSP Film Series
                Cubberly Hall, Room 128
                Stranger in the Mirror [NOVA program about visual
                agnosia] (1993)

WEDNESDAY, 29 MAY
         4:15 - Seminar on Computational Learning and Probabilistic
                Reasoning 
                Gates Building, Room 104
                Recent Work on Probabilistic Methods in Learning
                Wray Buntine

THURSDAY, 30 MAY
        11:00 - Special Talk
                Ventura Hall, Room 17
                Metaphor and Lexical Semantics
                James Pustejovsky, Computer Science, Brandeis

FRIDAY, 31 MAY
        12:30 - HCI Seminar
                Skilling Auditorium
                The interactions design awards
                Lauralee Alben (Alben+Ferris), Harry Saddler (Apple),
                Terry Winograd (Stanford) [mail@albenfaris.com]

                               ____________

The CSLI Calendar appears weekly on Wednesdays throughout the academic year.
Announcements, abstracts, and other information to appear in the Calendar can
be submitted to [mailto:incalendar@csli.stanford.edu].

Information about CSLI's research program and past issues of the CSLI Calendar
are available at [http://www-csli.stanford.edu/csli/].  The CSLI Calendar is
also posted each week to [news://nntp-csli.stanford.edu/csli.bboard].

                               ____________

                         COGLUNCH SPRING SCHEDULE
                           Theme: Consciousness

The Thursday noon CogLunch series on consciousness will continue
through the Spring Quarter, starting in April.  Here is a tentative
schedule of speakers and titles of the talks:

   April 4: MARLEEN ROZEMOND (Philosophy, Stanford U.)
            "Descartes and Consciousness"
        11: TEED ROCKWELL (Berkeley, CA) 
            "Awareness, Mental Phenomena, and Consciousness:
             A Synthesis of Dennett and Rosenthal"
        18: ROGER SHEPARD (Psychology, Stanford U.)
            "My Experience, Your Experience, and the World We Experience"
        25: JOHN GABRIELI (Psychology, Stanford U.)
            "Consciousness as the Gatekeeper of Memory"
   May   2: BRIAN SMITH (Xerox PARC & Philosophy, Stanford U.)
            "Who's on Third?  The Physical Bases of Consciousness"
         9: BOB ZAJONC (Psychology, Stanford U.)
            "Unappraised Affect"
        16: MICHAEL CORNER (Netherlands Institute for Brain Research)
            "Prolegomena to Any Future Mind-Brain Synthesis, and
             a Theory About the Nature of Self-Consciousness: 
             Phenomenological and Physiological Constraints"
        23: JOHN PERRY [Commentary: G. Guzeldere]
            "Indexicality and the Knowledge Argument"

PLEASE NOTE: The last CogLunch talk of the Spring Quarter by Ken Taylor has
been cancelled (5/30).  CogLunch will conclude its 1995-96 program by John
Perry's talk on 5/23. 
                               ____________


         FIFTH CSLI WORKSHOP ON LOGIC, LANGUAGE, AND COMPUTATION
                            on 31 May - 2 June
                          Cordura Hall, Room 100

This annual event brings together philosophers, linguists, and computer
scientists with an interest in logic, with the overall aim of facilitating
interdisciplinary interaction.  The previous four installments have been
pleasant and productive, with a mix of participants from (mainly) California
and The Netherlands.  

The Workshop is organized by Johan van Benthem, Henriette de Swart, Rob van
Glabbeek, and Jean Braithwaite  

For information, contact (braith@csli.stanford.edu).
Webpage  http://www-csli.stanford.edu/users/kyle/llc5.html
------------------------------------------------------------------------------

WORKSHOP PROGRAM

Each talk will consist of 30 minutes of presentation followed by a  fifteen
minute question and discussion period. 

FRIDAY, MAY 31: COMPUTATION             CHAIR: GRIGORI MINTS

  9:00-9:15     Opening Remarks

  9:15-10:00    ALBERT VISSER
                Two faces of dynamic interpretation: Relations and
                partial information states 

 10:00-10:45    GERARD RENARDEL
                A Variant of Quantified Dynamic Logic

 10:45-11:00    Coffee Break

 11:00-11:45    ATOCHA ALISEDA
                Toward a Logic of Abduction

 11:45-12:30    NIR FRIEDMAN
                Plausibility Measures and Default Reasoning

 12:30-1:30     Lunch Break
 
II. LANGUAGE AND COMPUTATION            CHAIR: LIVIA POLANYI

  1:30-2:15     JAMES PUSTEJOVSKI
                The semantics of complex types

  2:15-3:00     VIJAY SARASWAT
                Linear concurrent constraint programming as a basis
                for semantic interpretation in LFG 

  3:00-3:15     Coffee Break
 
  3:15-4:00     WILLEM GROENEVELD
                Dynamic Epistemic Logic

  4:00-4:45     MARK GAWRON
                Questions and the Semantics of the English Universal
                Concessive Conditional  

SATURDAY, JUNE 1

III. LANGUAGE           CHAIR: TOM WASOW

  9:15-10:00    JACK HOEKSEMA
                Systems of negative concord

 10:00-10:45    DONKA FARKAS
                Distributed Indefinites

 10:45-11:00    Coffee Break

 11:00-11:45    YOOKYUNG KIM
                A Situation Semantic Account of Existential Sentences

 11:45-12:30    FRANS ZWARTS
                Determinants of scope and negation in the language of children
                and adults 

 12:30-1:30     Lunch Break

 IV. LANGUAGE AND LOGIC         CHAIR: ED ZALTA 

  1:30-2:15     JAAP VAN DER DOES
                Interpreting Nominal Anaphora by means of Scope Extension

  2:15-3:00     MANFRED KRIFKA
                Frameworks for the Representation of Focus

  3:00-3:15     Coffee Break

  3:15-4:00     JAN-TORE LOENNING
                Plural quantification, predication, and ontology
           
  4:00-4:45     MARTIN STOKHOF
                Objects and Concepts?  Perspectives in multi-speaker discourse

SUNDAY, JUNE 2

V. LOGIC                CHAIR: STEVE GIVANT
 
  9:15-10:00    ANTONIA HUERTAS & MARIA MANZANO 
                Partial and heterogeneous tools for building new logics

 10:00-10:45    MICHIEL VAN LAMBALGEN
                Local quantification, or poor man's probability

 10:45-11:00    Coffee Break

 11:00-11:45    MARTIN GROHE
                The Complexity of Logical Equivalence and Bisimulation

 11:45-12:30    KIT FINE
                Semantics for the Logic of Essence

 12:30-1:30     Lunch Break

VI. LOGIC AND COMPUTATION       CHAIR: JOSE MESEGUER

 1:30-2:15      NATARAJAN SHANKAR
                Model Checking and Theorem Proving in PVS

 2:15-3:00      HENNY SIPMA
                Deductive Modelchecking

 3:00-3:15      Coffee Break

 3:15-4:00      TOM COSTELLO
                Limit Circumscription
           
 4:00-4:45      VAUGHAN PRATT
                An Abstract Notion of Language

                               ____________

                            INTENSIONAL LOGIC
                           1:15 p.m., Room 550D

As usual, the final part of this course is devoted to presentations of special
topics from current research. 

   May 13: Modal Remodeling for Predicate Logic 1 
           (how to make first-order logic decidable by generalizing Tarski
           semantics) 
           JOHAN VAN BENTHEM

   May 15: Modal Remodeling for Predicate Logic 2
           (general consequences of this viewpoint)
           JOHAN VAN BENTHEM

   May 20: Dynamic Epistemic Logic
           (many-person updates in epistemic logic)
           Willem Groeneveld (Amsterdam)

   May 22: Modal Logic, Representation and Translation
           (analyzing modal logics via other, less or more, multi-purpose
           standard logics) 
           MARIA MANZANO (Barcelona)

   May 29: A Philosophical Conception of Modal Logic
           (a view of modal logic leading to strong intensional theories with
           both historic 
           (Leibniz, Frege) and systematical uses)
           ED ZALTA (Stanford)

LAST WEEK: There may be presentations by some Dutch visitors to the '5th CSLI
Workshop in Logic, Language and Computation', which will be announced
separately. 

To get further information concerning course contents, as well as reading
materials, please contact {johan, willem, manzano, zalta} @csli.stanford.edu,
respectively. 
                               ____________

                              CSLI COGLUNCH
                           on Thursday, 23 May
                    12:00 noon, Cordura Hall, Room 100
                      [Commentary: Guven Guzeldere]
                 Indexicality and the Knowledge Argument
                     John Perry, Stanford Philosophy
                         [john@csli.stanford.edu]

                               ____________

                                SSP FORUM
                           on Thursday, 23 May
       4:15 p.m., Presentation Palace, Room 025 (NOTE ROOM CHANGE)
                     SiliconBase: Networked Scholarly
             Workspaces for the History of High Technology      
                 Tim Lenoir, Stanford History Department
                       tlenoir@leland.stanford.edu

I will discuss the Stanford Information Technology and Society Project and
our goals of constructing a digital library and networked scholarly
workspace to enable collaborate research projects and distance learning on
topics related to SiliconValley and the history of high technology. A live
demo of our progress to date and description of current work in progress
will serve as a basis for discussing the future of  scholarly practices.

                               ____________

                       STANFORD PHONOLOGY WORKSHOP
                           on Thursday, 23 May
             7:30 p.m., Margaret Jacks Hall, Seminar Room 146
                 Regular and Exceptional Stress in German
                              Caroline Fery
                         University of Tuebingen

Optimality Theory has shed a new light on the problem of the best
treatment of exceptional stress, as exemplified by the work of Sharon
Inkelas, Mike Hammond and John McCarthy. In traditional metrical
phonology, exceptional stress is really exceptional in the sense that
it is not accounted for by the stress assignment rules of the
language. Hayes (1995) makes a distinction between predictable or
fixed stress patterns as opposed to unpredictable, or free or
lexically listed stress. But he says that this distinction is a blurry
one, because languages can have additional conditions restricting
stress position. These additional conditions are particularly
interesting, because they can be stated as violable constraints in the
OT framework.  The guiding idea of my talk will be that one stress
pattern (the moraic trochee) is unmarked in German; other patterns are
more or less deviant from this regular one (antepenultimate stress and
final stress on a light syllable).

                               ____________

                              LOGIC SEMINAR
                            on Friday, 24 May
                    12 noon, Building 380, Room 383-N
                     Extensions of First Order Logic
                              Maria Manzano
                       [manzano@csli.stanford.edu]

Several extensions of first order logic are going to be considered
while trying to pursue the thesis that most reasonable logical systems
can be naturally translated into many-sorted first order logic. 
I will credit most of the ideas involved in my current presentation to
Henkin's paper "Completeness in the theory of types" of 1950 and " Banishing
the rule of substitution for functional variables" of 1953.

                               ____________

                  SEMINAR ON HUMAN-COMPUTER INTERACTION
                            on Friday, 24 May
                     12:30 p.m., Skilling Auditorium
               Play and Learning with Technology, Realities
                            of the Marketplace
                              Ann McCormick
                             CAPS Mira Studio
                           [ann@mirastudio.com]

What makes software fun?  What makes powerful learning?  How much "edge" do
parents want in kid's software?  Ann McCormick will discuss her perspective
as a children's software designer with marketing responsibilities.  She
will show a concept demo of a multimedia reading program for urban
illiterate teens and describe changes that came about in preparing it for
market.
                               ____________

                 PHILOSOPHY DEPARTMENT ONE-DAY CONFERENCE
                        Evolution & Human Behavior
                            on Friday, 24 May
                  1:00 p.m. to 6:00 p.m.Tresidder Union
                         Oak West Lounge, 2nd Fl


     SPEAKERS:

        States of Nature: Evolution, Altruism, and Morality 
        PHILIP KITCHER (UC San Diego)

        Politics of the Boundary
        Susan Oyama (CUNY)

        What the Theory of Evolution Can't Tell Us 
        JOHN DUPRE (Stanford University)

                               ____________

                           TRANSLATION SEMINAR
                            on Friday, 24 May
                     1:15 p.m., Ventura Hall, Room 17
                    Multilingual Document Recognition
                               Larry Spitz
               Daimler Benz Research and Technology Center

As world trade barriers fall and we are increasingly exposed to documents
in languages in which we may not be fluent. Central to solving the problems
is the process of determining which language a document contains. Knowledge
of the language content of the document has important implications to the
further processing of the document, whether this processing is OCR, filing 
and retrieval, or machine translation.
 
Language identification is done from the image but without character
recognition. The set of possible languages currently includes 27 languages 
ranging from English, French and German to Japanese, Chinese and
Korean. The technique involves the analysis of the spatial relationships
between fiducial points in the text image to determine which of two broad
script classes are present: Han or Latin.
 
Within the Han script class, language identification is determined on the
basis of an optical density distribution analysis. Within the Latin
script class, language identification is performed by simple character
shape classification. These shape codes are aggregated into word shape
tokens and language determination is accomplished. 

                               ____________

                    LINGUISTICS DEPARTMENT COLLOQUIUM
                            on Friday, 24 May
              3:30 p.m., Margaret Jacks Hall (460), Room 146
                     Distribution of Objects in Urdu
                   Miriam Butt and Tracy Holloway King
                   University of Stuttgart and Stanford

In an examination of the interaction between object positions,
(morphological) case marking, and discourse functions in both Urdu and
Turkish we determined in previous work (Butt and King 1995) that the
interaction between immediately preverbal focus and the distribution
of objects must distinguish between two differing types of objects. To
this end, we adopted a version of the structural and semantic
distinction between Strong and Weak objects first proposed by de Hoop
(1992).

The data to be accounted for are essentially as follows. Urdu allows
direct objects to surface with two kinds of morphological case:
nominative (unmarked) and accusative ("-ko"). This difference in
morphological marking correlates with a difference in interpretation:
accusative objects must be interpreted as specific, nominative objects
need not be. This is reminiscent of a similar pattern in Turkish (Enc
1991). Furthermore, nominative objects can only be interpreted as
nonspecific in the immediately preverbal position. When scrambled,
they must be interpreted as specific. This pattern was first noted by
T. Mohanan (1993) for Hindi and is again reminiscent of Turkish where
"bare" NPs cannot usually appear in any position other than the
immediately preverbal one (Kornfilt 1995). In addition, focus is also
situated in the immediately preverbal position in both Urdu and
Turkish, thus leading to a seeming conflict of interest with regard to
this position.

In this talk, we present the interaction between topic, background,
immediately preverbal focus, and objects for Urdu, and then
concentrate on examining the distribution of the two differing types
of objects in Urdu from a linking perspective. In particular, we
propose to inform the linking theory of LFG through a different
semantic perspective, thus allowing for a linking rather than a
structural account of the distinction between Strong and Weak
objects.
                               ____________

                             SSP FILM SERIES
                            on Tuesday, 28 May
                    6:30 p.m., Cubberly Hall, Room 128
                  Stranger in the Mirror [NOVA program 
                       about visual agnosia] (1993)

                               ____________

            SEMINAR ON COMPUTATION LEARNING AND PROBABILISTIC 
                                REASONING 
                           on Wednesday, 29 May
                   4:15 p.m., Gates Building, Room 104
             Recent Work on Probabilistic Methods in Learning
                               Wray Buntine

                               ____________

                               SPECIAL TALK
                           on Thursday, 30 May
                    11:00 a.m., Ventura Hall, Room 17
                      Metaphor and Lexical Semantics
                            James Pustejovsky
                        Computer Science, Brandeis

                               ____________

                  SEMINAR ON HUMAN-COMPUTER INTERACTION
                            on Friday, 31 May
                     12:30 p.m., Skilling Auditorium
                      The interactions design awards
          Lauralee Alben (Alben+Ferris), Harry Saddler (Apple),
             Terry Winograd (Stanford) [mail@albenfaris.com]

                               ____________