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, 30 June 2004, vol. 19:42




                    CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________

30 June 2004                    Stanford               Vol. 19, No. 42
______________________________________________________________________

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

             ACTIVITIES FROM 30 JUNE 2004 TO 9 JULY 2004

THURSDAY, 1 JULY 2004
11:00am Music 319: CCRMA Hearing Seminar
        CCRMA Library, The Knoll
        "Auditory-evoked laughter"
        David Huron
        http://mambo.ucsc.edu/psl/ccrmas/ccrmas.html
        Abstract below

 3:00pm CSLI Talk
        Ventura 17
        "Computing with waves; neurons as resonators"
        Tom Doris and Sean O Nuallain 
        Abstract below

 4:30pm Stanford Security Seminar
        Gates 4B center area (opposite 490)
        "Soundness and Completeness of Expanded Abadi-Rogaway Logics
        of Formal Encryption"
        Gergely Bana    
        University of Pennsylvania
        http://theory.stanford.edu/seclab/sem.html
        Abstract below

THURSDAY, 8 JULY 2004
 3:00pm SRI AI Seminar Series
        EJ228, SRI International
        "Go! agents go to the dance:
        a multi-paradigm symbolic language for multi-agent systems"
        Frank McCabe 
        Fujitsu Laboratories
        http://www.ai.sri.com/seminars/
        Abstract below

 4:00pm PARC Forum
        George Pake Auditorium at PARC
        "Mars Missions Scheduling and Planning"
        Kanna Rajan
        http://www.parc.com/forum/

FRIDAY, 9 JULY 2004
 7:00pm Long Now Foundation Talk
        Fort Mason Conference Center, San Francisco
        "Communication with Extraterrestrial Intelligence - 
        A Necessarily Long-Term Strategy"
        Jill Tarter
        SETI Institute
        http://www.seti.org/about_us/leadership/staff/jill_t.html
        http://www.longnow.org/
                             ____________

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

                   MUSIC 319: CCRMA HEARING SEMINAR
                  on Thursday, 1 July 2004, 11:00am
                       CCRMA Library, The Knoll
             http://mambo.ucsc.edu/psl/ccrmas/ccrmas.html

Really, seriously.  Laughter at this Thursday's CCRMA Hearing Seminar.

Old-time favorite, CCRMA-friend David Huron (from Ohio State) is back
to talk about auditory-evoked laughter and the role of expectations.
We all know that speech can evoke guffaws.  But what about a sequence
of tones?

We'll try to keep David on topic, but I'm sure that this seminar will
be the usual romp through musical and auditory science.  Lots of good
science and fun for all.

Note: this is probably the last Hearing Seminar at the Knoll for a
while.  After 13 years, the Knoll's reconstruction is about to start.
Seminars in July will be at a location to be determined.  Crazy, but
good times at CCRMA for a while.

See you at CCRMA.  Bring your favorite laugh.

- Malcolm

         "Auditory-Evoked Laughter: The Role of Expectation"
                             David Huron
      Cognitive and Systematic Musicology Laboratory, Ohio State

While most laughter involves some language-based humor, laughter can
also be evoked by stimuli without the presence of language.  In the
music of P.D.Q. Bach, for example, simple sequences of pitches can
cause listeners to burst out laughing.  Why?

Sixty-four live recordings of Peter Schickele's music were analyzed
and 629 moments of audience laughter were identified.  Each moment was
classified according to the probable cause of the laughter.  Excluding
language-based humor and visual gags, all of the identifiable moments
of laughter appear to be traceable to marked violations of
expectation.  Some violations are schematic in origin while others
involve veridical violations of well-known musical passages.  An
information theoretic analysis suggests that laughter is most likely
to occur when there is greater than a 100-fold difference in the
first-order probability between the expected outcome and the actual
outcome.

An evolutionary account is proposed that attempts to explain why the
behavioral response to such violations of expectation is the
distinctive punctuated exhaling ("ha-ha-ha ...") that defines
laughter.
                             ____________

                              CSLI TALK
               on Thursday, 1 July 2004, 3:00pm-4:00pm
                              Ventura 17

            "Computing with waves; neurons as resonators"
                    Tom Doris and Sean O Nuallain
 
Neuroscience has witnessed a healthy burgeoning of theory in the
period of the last decade, from revivals of Hoffman's geometry of
systems model, reformulated to stress the dynamical systems aspect, to
a similarly transformed holonomic theory by Grass and his colleagues,
to various cortical columnar architectures proposed, inter alia by
Anderson and Burnod, to further-fledged speculations featuring nitrous
oxide, glial cells, and quantum coherence in microtubules.

In contrast, computational models of the behavior of networks of
neurons are still mainly based on an integrate- and-fire model of
neural function. We propose a new computational model of the neuron
developed with spectral data processing in mind, which emphasizes
sub-threshold oscillation of the membrane potential as a fundamental
feature on which to build a computational model. This reformulation of
the computational neuron results in networks in which features such as
resonance, selective communication and sensitivity to inter-spike
periods emerge naturally. Furthermore, integrate and fire behavior
emerges as a special case of the new model.

Tom Doris recently successfully defended his PhD thesis, done under
the supervision of Sean O Nuallain at DCU. He has worked for the past
four years at Intel's research division in Shannon, Ireland. En route
to the central idea of his PhD, he implemented a virtual reality
environment with speech recognition, natural language processing and
gesture recognition. This was used to explore aspects of NLP and
particularly locative expressions and measures of visual
salience. Multimodal input and contextual disambiguation were key
features.

Sean O Nuallain holds an M.Sc. in Psychology from University College,
Dublin (UCD) Ireland & a Ph.D. in Computer Science from Trinity
College, Dublin, Ireland. He holds a visiting scholars' position at
Stanford and directs the independent non-profit Nous Research (
http://www.nous-research.com/ ). He is the author of a book on the
foundations of Cognitive Science: "The Search for Mind" (Ablex, 1995;
2nd ed Intellect, 2002; Third edition Intellect, 2003) and editor of
"Two Sciences of Mind" (Benjamins, 1997); editor of "Spatial
Cognition"; co-editor of "Language, Vision, and Music" (Benjamins,
2002) and of "Mind in Interaction" (Benjamins, in preparation). His
"Being Human: the Search for Order" (Intellect, 2002) sold out its
first print-run immediately; the second edition was launched at
Stanford Bookstore on May 19, 2004.
                             ____________

                      STANFORD SECURITY SEMINAR
                   on Thursday, 1 July 2004, 4:30pm
                 Gates 4B center area (opposite 490)
              http://theory.stanford.edu/seclab/sem.html

                    "Soundness and Completeness of
         Expanded Abadi-Rogaway Logics of Formal Encryption"
                             Gergely Bana
                      University of Pennsylvania
                                                                  
We consider expansions of the Abadi-Rogaway logic of
indistinguishability of formal cryptographic expressions. The language
of the Abadi-Rogaway logic uses a box as formal notation for
indecipherable strings. In the expanded formalism we adopt, different
kinds of boxes are allowed, which - loosely speaking - correspond to
different kinds of indecipherable strings.

We establish soundness and completeness for a variety of
interpretations. Two such interpretations are discussed in detail: a
purely probabilistic one that interprets formal expressions in
One-Time Pad, and another one in the so-called type 2 (which-key
revealing) cryptosystems based on computational complexity.
Furthermore, we discuss a general, systematic treatment of expansions
of the logic as well as general soundness and completeness theorems
for interpretations.
                             ____________

                        SRI AI SEMINAR SERIES
              on Thursday, 8 July 2004, 3:00pm - 4:30pm
                       EJ228, SRI International
                  http://www.ai.sri.com/seminars/

                     "Go! agents go to the dance:
     a multi-paradigm symbolic language for multi-agent systems"
                             Frank McCabe
                         Fujitsu Laboratories
          
Go! is a logic programming based language with distinct syntactic
features that directly support functional and object oriented
programming the latter based on Logic and Objects style of classes. It
is targeted at high integrity systems and at building agent systems.
We have used Go! to elaborate an agent architecture which is based on
the BDI principles but which supports concurrency internally and
externally: beliefs are updated and accessed asynchronously within the
agent by different modules with specific responsibilities such as
negotiation and world perception. In this talk I will introduce some
of the key features of Go!, focusing on the newer aspects of its class
notation. I will also show how an agent architecture such as outlined
above can be easily built; in the context of a multi-agent
demonstrator that uses agents negotiating over dances and drinks at a
ball.

About the Speaker: Frank McCabe is a Research Fellow at Fujitsu
Laboratories of America.  His focus in multi-agent systems has been on
designing programming systems and tools to simplify the task of
building agent systems. He has also been active in recent years in
various standardization efforts, including the W3C Web Services
Architecture and the Foundation for Intelligent Physical Agents.
                             ____________

                             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
                             ____________