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, 26 May 2004, vol. 19:37




                    CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________

26 May 2004                     Stanford               Vol. 19, No. 37
______________________________________________________________________

                     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 26 MAY 2004 TO 4 JUNE 2004

WEDNESDAY, 26 MAY 2004
 4:15pm CSLI Seminar on Computational Learning and Adaptation
        Cordura Hall, room 100
        "Negative Selection Algorithm for Anomaly Detection"
        Dipankar Dasgupta
        NASA Ames Research Center
        http://cll.stanford.edu/scla.html
        Abstract below

 4:15pm EE380: Computer Systems Lab Colloquium
        Gates B03 (NEC Auditorium)
        "Ubiquitous Web Browsing"
        Daniel F. Zucker
        ACCESS Co. Ltd.
        http://ee380.stanford.edu/contents.html
        Abstract below

 7:00pm SCIL Futures of Learning Lecture Series
        Wallenberg Hall Learning theater (Bldg. 160)
        "How the Power of Analogy Impacts Learning"
        Dedre Gentner
        Psychology, Northwestern University
        http://www.northwestern.edu/nuin/faculty/Gentner_D/
        http://scil.stanford.edu/
        Abstract below

THURSDAY, 27 MAY 2004
12:15pm Symbolic Systems Event
        Bldg. 550:550A
        "Squealing Tires:  
        Researching where the rubber meets the road in corporate environments"
        Christian Rohrer
        Yahoo
        http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
        Abstract below

 3:00pm Reuters Foundation Digital Vision Program Seminar
        Reuters lounge, Cordura Hall
        Ahvie Herskowitz
        Institute for OneWorld Health
        http://www.oneworldhealth.org/
        http://cgi.stanford.edu/group/reuters/cgi-bin/calendar/index.cgi

 4:00pm SRI AI Seminar Series
        EJ228, SRI International
        "Probabilistic Activity Monitoring using Quantitative
        Temporal Relationships"
        Bart Peintner 
        University of Michigan
        http://www.ai.sri.com/seminars/
        Abstract below

 4:00pm PARC Forum
        George Pake Auditorium at PARC
        "The Pleasure Trap: 
        Mastering the Hidden Force that Undermines Health and Happiness"
        Douglas Lisle 
        True North Health Center
        http://www.parc.com/forum/

 4:15pm SSP10: Symbolic Systems Forum
        Bldg. 380:380C (Math Corner)
        "You Say Tomato, I Say Tomahto:  
        Examining Social Identification Effects in Mediated
        Communication with Offshore Call Center Agents"
        Sheba Najmi 
        M.S. Candidate, Symbolic Systems Program
        http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
        Abstract below

 4:15pm RNI/Stanford Seminar Series on Theoretical Neuroscience
        Dept. Neurobiology Series on Foundations of Neuroscience
        Munzer Auditorium, Beckman Center basement
        "Revisiting Population Codes"
        Alex Pouget
        Brain and Cognitive Sciences, University of Rochester
        http://www.bcs.rochester.edu/people/alex
        http://www.rni.org/seminar2.html
        Abstract below

 4:15pm US-ASIA TECHNOLOGY MANAGEMENT CENTER PUBLIC LECTURE SERIES
        Skilling Auditorium
        "Sensor Research at Stanford, Part II"
        Beth Pruitt
        Mechanical Engineering
        http://asia.stanford.edu/events/Spring04/sensors.html

 4:15pm Information Systems Seminar
        Packard 204
        "Noise and Reliability in Genetic Regulatory Circuits"
        Harley McAdams
        Stanford University
        http://isl.stanford.edu/groups/seminar/
        Abstract below

 6:15pm Stanford Phonology Workshop
        Margaret Jacks Hall 460:126
        "Cophonologies"
        Sharon Inkelas
        UC Berkeley
http://www.linguistics.berkeley.edu/lingdept/Current/people/facpages/inkelas.html
        http://www-linguistics.stanford.edu/pinterest/

FRIDAY, 28 MAY 2004
all day First Annual QP Fest
        Cordura 100
        http://www.stanford.edu/dept/linguistics/qp-fest/2004-schedule.html

 2:00pm NLP Reading Group
        Ventura 17
        "Disambiguating Japanese Compound verbs"
        Kiyoko Uchiyama
        http://www-nlp.stanford.edu/nlp/nlpgroup.html
        Abstract below

12:30pm CS547: Human-Computer Interaction Seminar
        Gates B01
        "Enhancing User Experiences in Ubiquitous Computing"
        Jennifer Mankoff
        UC Berkeley
        http://www-pcd.stanford.edu/cs547/
        Abstract below

TUESDAY, 1 JUNE 2004
 2:45pm CS548: Internet and Distributed Systems Seminar
        Skilling Auditorium
        "A pattern recognition approach to characterizing systems performance"
        Moises Goldszmidt
        Hewlett-Packard Laboratories 
        http://cs548.stanford.edu/schedule.shtml
        Abstract below

 4:15pm Logic Seminar
        Bldg. 380:380F (math corner)
        "Internalised Kripke semantics and proof analysis in modal logic"
        Sara Negri 
        University of Helsinki
        http://www-logic.stanford.edu/seminars.html
        Abstract below

 4:15pm SNRC Industry Seminar 
        Gates B03
        "CHAIN-EMN: An Emergency Alerting and Notification Service"
        Rittwik Jana
        AT&T
        http://snrc.stanford.edu/events/industry-seminar/
        Abstract below

WEDNESDAY, 2 JUNE 2004
12 noon Psychology Developmental Brownbags
        Bldg. 380:381U
        "Girls at risk:  
        A longitudinal study of daughters of depressed mothers"
        Anda Gershon
        Psychology, Stanford
        Psychology, Stanford
        http://www-psych.stanford.edu/news.html#dev_brownbag

 3:45pm Psychology Department Colloquium
        Jordan Hall 420:041
        "Collective Guilt"
        Nyla Branscomb
        University of Kansas
        http://www-psych.stanford.edu/news.html

 4:15pm CSLI Seminar on Computational Learning and Adaptation
        Cordura Hall, room 100
        "Something about the Fractal Dimension" 
        Krishna Kumaraswamy
        Price Waterhouse Coopers
        http://cll.stanford.edu/scla.html

 4:15pm EE380: Computer Systems Lab Colloquium
        Gates B03 (NEC Auditorium)
        "Automating CapCom: The Mobile Agents Integrated Field Test at
        the Mars Desert Research Station" 
        William J. Clancey
        NASA Ames Research Center 
        http://ee380.stanford.edu/contents.html
        Abstract below

 4:30pm Stanford Security Seminar
        Gates 4B center area (opposite 490)
        "Security and risk management in the online service environment: 
        the case of Microsoft Passport"
        Cem Paya 
        Microsoft 
        http://theory.stanford.edu/seclab/sem.html
        Abstract below

 7:00pm Center on Ethics 
        Law School, room 290
        "Who's to Blame? Prisoners of War and Personal Responsibility"
        panel discussion
        http://www.stanford.edu/dept/EIS/lectures.html

THURSDAY, 3 JUNE 2004
 4:00pm PARC Forum
        George Pake Auditorium at PARC
        "Amazing Trees of the Bay Area"
        David Dockter 
        Managing Arborist, City of Palo Alto
        http://www.parc.com/forum/

 4:30pm SSP10: Symbolic Systems Forum
        Bldg. 380:380C (Math Corner)
        "Presentations of Senior Honors Projects" 
        SSP Honors Students, Class of '04
        http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
        Abstract below

 6:15pm Stanford Phonology Workshop
        Margaret Jacks Hall 460:126
        Title to be announced
        Ingo Plag
        Universitaet Siegen
        http://www-linguistics.stanford.edu/pinterest/
                             ____________

Stanford Blood Center status: Shortage of O+, A+, and AB-.  For an
appointment: http://bloodcenter.stanford.edu/ or call 650-723-7831.
It only takes an hour of your time.
                             ____________
   
        CSLI SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
             on Wednesday, 26 May 2004, 4:15pm to 5:30pm
                             Cordura 100
                  http://cll.stanford.edu/scla.html

         "Negative Selection Algorithm for Anomaly Detection"
                          Dipankar Dasgupta
                   University of Memphis, Tennessee
             Visiting Scholar, NASA Ames Research Center
   
The biological immune system is a complex adaptive system which
efficiently employs several mechanisms for defense against foreign
pathogens. Self-nonself (or danger) discrimination is one of the
important tasks the immune system performs during the process of
pathogenic recognition and responses. This discrimination is achieved
in part by T-cells, which have receptors on their surface that can
detect foreign proteins (antigens). During the generation of T cells,
receptors are made by a pseudo-random genetic rearrangement process.
Then they undergo a censoring process, called negative selection, in
the thymus where T cells that react against self-proteins are
destroyed; so only those that do not bind to self-proteins are allowed
to leave the thymus. These matured T cells then circulate throughout
the body and work as distributed novel pattern recognizer. The talk
will present an immunity-based negative selection algorithm (and
discuss negative detector generation techniques), and its application
in anomaly and fault detection.
                             ____________
                                   
                EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
             on Wednesday, 26 May 2004, 4:15pm to 5:30pm
        NEC Auditorium (B03), Gates Computer Science Building
               http://ee380.stanford.edu/contents.html

                      "Ubiquitous Web Browsing"
                           Daniel F. Zucker
                           ACCESS Co. Ltd.
   
Computing is now in the midst of yet another great paradigm. First
mainframes gave way to mini-computers, then mini-computers to PCs, and
today handheld computers are drastically outnumbering PCs. For 2003,
compared with 164 Million PCs, approximately 510 Million mobile
handsets were sold (Gartner). Virtually everyone now carries a
cellphone with them everywhere; and a cellphone is today just a
specialized type of mobile computer. With increasing computing power,
increasing storage capacity, and plummeting costs, soon everyone will
be armed with an ubiquitous general purpose mobile computer.

ACCESS Co. Ltd., is the world's leading supplier of web browsers for
mobile, wireless, and embedded devices. ACCESS is based in Tokyo, a
center of leading-edge mobile wireless technology. Our browser has
been ported to many operating systems and hardware devices. The web
browser is often the gateway application to mobile information, media,
and services. This talk presents an overview of mobile applications
and trends in mobile terminals and PDA devices.

I survey smartphones OSes, some popular mobile CPU architectures, and
present several demonstrations of the latest mobile multi-media
technology. The system-level components that enable comprehensive
mobile computing of today will also drive the ubiquitous web browsing
of tomorrow.

Additional information: This talk was originally given as a Keynote
address at Cool Chips in Japan.
                             ____________

               SCIL FUTURES OF LEARNING LECTURE SERIES
                  on Wednesday, 26 May 2004, 7:00pm
             Wallenberg Hall Learning theater (Bldg. 160)
                      http://scil.stanford.edu/

             "How the Power of Analogy Impacts Learning"
                            Dedre Gentner
                       Northwestern University

Northwestern University Professor of Psychology Dedre Gentner will
discuss analogical learning, including her new research findings on a
remarkably effective use of analogy called analogical encoding, which
sparks early learning in children and advanced learning in adults.

People interested in other SCIL events can subscribe to the scilevents
mailing list by mailing majordomo@lists.stanford.edu and having in 
the body of the message only

subscribe scilevents
                             ____________

                        SYMBOLIC SYSTEMS EVENT
                  on Thursday, 27 May 2004, 12:15pm
                            Bldg. 550:550A
    http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events

                          "Squealing Tires:
Researching where the rubber meets the road in corporate environments"
                           Christian Rohrer
                                Yahoo

A good education comes from a reputable school, great program, helpful
advisors, and years of hard work.  However, the academic experience is
really only the foundation for being an effective research
practitioner in a corporate setting.

In this discussion, I will cover topics such as:

* How research is used in corporate settings: its role and function
* Skills that will serve you well:
- Rapport building
- Communication
- Selling and marketing
- Going beyond results and into solutions
- Focus on why and how, not just what and how much
* Corporate politics: playing the game
* Going beyond research
- Using your personality
- Creating an real impact on products
- Moving up and moving on

About the Speaker: Christian Rohrer received his Ph.D in Symbolic
Systems in Education (Cognitive Science) from Stanford University in
2001.  His dissertation dealt with the issue of how joint exploratory
learning of a user interface takes place in a household where multiple
people participate in the interaction of a TV-based Internet
appliance.  He is currently the Director of User Experience Research
at Yahoo!, where he previously held positions as Usability Engineer
and Senior Manager of User Experience Research over the past 5 years.
Prior to Yahoo!, he conducted ethnographic research for Network
Computer Inc. (now Liberate), consulted as a technical instructor, and
UNIX technician, and served as a technical support engineer for SCO
Group.  He also holds a Bachelor's degree in Computer and Information
Sciences from the University of California, Santa Cruz.
                             ____________

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

               "Probabilistic Activity Monitoring using
                 Quantitative Temporal Relationships"
                            Bart Peintner
               University of Michigan (visitor at SRI)

Activity monitoring is often a necessary ability for systems that
assist people with various tasks. In general, activity monitoring can
be performed by using a stream of sensor data and a model of a persons
behavior and environment to infer which actions have been performed
and the current state of the environment. When the available sensor
data is limited, the monitoring task must rely heavily on the temporal
aspects of the behavior model. However, with current modeling
formalisms, such as Dynamic Bayesian Networks, it is difficult to
represent complex temporal relationships. I will show how to extend
these formalisms to represent and efficiently reason about complex,
quantitative temporal relationships and describe a parameterization
strategy that allows easy specification of the model.

About the Speaker: Bart Peintner is currently in the midst of a two
month visit to SRI.  He is a Ph.D. candidate in computer science at
the University of Michigan, studying in the AI laboratory under the
direction of Martha Pollack. His main interest is in automated
temporal reasoning, both probabilistic and deterministic. He received
an M.S. in computer science at the University of Michigan, and a
B.S. in Electrical Engineering at Kansas State University.
                             ____________

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

                   "You Say Tomato, I Say Tomahto:
              Examining Social Identification Effects in
       Mediated Communication with Offshore Call Center Agents"
                             Sheba Najmi
               M.S. Candidate, Symbolic Systems Program

Through most of human history, interaction with others has been
face-to- face. Today, technology is promoting rapid globalization.
While allowing interactions with others from across the world,
globalization has also resulted in the outsourcing of jobs, which is a
hotly-debated topic. Call centers are at the heart of this debate.
John Kerry is pushing for a bill for location disclosure by call
center agents. Dell is under fire for the thick accents of its call
center agents in India. What does all this uproar mean? In this talk,
I shall explore how the location of the call center agent and the
accent of the agent influence people's perceptions of the agent's
competence, engagement, and amiability, in the context of an
experimental study. This experiment is the second in a series of
studies.
                             ____________

       RNI/STANFORD SEMINAR SERIES IN THEORETICAL NEUROSCIENCE
       DEPT. NEUROBIOLOGY SERIES ON FOUNDATIONS OF NEUROSCIENCE
                on Thursday, 27 May 2004, 4:15-5:30pm
              Munzer Auditorium, Beckman Center Basement
                   http://www.rni.org/seminar2.html

                    "Revisiting Population Codes"
                             Alex Pouget
        Brain and Cognitive Sciences, University of Rochester
               http://www.bcs.rochester.edu/people/alex

Many studies have attempted to relate changes in behavior (e.g. as a
result of perceptual learning or increased attention) to changes in
neural codes.  One general principle has emerged from these studies:
the steeper (or the narrower) the tuning curve, the better the
performance, or equivalently, the higher the information.  This
principle, however, is based on the assumption that increasing the
slope of the tuning curves does not affect the noise distribution.
We will show that in networks of spiking neurons, this assumption
does not necessarily hold.  In many networks, an increase in the slope
of the tuning curve leads to changes in the noise distribution, such
that the overall information decreases.  We will illustrate this
problem in the context of orientation selectivity.  We will show that
sharpening tuning curves through lateral connections results in very
large information loss and leads to complex codes.  We will discuss
the implications of these findings for the neural basis of perceptual
learning and attention.

About the Speaker: Alex Pouget is a Professor in the Department of
Brain and Cognitive Sciences in the University of Rochester.  His
focus is on general principles of neural computation, with a special
emphasis on population codes.  His work bridges the gaps between
the coding of sensory stimuli (e.g. location of objects), observer
co-ordinates (e.g. head and eye orientation) and motor representations
(e.g. for reaching or navigation).  He links experimental observations
on patients with theories of cortical computation based on advanced
theories of Bayesian statistical inference.
                             ____________

                     INFORMATION SYSTEMS SEMINAR
               on Thursday, 27 May 2004, 4:15pm-5:15pm
                             Packard 204
               http://isl.stanford.edu/groups/seminar/

        "Noise and Reliability in Genetic Regulatory Circuits"
                            Harley McAdams
                         Stanford University

A complex control system constructed from biochemically-based logic
circuitry governs cell's responses to external signals and management
of their internal operations. In many of the critical reactions of
this circuitry, particularly the genetic mechanisms of gene
expression, the concentration of participating molecules is very low.
This leads to stochastic variation in reaction rates in the circuits.
The result is uncertainty in timing of decisions and even, in some
cases, to uncertainty in phenotype outcomes. We will discuss the
physical origins of this noise, the consequences of the noise in human
and bacterial genetics, and some of the mechanisms used to achieve
high reliability necessary for creation of complex organisms in spite
of the noise.
                             ____________

                          NLP READING GROUP
             on Friday, 28 May`s 2004, 2:00pm - 3:30pm
                              Ventura 17
            http://www-nlp.stanford.edu/nlp/nlpgroup.html

               "Disambiguating Japanese Compound verbs"
                           Kiyoko Uchiyama

The treatment of multiword expressions (MWEs) has attracted much
interest as an important issue (Sag 2002). Japanese has diverse types
of MWEs and there are difficulties in processing them (Baldwin
2002). In those studies, MWEs are defined as a "word with spaces" in
English and "idiosyncratic interpretations that cross word boundaries"
in Japanese. In English, verb particles have been studied as one type
of MWEs (Villavicencio 2002). We predict that verb particles in
English and compound verbs in Japanese have commonalities in terms of
ambiguity and semantic constraints. For example, the English particle
"up" has both an aspectual ("finish up writing" cf. "kaki-owaru") and
a spatial meaning ("go up the stairs" cf. "kake-agaru"), which is
equivalent to the second verb in Japanese compound verbs. We
investigate Japanese compound verbs (JCVs) and extract semantic
constraints for the purpose of applying them to machine translation.

We propose a disambiguation method to identify the meaning of JCVs
using three sources of information: a statistical approach by learning
basic senses of arbitrary JCVs, a rule based approach which utilize
semantic features and syntactic information.

In the statistical approach, we try to identify the meaning of JCVs
efficiently. There are some JCVs whose meaning is defined only by the
combination of each constituent without context. In those cases, it is
desirable to process JCVs by using collocation information between V1
and V2 automatically. We use a support vector machine as a supervised
learning algorithm to learn basic senses of arbitrary JCVs using the
collocation patterns of V1 and V2 extracted from a corpus.

In the rule based approach, we identify the meaning of ambiguous JCVs
by assigning them to disambiguation rules after machine learning. We
use two steps to construct a disambiguation rules. The first step is
to identify the meaning of V1 using rules which an MT system or other
lexical database should already have. The second step is to classify
JCVs into semantic clusters and extract commonalities of semantic
features on V1 (semantic information) and verb complements (syntactic
information). We build rules using this derived semantic and syntactic
information. The proposed method based on machine learning and
disambiguation rules has the advantage of being able to analyze new
compound verbs not in the dictionary.
                             ____________

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

         "Enhancing User Experiences in Ubiquitous Computing"
                           Jennifer Mankoff
             Group for Interface Research, UC Berkeley CS

Ubiquitous computing in it's idealized form brings to mind a vision of
calm, yet reactive environments filled with appropriate and timely
support for user needs. In practice, this vision is hard to achieve
due to many complications including the difficulty of accurately
sensing and interpreting user needs, and of building and testing
applications. I will present our work in supporting rapid, iterative
design of peripheral displays. These displays help to support
awareness of information when the user is involved in other
activities.  They are a crucial piece of Weiser's original vision of
calm environments, and thus an important part of creating a positive
user experience of Ubiquitous Computing. However, they are difficult
to build and evaluate. Our work involves a combination of tool support
and explorations of different evaluation techniques.

About the Speaker: Dr. Jennifer Mankoff is an Assistant Professor of
Electrical Engineering and Computer Science (EECS) at the University
of California at Berkeley. She earned her B.A. at Oberlin College and
her Ph.D. in Computer Science at the Georgia Institute of
Technology. Her research focuses on tools and techniques for rapid,
iterative prototyping of ubiquitous computing applications and
accessible technology. Her research interests also include mediation
of ambiguous, recognition-based interfaces. Application areas of her
work include assistive technology for people with special needs and
health and safety.
                             ____________

           CS548: INTERNET AND DISTRIBUTED SYSTEMS SEMINAR
               on Tuesday, 1 June 2004, 2:45pm - 4:00pm
                         Skilling Auditorium
               http://cs548.stanford.edu/schedule.shtml

"A pattern recognition approach to characterizing systems performance"
                          Moises Goldszmidt
                     Hewlett-Packard Laboratories

In this talk I will report on our investigations on the use of pattern
recognition methods for the automatic induction of performance models,
based on the compliance of service level objectives (SLOs), in complex
computer systems. The objective of this research is to generate the
core of automated tools for characterizing system performance, capable
of: 1) Determining the relevant subset of metrics to monitor and
setting the appropriate alarms 2) Diagnosing and forecasting
performance problems 3) Adapting to changes in input, infrastructure,
and requirements This is joint work with Ira Cohen, Terence Kelly, and
Julie Symons from HPL

About the Speaker: Moises Goldszmidt is a department scientist in the
Internet Systems and Storage Laboratory at Hewlett-Packard, where he
is conducting research in statistical and probabilistic methods for
the automation of diagnosis, isolation, and forecasting of performance
in complex systems. He was previously a principal scientist with
Peakstone Corporation (1999-2002) where he developed algorithms and
methods for automated capacity and QoS management of ecommerce sites.
Prior to that he performed research on the algorithmic foundations of
uncertainty management and pattern recognition as a senior scientist
with SRI (Stanford Research Institute, 1996-1999), and as a research
engineer with Rockwell Science Center (1992-1996). His interests are
in probabilistic reasoning and decision-making, pattern recognition,
artificial intelligence, and the automation of system management. He
has over 45 publications in these fields, and over a dozen patent
applications. He was the chair (2001) and co-chair (2000) of the
International Conference on Uncertainty in Artificial Intelligence,
and is a program committee member of conferences and workshops related
to his fields of interest since 1990. Dr. Goldszmidt holds a Ph.D. in
computer science from the University of California, Los Angeles
(1992).
                             ____________
                                     
                            LOGIC SEMINAR
                on Tuesday, 1 June 2004, 4:15pm-5:30pm
                         Math Corner 380:380F
             http://www-logic.stanford.edu/seminars.html

"Internalised Kripke semantics and proof analysis in modal logic"
                              Sara Negri
                        University of Helsinki

We present a general method for generating contraction- and cut-free
sequent calculi for a large family of normal modal logics.  The method
covers all modal logic characterised by Kripke frames determined by
universal or geometric properties and it can be extended to treat also
Godel-Lob provability logic.
                             ____________

                        SNRC INDUSTRY SEMINAR
                   on Tuesday, 1 June 2004, 4:15pm
                              Gates B03
          http://snrc.stanford.edu/events/industry-seminar/

     "CHAIN-EMN: An Emergency Alerting and Notification Service"
                             Rittwik Jana
                                 AT&T

CHAIN-EMN is a secure alerting platform that enables first responder
teams, law enforcement forces, and healthcare providers to communicate
interactively through a variety of disparate devices regardless of
carrier or platform. Users can receive alert postings via email,
telephone, text messaging, fax and pagers.

This talk will highlight an alerting and notification application
developed on top of the AT&T Enterprise Messaging Network (EMN). We
will also discuss relevant research issues and provide an interesting
demo towards the end of the talk.

CHAIN-EMN is offered in partnership with AT&T Government Solutions and
Invizeon Corporation.

About the Speake: Rittwik Jana received a B.E. degree in electrical
and electronic engineering from the University of Adelaide, Australia,
in 1994. He received a Ph.D. degree from the Department of
Telecommunications Engineering, Research School of Information
Sciences and Engineering, Australian National University, Canberra, in
1999. He is currently a Principal Technical Staff Member at AT&T
Shannon Research Labs, Florham Park, New Jersey. His current research
interests include wireless application protocol research, adaptive
signal processing, and multi-user detection for cellular CDMA.
                             ____________
                                   
                EE380: COMPUTER SYSTEMS LAB COLLOQUIUM
             on Wednesday, 2 June 2004, 4:15pm to 5:30pm
        NEC Auditorium (B03), Gates Computer Science Building
               http://ee380.stanford.edu/contents.html

                         "Automating CapCom:
The Mobile Agents Integrated Field Test at the Mars Desert Research Station"
                          William J. Clancey
       Human-Centered Computing Computational Sciences Division
                      NASA Ames Research Center

More than twenty scientists and engineers from three NASA centers and
two universities refined and tested the Mobile Agents system in a
series of incremental scenarios at the Mars Desert Research Station in
April 2003. Runtime agent software, implemented in Brahms, processed
GPS, health data, and voice commands-monitoring, controlling and
logging science data throughout simulated Extra Vehicular Activity
(moon walk, space walk, etc.) with two geologists. Brahms is a
modeling and simulation environment that includes a multi-agent
programming language for modeling and simulating how people work and
collaborate in a work system. (For more information, see
BrahmsWorkingPaper.pdf ) Predefined Extra Vehicular Activity (EVA)
plans, modified on the fly, enabled the Mobile Agents system to
provide navigation and timing advice. Communications were maintained
over five wireless nodes distributed over hills and canyons for 5 Km.
Science data, including photographs and status, were transmitted
automatically to a remote support team.

This talk presents examples from Apollo lunar traverses and Mars
analog missions that suggest methods for augmenting human capability
to make operations safer and more efficient, while reducing flight
controller supervision. Many photographs and videos show how the
distributed system is developed in the context of use, establishing a
baseline for field science requirements relative to Mars. Issues in
extending the system to facilitate cooperation of multiple robots and
astronaut teams are also considered.

About the speaker: Dr. William J. Clancey is Chief Scientist for
Human-Centered Computing at NASA Ames Research Center, Computational
Sciences Division, where he manages the Work Systems Design &
Evaluation Group. He is on leave from the Institute for Human and
Machine Cognition, Pensacola.

Clancey's research includes work practice modeling, distributed
multiagent systems, and the ethnography of field science. Projects in
his group include participation in MER mission operations, simulation
of a day-in-the-life of the ISS, knowledge management for future
launch vehicles, and developing flight systems that make automation
more transparent.
                               
Clancey has degrees in Mathematical Sciences (BA, Rice University,
1974) and Computer Science (PhD, Stanford University, 1979). At the
Knowledge Systems Laboratory of Stanford University (1974-1987),
Clancey developed some of the earliest artificial intelligence
programs for explanation, the critiquing method of consultation,
tutorial discourse, and student modeling. Prior to joining NASA, he
was a founding member of the Institute for Research on Learning
(1987-1997) where he co-developed the methods of business anthropology
in corporate environments.
                             ____________

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

   "Security and risk management in the online service environment:
                   the case of Microsoft Passport"
                               Cem Paya
                              Microsoft
   
This talk will explore the challenges associated with managing
security for the Microsoft Passport identity management system.
Identity management in itself is a well-understood problem but the
unique characteristics of operating a service for 200M end-users adds
new complications. As starting point we examine where identity
management fits in the bigger picture of online interactions, explain
the reasons why Passport exists and offer predictions about how
authentication on the Internet is likely to evolve. Strict constraints
around reliability, interoperability with installed software base and
ease-of-use apply to security measures which can be deployed for a
service of this nature. We observe that the risk model for a service
is inherently different than that of a shrink-wrapped application,
which has implications for operations, incident response and
vulnerability disclosure. That unique character drives the overall
strategy and determines how different pieces such as cryptography,
systems security, human factors, operations, policy and economics
interact. These implications will be examined in the context of
specific problems Passport faces, including the efficient use of
cryptography on large scale and battling spam for Hotmail.
                             ____________

                    SSP10: SYMBOLIC SYSTEMS FORUM
                   on Thursday, 3 June 2004, 4:30pm
                     Bldg. 380:380C (Math Corner)
    http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events

                Presentations of Senior Honors Projects
                   SSP Honors Students, Class of '04

 4:30pm Rachel Mackenzie, 
        "Diagrammatic Narratives: Telling Stories 
        Effectively with Scientific Diagrams" 
        (Honors Advisor: Barbara Tversky, Psychology; 
        Second Reader: Keith Devlin, CSLI)

 4:45pm  Mia Silverman, 
        "Shared Representations in Effective Collaborative Problem-Solving" 
        (Honors Advisor: Barbara Tversky, Psychology; 
        Second Reader: Terry Winograd, Computer Science)

 5:00pm Jennifer Yoon, 
        "The Mind Behind the Motion: Infants Act on Mentalistic 
        Information in a Biological Motion Display by Twelve Months"
        (Honors Advisor: Susan Johnson, Psychology: 
        Second Reader: Ellen Markman, Psychology)

Refreshments will be served afterward
                             ____________

                             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
                             ____________