FYI Informal Computing Workshop Program

[Jon Shultis]

                   Workshop on Informal Computing

                           29-31 May 1991
                       Santa Cruz, California

                              Program


Wednesday 29 May   Conversational Computing and Adaptive Languages

    8:15 Opening Remarks, 
      	    Jon Shultis, Incremental Systems
    8:30 Natural Language Techniques in Formal Languages,
      	    David Mundie, Incremental Systems
    9:30 Building and Exploiting a User Model In Natural Language Information
      	 Systems,
	    Sandra Carberry, University of Delaware 
   10:30 Break
   10:45 Informalism in Interfaces,
      	    Larry Reeker, Institutes for Defense Analyses 
   11:45 Natural Language Programming in Solving Problems of Search,
      	    Alan Biermann, Duke University 
   12:30 Lunch
   13:45 Linguistic Structure from a Cognitive Grammar Perspective,
      	    Karen van Hoek, University of California at San Diego
   14:45 Notational Formalisms, Computational Mechanisms:  Models or Metaphors?
      	 A Linguistic Perspective,
	    Catherine Harris, University of California at San Diego
   15:45 Break
   16:00 Discussion
   18:00 Break for dinner


Thursday 30 May   Informal Knowledge and Reasoning
    8:15 What is Informalism?,
      	    David Fisher, Incremental Systems
    9:15 Reaction in Real-Time Decision Making,
      	    Bruce D'Ambrosio, Oregon State University
   10:15 Break
   10:30 Decision Making with Informal, Plausible Reasoning,
      	    David Littman, George Mason University
   11:15 Title to be announced,
      	    Tim Standish, University of California at Irvine
   12:15 Lunch
   13:30 Intensional Logic and the Metaphysics of Intensionality,
      	    Edward Zalta, Stanford University
   14:30 Connecting Object to Symbol in Modeling Cognition,
      	    Stevan Harnad, Princeton University
   15:30 Break
   15:45 Discussion
   17:45 Break
   19:00 Banquet

   
Friday 31 May   Modeling and Interpretation

    8:15 A Model of Modeling Based on Reference, Purpose and
      	 Cost-effectiveness,
      	    Jeff Rothenberg, RAND 
    9:15 Mathematical Modeling of Digital Systems,
      	    Donald Good, Computational Logic, Inc.
   10:15 Break
   10:30 Ideographs, Epistemic Types, and Interpretive Semantics,
      	    Jon Shultis, Incremental Systems
   11:30 Discussion
   12:30 Lunch and End of the Workshop
   13:45 Steering Committee Meeting for Informalism '92 Conference,
      	    all interested participants are invited.