CSLI (Center For The Study Of Language
And Information)
CSLI Menu (Current Page: Events) Archive of CSLI Calendars pointers to events in the bay area Stanford Events Calendar Coglunch Current CSLI Calendar CSLI Events information about CSLI CSLI people CSLI industrial affiliates publications research home
[Date Prev][Date Next][Date Index]

CSLI Calendar, Wednesday, 16 April 2003, vol. 18:29




                    CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________

16 April 2003                   Stanford               Vol. 18, No. 29
______________________________________________________________________

                     A weekly publication of the
       Center for the Study of Language and Information (CSLI)
      Stanford University, Ventura Hall, Stanford, CA 94305-4115
                    http://www-csli.stanford.edu/
                             ____________

            ACTIVITIES FROM 16 APRIL 2003 TO 25 APRIL 2003

WEDNESDAY, 16 APRIL 2003
 3:00pm Reuters Foundation Digital Vision Program Seminar
        email for location mailto:digitalvision@csli.stanford.edu
        Gabriela Villarreal
        Monterrey, Mexico
        http://reuters.stanford.edu/seminar_speakers.html

 4:00pm UC Berkeley Psychology Colloquium
        Tolman Hall (UC Berkeley)
        "Nature and Development of Representations in Prefrontal Cortex"
        Jonathen Cohen
        Princeton University
        http://psychology.berkeley.edu/admin/colloquia.html

 4:15pm Kant Lecture
        Bldg. 260:113
        "Plato and Aristotle on Finality and (Self-)Sufficiency"
        John Cooper
        Princeton
        http://www-philosophy.stanford.edu/ce.html

 4:15pm EE380: Computer Systems Lab Colloquium
        Gates B03 (NEC Auditorium)
        "Innovation and Conformity in a Microsoft World"
        Douglas Crockford
        Faceless Corporation
        http://ee380.stanford.edu/contents.html

 7:30pm Engineering in Medicine and Biology Society
        Stanford Medical School, Room M114
        "Nanomechanics in the cochlea: how the inner ear works
        and what happens when it doesn't"
        Dr. John S. Oghalai
        Department of Otolaryngology, Head and Neck Surgery
        University of California, San Francisco

THURSDAY, 17 APRIL 2003
12 noon Electrical Engineering Lecture
        Packard 101
        "Masers, Lasers, and Stanford University:
        Looking Back Over Their Entangled Histories"
        Anthony E. Siegman
        McMurtry Professor of Engineering, Emeritus

 4:00pm Personality Seminar
        Jordan Hall 420:100
        "Shifting selves: The relational self in self-regulation"
        Helen Boucher
        UC Berkeley
        http://www-psych.stanford.edu/news.html#person_lab

 4:00pm PARC Forum
        George Pake Auditorium at PARC
        "The Fascinating Physics and Applications of
        Hydrogen in Materials"
        Chris G. Van de Walle
        Electronic Materials Laboratory, PARC
        http://www.parc.com/forum/

 4:15pm SSP10: Symbolic Systems Forum
        Bldg. 380:380C (Math Corner)
        "Eskimo Snow Vocabulary: The Rest of the Story"
        Geoffrey K. Pullum
        Linguistics, UC Santa Cruz
        http://ling.ucsc.edu/~pullum/
        http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
        Abstract below

 4:15pm Computer Science Seminar
        Packard 101
        "Selfish Routing and the Price of Anarchy"
        Tim Roughgarden
        Cornell University
        Abstract below

 4:15pm Kant Lecture
        Bldg. 260:113
        "Stoic Autonomy"
        John Cooper
        Princeton
        http://www-philosophy.stanford.edu/ce.html

 4:15pm US-Asia Technology Management Seminar
        Terman Auditorium
        "Optical Interconnects to Silicon Chips"
        Hugo Thienpont
        Laboratory of Photonics, Vrije Universiteit Brussel
        http://asia.stanford.edu/events/Spring03/index.html

FRIDAY, 18 APRIL 2003
11:00am Berkeley Institute of Cognitive and Brain Seminar
        Tolman 5101 (UC Berkeley)
        "The Functional Organization of the Human Ventral Stream and
        its Relationship to Object Recognition"
        Kalanit Grill
        Psychology, Stanford University
        http://socrates.berkeley.edu:4247/seminar.html

12 noon Logical Methods in the Humanities
        Bldg. 380:383N (math corner)
        "Modal Logics for Product Topologies"
        Darko Sarenac
        Stanford
        http://www-logic.stanford.edu/seminars.html
        Abstract below

12:30pm CS547: Human-Computer Interaction Seminar
        Gates B01
        "Web Search Engines: Algorithms and User Interfaces"
        Bay Chang and Krishna Bharat
        Google
        http://www-pcd.stanford.edu/cs547/
        Abstract below

 3:15pm Kant Lecture Seminar
        Bldg. 200:107
        John Cooper
        Princeton
        http://www-philosophy.stanford.edu/ce.html

 3:15pm CS545G: Genome Database Seminar
        Braun Auditorium
        "The Encyclopedia of Life Project"
        Phil Bourne
        San Diego Supercomputer Center
        http://eol.sdsc.edu
        http://www-db.stanford.edu/pub/gio/CS545/CS545Gspring2003/
        Abstract below

 3:30pm Semantics and Pragmatics Workshop
        Margaret Jacks Hall 460:126
        Title to be announced
        Stanley Peters
        Linguistics, Stanford
        http://www-linguistics.stanford.edu/semgroup/

SATURDAY, 19 APRIL 2003
 8:00pm Multilingual Solo Vocal Recital
        Campbell Recital Hall, Braun Music Center
        "Songs by Mozart, Schubert, Liszt, Libby Larsen,
        and Rachmaninov"
        Elyse Nakajima
        Linguistics and Music, Stanford

MONDAY, 21 APRIL 2003
 2:00pm Berkeley International Computer Science Institute
        ICSI, Rm 607 (UC Berkeley)
        "Speech and Language Technologies in Mac OS X"
        Dr. Kim Silverman
        Apple Computer
        http://www.icsi.berkeley.edu/talks/
        Abstract below

 4:15pm Broad Area Colloquium in AI,
        Geometry, Graphics, Robotics, and Vision
        TCSeq 201
        Title to be announced
        David Kirk
        Nvidia
        http://robotics.stanford.edu/ba-colloquium/

TUESDAY, 22 APRIL 2003
 2:45pm CS548: Internet and Distributed Systems Seminar
        Gates B03
        "NesC: A Component-Oriented Language for Networked Embedded Systems"
        Matt Welsh
        Harvard University and Intel Research Berkeley
        http://cs548.stanford.edu/schedule.shtml

 4:15pm Logic Seminar
        Bldg. 380:381T (math corner)
        "Rational Dynamics: Game-theoretic Equilibria as
        Logical Fixed-points of Repeated Announcements"
        Johan van Benthem
        Amsterdam & Stanford
        http://www-logic.stanford.edu/seminars.html
        Abstract below

 4:15pm SNRC Industry Seminar
        Gates B01  * SPECIAL LOCATION *
        "Evolution of Modern Civil Communications Security"
        Dr. James Spilker, Jr.
        Stanford
        http://snrc.stanford.edu/events/industry-seminar/
        Abstract below

 4:15pm Engineering 200: Research Universities:  Stanford, A Case Study
        Jordan 420:040
        "Grantsmanship and Research Funding"
        Richard Zare
        http://www.stanford.edu/dept/DoR/101.html

WEDNESDAY, 23 APRIL 2003
12 noon UC Berkeley Institute of Personality and Social Research Colloquium
        5101 Tolman (Berkeley)
        "The Warm Glow Heuristic: When Liking Leads to Familiarity"
        Benoit Monin
        Psychology, Stanford University
        http://psychology.berkeley.edu/admin/colloquia.html

 3:00pm Reuters Foundation Digital Vision Program Seminar
        email for location mailto:digitalvision@csli.stanford.edu
        Beau Takahara
        Director and CEO of ZeroOne - The Art and Technology Network, Palo Alto
        http://reuters.stanford.edu/seminar_speakers.html

 3:45pm Psychology Department Colloquium
        Jordan Hall 420:041
        "Gender Nonconformity and Sexual Orientation"
        Michael Bailey
        Northwestern University
        http://www-psych.stanford.edu/news.html

 4:00pm UC Berkeley Psychology Colloquium
        2040 Valley Life Sciences Building (Berkeley)
        Title to be announced
        Sue Mineka
        Northwestern University
        http://psychology.berkeley.edu/admin/colloquia.html

 4:15pm EE380: Computer Systems Lab Colloquium
        Gates B03 (NEC Auditorium)
        To be announced
        http://ee380.stanford.edu/contents.html

THURSDAY, 24 APRIL 2003
12 noon RNI/Stanford Seminar on Theoretical Neuroscience
        Arrillaga Alumni Center/Fisher, 326 Galvez St.
        "Top-down and Bottom-up Models of Selective Visual Attention"
        Christof Koch
        California Institute of Technology
        http://www.klab.caltech.edu
        http://www.rni.org/seminar.html
        Abstract below

12:15pm CSLI CogLunch
        Ventura 17  * SPECIAL LOCATION *
        "A (Slightly) Different Account of Folk Psychology"
        Peter Godfrey-Smith
        Philosophy, Stanford
        http://www-csli.stanford.edu/events/Coglunch/

 4:00pm Personality Seminar
        Jordan Hall 420:100
        Title to be announced
        Ying Wong, Anda Gershon
        Stanford
        http://www-psych.stanford.edu/news.html#person_lab

 4:00pm UC Berkeley CIS Seminar
        Soda Hall 380 (UC Berkeley)
        Title to be announced
        Brian Wandell
        Stanford University
        http://www.cs.berkeley.edu/~eyal/cis-seminar

 4:15pm SSP10: Symbolic Systems Forum
        Bldg. 380:380C (Math Corner)
        "Bigger than Chaos: Understanding Complex Systems
        Using Probability"
        Michael Strevens
        Philosophy, Stanford
        http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events

 4:15pm US-Asia Technology Management Seminar
        Terman Auditorium
        "The Era of the First Foray of Dense Parallel Optical
        Communication into the Commercial Arena - a Technology
        Perspective"
        Keith Goosen,
        Electrical & Computer Engineering
        University of Delaware
        http://asia.stanford.edu/events/Spring03/index.html

FRIDAY, 25 APRIL 2003
11:00am Berkeley Institute of Cognitive and Brain Seminar
        Tolman 5101 (Berkeley)
        "From transient patterns to persistent structures:
        Episodic memory formation via cortico - hippocampal interactions"
        Lokendra Shastri
        International Computer Science Institute, Berkeley
        http://socrates.berkeley.edu:4247/seminar.html

12 noon Logical Methods in the Humanities
        Bldg. 380:383N (math corner)
        "Is the Euclidean algorithm optimal among its peers?"
        Yiannis N. Moschovakis
        UCLA and University of Athens
        http://www-logic.stanford.edu/seminars.html
        Abstract below

12:30pm CS547: Human-Computer Interaction Seminar
        Gates B01
        To be announced
        http://www-pcd.stanford.edu/cs547/

12:30pm UC Berkeley Database Seminar
        606 Soda Hall, Berkeley
        "The BINGO! System for Expert Web Search and Information
        Portal Generation"
        Gerhard Weikum
        University of the Saarland, Saarbruecken, Germany
        http://buffy.eecs.berkeley.edu/Seminars/
                             ____________

Stanford Blood Center status: Shortage of O+, O-, and AB-.  For an
appointment: http://bloodcenter.stanford.edu/ or call 650-723-7831.
It only takes an hour of your time.
                             ____________

                    SSP10: SYMBOLIC SYSTEMS FORUM
                  on Thursday, 17 April 2003, 4:15pm
                     Bldg. 380:380C (Math Corner)
    http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events

           "Eskimo Snow Vocabulary: The Rest of the Story"
                          Geoffrey K. Pullum
                      Linguistics, UC Santa Cruz
                    http://ling.ucsc.edu/~pullum/

Almost every educated person has read or heard somewhere or other that
"the Eskimos" have X many words for snow, for some fascinatingly large
value of X, and that this is meant to be significant in some way for
something or other about language, cognition, perception, world view,
culture, categorization, primitive peoples...  But the weird thing is
that everyone who publishes this claim gives a different value for X!
In this talk I reveal the astonishing range over which the myth has
spread, and make a suggestion concerning why its central idea is so
seductive (it relates to both the Sapir-Whorf hypothesis and what I
call the Big Bag o' Words Fallacy).  I then proceed to do what has
never been done by any of the people who repeat the myth, or even the
people who rebut it: I look at the actual facts from a couple of the
eight Yupik and Inuit languages, and consider the question of what we
can learn from the grains of truth that are buried under the myth and
legend that has become so familiar to journalists and the general
public.
                             ____________

                       COMPUTER SCIENCE SEMINAR
             on Thursday, 17 April 2003, 4:15pm - 5:15pm
                             Packard 101

              "Selfish Routing and the Price of Anarchy"
                           Tim Roughgarden
                          Cornell University

A recent trend in algorithm design is the study of game-theoretic
environments, in which individual agents act according to their own
independent and conflicting interests.  The well-studied objective of
routing traffic in a network to achieve the best possible network
performance has emerged as a central problem in this area.

In large networks, it can be difficult or even impossible to impose
optimal routing strategies on network traffic.  On the other hand,
permitting network users to act according to their own competing
interests precludes any type of global optimality, and therefore
carries the cost of decreased network performance.  This inefficiency
of noncooperative behavior is well known, and is most (in)famously
illustrated in classical game theory by "The Prisoner's Dilemma" and
in network routing by the counterintuitive "Braess's Paradox."

In this talk, I will discuss methods for quantifying the
worst-possible loss in network performance arising from such
noncooperative behavior -- the "price of anarchy."  I will also
briefly touch on methods for improving the noncooperative solution,
including network design and edge pricing.

About the speaker:  Tim Roughgarden is a post-doc with Cornell's
Department of Computer Science working with Professor Eva Tardos.
Tim's research interests include algorithms, network and combinatorial
optimization, and game theory.
                             ____________

                  LOGICAL METHODS IN THE HUMANITIES
             on Friday, 18 April 2003, 12 noon - 1:15 pm
                         Math Corner 380:383N
             http://www-logic.stanford.edu/seminars.html

                "Modal Logics for Product Topologies"
                            Darko Sarenac
                               Stanford

Arguably the most basic logic for spatial reasoning is S4 interpreted
over topological spaces.  Our primary goal in this paper is to study a
minimal augmentation of this logic.  We will study multimodal
languages of products of topologies where the modality of each
component of the product is preserved into the product.  This work
generalizes some of the results of D.M. Gabbay and V.B. Shehtman on
products of modal logics to the topological setting.

Thus in the most general case, each component modality will have S4 as
a complete axiomatization.  The interesting question, of course, is
how the modalities of various dimensions interact.  The expansion of
the language enables us to `track dimensions' in the product and this
in turn will add some expressive power to the language.

This represents work done jointly with Johan van Benthem and Guram
Bezhanishvili.
                             ____________

              CS547: HUMAN-COMPUTER INTERACTION SEMINAR
                on Friday, 18 April 2003, 12:30-2:00pm
                              Gates B01
                  http://www-pcd.stanford.edu/cs547/

         "Web Search Engines: Algorithms and User Interfaces"
                     Bay Chang and Krishna Bharat
                                Google

Search engines are one of the most familiar sights on the World Wide
Web.  As the web keeps getting larger and more unmanageable, search
engines and directories become more valuable in helping people get
where they want to go.  Text retrieval systems, once the domain of
librarians, have now moved onto the desktop, and are starting to be
used on PDAs and cell phones as well.

This talk is an introduction to the user interface issues associated
with search on the web.  We first introduce the architecture and
algorithms of modern search engines.  With this background, we will
discuss prior work in user interface design for search engine
front-ends and client-side search tools and opportunities for
interface innovation.  We will discuss the differences between web
search and traditional information retrieval in terms of audience,
scope, and technologies

About the speakers:  Krishna Bharat is a Senior Research Scientist at
Google Inc.  He was previously at DEC/Compaq Systems Research Center,
where he worked on interfaces and algorithms for web information
retrieval.  He received his Ph.D. from the GVU Center, Georgia Tech in
1996, where he worked on algorithm and infrastructure support for
building distributed GUI applications.

Bay-Wei Chang is a Senior Research Scientist at Google Inc.  He was
previously at Xerox PARC, where his research revolved around user
interface issues in web editing, portable document readers, and
hypertext annotations.  He received his Ph.D. from Stanford
University, where he worked on object-oriented languages, programming
environments, and cartoon-inspired animation in user interfaces.
                             ____________

                       GENOME DATABASE SEMINAR
                   on Friday, 18 April 2003, 3:15pm
                           Braun Auditorium
      http://www-db.stanford.edu/pub/gio/CS545/CS545Gspring2003/

                  "The Encyclopedia of Life Project"
                             Phil Bourne
                    San Diego Supercomputer Center
                         http://eol.sdsc.edu

The Encyclopedia of Life (http://eol.sdsc.edu) is an ambitious project
to catalog the complete proteome of every living species in a
flexible, powerful reference system.  EOL is an open collaboration
calculating three-dimensional models and assigning biological function
for all recognizable proteins in all currently partially or completely
sequenced genomes.  This talk with focus on the unique aspects of in
silico high throughput proteomics with specific reference to our
reliability measures in assigning putative structure and function, the
use of high performance computing environments for the massive amounts
of computing needed by the project and our efforts to improve the
human-computer interface beyond that delivered by most biological
resources today.
                             ____________

          BERKELEY INTERNATIONAL COMPUTER SCIENCE INSTITUTE
             on Monday, 21 April 2003, 2:00 - 3:00 pm
  Main Lecture Hall, ICSI, 1947 Center Street, Room 607, UC Berkeley
                 http://www.icsi.berkeley.edu/talks/

            "Speech and Language Technologies in Mac OS X"
                          Dr. Kim Silverman
                            Apple Computer

Apple's Macintosh Operating System has always been committed to speech
technologies.  The first Mac spoke with a speech synthesizer when it
was first introduced in 1984.  The Mac was the first personal computer
to ship with speech recognition built in.  Since then Apple has
continued to develop its own speech and language technologies.  In
this presentation I will systematically describe and demonstrate the
speech technologies that are built into "Jaguar", the latest release
of Mac OS X.  These include speaker-independent speech recognition,
text-to-speech synthesis, latent semantic analysis, and an array of
general user interface features that use these technologies to do
useful things for the general user.  I will describe our current
understanding of the role of speech in personal computing, motivate
some of the design issues we have made, and illustrate some of the
problems that are still to be solved.
                             ____________

                            LOGIC SEMINAR
               on Tuesday, 22 April 2003, 4:15pm-5:30pm
                         Math Corner 380:381T
             http://www-logic.stanford.edu/seminars.html

           "Rational Dynamics: Game-theoretic Equilibria as
           Logical Fixed-points of Repeated Announcements"
                          Johan van Benthem
                         Amsterdam & Stanford

Many of the current contacts between logic and game theory have to
do with explaining the emergence and stability of game-theoretic
equilibria in terms of epistemic assumptions.  In this talk, we
analyze game-theoretic equilibria as arising in the limit from
repeated announcements by players of their own rationality.  This
idea is made precise in a dynamic logic of information update.  More
technically, this analysis leads to connections between different
notions of game equilibrium and different fixed-point logics:
monotonic or inflationary.

See `Rational Dynamics and Epistemic Logic in Games',
ILLC Tech report, January 2003, http://www.illc.uva.nl
                             ____________

                        SNRC INDUSTRY SEMINAR
                  on Tuesday, 22 April 2003, 4:15pm
                   Gates B01  * SPECIAL LOCATION *
          http://snrc.stanford.edu/events/industry-seminar/

         "Evolution of Modern Civil Communications Security"
                        Dr. James Spilker, Jr.
                               Stanford

The subject of information security covers a wide range of arcane but
new topics including firewalls, intrusion detection, access control
systems based on passwords, digital content (music, video,
publications, software) rights management, and privacy issues
regarding personal data stored in servers throughout the Internet.
This paper focuses on the civil rather than military applications of
cryptography to the most common security problem; namely, maintaining
the integrity and privacy of commercial information transmitted over
large communication networks.

In this talk we discuss the general data communications security task
described as follows.  A digital message, M, is to be transmitted from
Bob to Bill via the Internet or some other data network with multiple
data links and nodes.  The objectives of this secure data line are
several fold:

o  Transmit the message from Bob to Bill
o  Authenticate that the message has not been modified in any way
   during transmission.
o  Authenticate that Bob is indeed the true author of the message.
o  Prevent any hacker from reading the message M
o  Prevent any hacker from sending a false message impersonating Bob
   to Bill.

We outline the technologies of each of these actions and summarize the
present day problems of communications security.

About the speaker:  Dr. Spilker received his BS, MS, and Ph.D. degrees
in EE from Stanford University.  He also graduated from the Executive
Management Program at UCLA.

From 1973 to 1999, he was co-founder, Chairman, and President of
Stanford Telecom Inc. a digital telecommunications company which he
grew to over 1300 employees in 6 states when he sold it in 1999.  He
was co-architect of the now widely used Global Positioning System,
GPS, originated the delay lock loop used in CDMA cell phones and GPS
receivers, and was a leader in developing digital satellite
communications, and secure communications.  In addition to his
Stanford duties, he is now co-founder and Chairman of Rosum
Corporation using TV signals to provide wireless location services.

He is the author or co-author of over 100 published technical journal
and conference papers and 2 books, Digital Communications by Satellite
and Global Positioning System-Theory and Applications, vols. 1, 2, and
several book chapters including Evolution of Modern Communications
Security.

Dr. Spilker is a Member of the National Academy of Engineering, Life
Fellow of the IEEE, Fellow of the Institute of Navigation, and has
received numerous awards including International City of Columbus
Award from the Italian Institute of Communications, Johannes Kepler
Prize and several other awards from the Institute of Navigation, Hall
of Fame Award from the US Air Force.
                             ____________

       RNI/STANFORD SEMINAR SERIES IN THEORETICAL NEUROSCIENCE
              on Thursday, 24 April 2003, 12 noon - 1pm
            Arrillaga Alumni Center/Fisher, 326 Galvez St.
                   http://www.rni.org/seminar.html

    "Top-down and Bottom-up Models of Selective Visual Attention"
                            Christof Koch
  Division of Biology & Division of Engineering and Applied Science
                  California Institute of Technology
                     http://www.klab.caltech.edu

Although brains possess a paradigmatically massively parallel
architecture, sensory systems employs a serial computational strategy
to select "interesting" objects in any scene for further processing,
including access to short-term memory, planning and awareness.  In
the visual system of human and monkeys, selective visual attention is
guided by a rapid, task-independent, stimulus-driven saliency-based
form of selection process as well as by a slower, volitional
controlled top-down selection process.  I will describe two detailed
computational accounts of both selection mechanisms and discuss their
implications for the underlying neuronal processes in the primate's
visual system.

About the Speaker:  Christof Koch obtained his Ph.D. in Tuebingen,
Germany in 1982 in (bio)-physics with a minor in Philosophy.  After
a four year sojourn at MIT, he joined the California Institute of
Technology, where he is the Lois and Victor Troendle Professor of
Cognitive and Behavioral Biology.  His laboratory focuses on
experimental and computational research pertaining to the biophysics
and neurophysiology of neurons, and the neuronal correlates of
selective visual attention, awareness and consciousness in the
mammalian brain.  With Dr. Francis Crick at the Salk Institute, he has
been working on discovering the neuronal correlates of consciousness
in the primate brain.
                             ____________

                  LOGICAL METHODS IN THE HUMANITIES
             on Friday, 25 April 2003, 12 noon - 1:15 pm
                         Math Corner 380:383N
             http://www-logic.stanford.edu/seminars.html

        "Is the Euclidean algorithm optimal among its peers?"
                        Yiannis N. Moschovakis
                    UCLA and University of Athens

In the first (main) part of this talk, I will describe recent joint
work with Lou van den Dries in arithmetic complexity, including the
following result:

If  alpha  is any recursive program from +, -, and division with
remainder which decides co-primeness for pairs of numbers, and if
c_alpha(a,b)  is the (strict, parallel, time-) complexity of alpha,
then for all co-prime  a,b ,

    |a/b-sqrt(2)| < 1/b^2  -->  c_alpha(a,b) >= 8 log log b

It follows that any recursive program which computes the greatest
common divisor  gcd(a,b)  from +, -, and division with remainder
requires at least  8 log log b  steps on infinitely many inputs,
which is one log away from a natural formulation of the optimality
of the Euclidean algorithm; this remains open.

Here, recursive programs from given operations are relativized,
McCarthy-style recursive definitions which ``spend'' one time unit to
call a given operation.  In the second part of the talk, I will argue
(briefly) that the proofs of these results support the proposal to
define first order algorithms using their natural expression by
relativized McCarthy-style recursive programs.
                             ____________

                             END MATERIAL

The CSLI Calendar appears weekly on Wednesdays throughout the academic
year.  Announcements, abstracts, and other information to appear in
the Calendar should be submitted to the editor, who reserves the right
to decide what does or does not go in the calendar
mailto:incalendar@csli.stanford.edu

Requests to be added to the mailing list should be sent to
majordomo@csli.stanford.edu.  With the lines in the body of the text
of either
 subscribe csli-calendar
for the long form or
 subscribe csli-short-calendar
for the short form (i.e., no abstracts).  Problems with subscribing or
unsubscribing should be sent to
owner-csli-calendar@csli.stanford.edu.

The full current issue is at
http://www-csli.stanford.edu/Archive/calendar/current.shtml
and the archives at
http://www-csli.stanford.edu/Archive/calendar/

People on most of the CSLI computers can type 'help csli-calendar' to
see the current issue.

The CSLI Calendar is also posted each week to
news://nntp-csli.stanford.edu/csli.bboard.
and
news://news.stanford.edu/su.events

Information about CSLI's research program is available at
http://www-csli.stanford.edu/

For maps to the Stanford University campus see
http://www.stanford.edu/home/visitors/maps.html
                             ____________