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, 5 April 2000, vol. 15:25



       
     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
______________________________________________________________________

5 April 2000                  Stanford                  Vol. 15, No.25
______________________________________________________________________

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

	      ACTIVITIES FROM 5 APRIL TO 14 APRIL 2000

 	
WEDNESDAY, 5 APRIL

	4:00pm	GEOMETRIC ANALYSIS SEMINAR
		Building 380:381T
		Holomorphic Connections and Lagrangian Cycles
		Jingyi Chen 
		University of British Columbia
		http://math.stanford.edu/html/seminars.html

	4:15pm	Broad Area Colloquium For
		AI-Geometry-Graphics-Robotics-Vision
		TCseq201, Lecture Hall B
		How Common Sense Might Work 
		Kenneth D. Forbus 
		Qualitative Reasoning Group
		Northwestern University 
		http://robotics.stanford.edu/ba-colloquium/
		Abstract below

	4:15pm	Computer Systems Laboratory Colloquium
		Gates Computer Science Building: B03 (NEC Auditorium)
		Identity in a Networked World 
		Pierluigi Zappacosta and Vance Bjorn
		Digital Persona Inc. 
		http://www.stanford.edu/class/ee380  
		Abstract below

	4:15pm  CS531: SCCM Seminar
		Gates B12
		Grobner Bases
		Bernd Sturmfels
		UC Berkeley, Department of Mathematics 
		http://www-sccm.stanford.edu/nflash/nf-seminars.html
		 

THURSDAY, 6 APRIL	

	3:15pm	Stanford Learning Lab Presentation
		Press Warehouse, Press Staff Training Room
		Program on the Professions: Study of
                Engineering Education
		Sheri Sheppard 
                Senior Researcher, Carnegie Foundation for the 
		Advancement of Teaching and Associate Professor, 
		Stanford University
		http://sll.stanford.edu/speakers/spr00.html 

	4:00pm	Xerox PARC Forum
		George Pake Auditorium at Xerox PARC
		Characters Everywhere 
		Barbara Hayes-Roth  
		Computer Science Department, Stanford &  
		Extempo Systems, Inc. 
		http://www.parc.xerox.com/forum
		Abstract below

	4:15pm	Mathematics Colloquium
		Building 380:380W
		Counting Periodic Orbits in Billiards and 
		Flat Surfaces
		Howard Masur 
		University of Illinois
		http://math.stanford.edu/html/seminars.html	

	4:15pm	Seminar on Computational Learning and Adaptation
		Cordura 100
		Exploring Analogy in the Large
		Kenneth D. Forbus 
		Qualitative Reasoning Group
		Northwestern University 
		http://www-csli.stanford.edu/events/
		Abstract below

	4:15pm	Stanford Algorithms Seminar
		Gates Building 498
		Approximate Sequence Nearest Neighbors
		S. Cenk Sahinalp 
		Case Western
		http://Theory.Stanford.EDU/~aflb/
		Abstract below

	4:15pm	US Japan Technology Management Center
		Skilling Auditorium 
		The Tera Era
		Waguih Ishak
	 	Agilent Technologies Labs
		http://fuji.Stanford.edu/seminars/spring00/  
		Abstract below


FRIDAY, 7 APRIL

	12:15pm	CSLI CogLunch Seminar
		Cordura 100
		Qualitative Physics as a Language for 
		Cognitive Modeling
		Kenneth D. Forbus 
		Qualitative Reasoning Group
		Northwestern University 
		http://www-csli.stanford.edu/events/
		Abstract below

	12:30pm	CS547: Stanford Seminar on People, Computers, 
		and Design
		Gates B03 (NEC Classroom)
		Spoken User Interfaces
		Robert Carpenter
                SpeechWorks International
		http://pcd.stanford.edu/seminar
		Abstract below

	2:00pm	US Japan Technology Management Center
		Encina Hall
		Third floor, South Wing
		Entrepreneurship in Asia
		Various Speakers
		http://fuji.stanford.edu/staff/rdasher.html
		Abstract below

	3:00pm	Applied Math Seminar
		Building 380:380C
		Fictitious Domains, Mixed Finite Elements and 
		Perfectly Matched Layers for Elastic Wave Propagation
		Chrysoula Tsogka   
		Stanford University
		http://math.stanford.edu/html/seminars.html

	3:15pm	Infolab Seminar
		201 T-Seq
		Analytic Functions in Oracle 8i
		Abhinav Gupta
		Oracle
		http://www-db.stanford.edu/dbseminar/dbseminar.html

	3:30pm	Linguistics Colloquium
		Building 460:126
		Linguistics Methodology Meets Language Reality:
		The Quest for Robustness, Scalability and Portability
                in Building (Spoken) Language Applications
		Robert Carpenter
                SpeechWorks International
		http://calendus.stanford.edu/linguistics-colloquia/
		Abstract below


MONDAY, 10 APRIL

	4:00pm	Computer Science Seminar
		CIS Extension:101 
		Static Analysis and Computer Security:  
		New Techniques for Software Assurance
		David Wagner
		UC Berkeley
		http://campus-calendar.stanford.edu/CS/
		Abstract below

	4:15pm	CS531: SCCM Seminar Series
		Gates:B12 
		Ritz and Harmonic Ritz Approximations 
		Henk van der Vorst 
		Mathematical Institute, Utrecht University 
		http://www-sccm.stanford.edu/nflash/nf-seminars.html


WEDNESDAY, 12 APRIL

	12:00pm	Developmental Brownbag Lecture
		Jordan Hall:286
		The Preadolescent Heterosexual Market and
                the Emergence of a Peer-Based Social Order
		Penelope Eckert
		Stanford University
		http://matia.stanford.edu/html/talks.html#frisem
		
	12:45pm	Stanford Networking Seminar
		Room 150, McCullough Building 
		Mobile IP and Cellular Telephony
		Charles E. Perkins 
		Nokia Research Laboratories 
		http://netseminar.stanford.edu/

	4:15pm	Broad Area Colloquium For
		AI-Geometry-Graphics-Robotics-Vision
		TCseq201, Lecture Hall B
		The Toy Robots Initiative: Educational and
		Interactive Robotics 
		Illah R. Nourbakhsh 
		Assistant Professor of Robotics 
                The Robotics Institute, Carnegie Mellon University 
		http://robotics.stanford.edu/ba-colloquium/#Schedule
		Abstract below

	4:15pm	EE380: Computer Systems Laboratory Colloquium
		Gates B03 (NEC Auditorium)
		A Pseudonymous Communications Infrastructure for
                the Internet 
		Ian Goldberg
		Chief Scientist and Head Cypherpunk
		Zero-Knowledge Systems 
		http://www.stanford.edu/class/ee380/
		Abstract below
  

THURSDAY, 13 APRIL

	12:00pm	Award-Winning Teachers on Teaching Presentation
		Hartley Conference Ctr, 
		Mitchell Earth Sciences Building
		Teaching by the Case Method
		Mary Barth
		Stanford University
		http://www-ctl.stanford.edu/events.html

	4:15pm	US Japan Technology Management Center
		Skilling Auditorium 
		CyberDisplay: Revolutionary Displays for 
		Portable Products
		Dr. John Fan
		President, Chairman & Founder, Kopin Corporation
		http://fuji.Stanford.edu/seminars/spring00/  


FRIDAY, 14 APRIL

	12:30pm	CS547: Human-Computer Interaction Seminar
		Gates B03
		Wearable Computers and their HCI Issues
		Vaughan Pratt
		Stanford University
		http://www-pcd.stanford.edu/cs547/

	3:15pm	Infolab Seminar
		201 T-Seq
		XML and e-commerce 
		Jon Bosak
		Sun Microsystems
		http://www-db.stanford.edu/dbseminar/dbseminar.html

	3:30pm	Semantics and Pragmatics Lecture
		Building 460:126
		Discovering the Sounds of Discourse Structure
		Barbara Grosz 
		Harvard University
		Why Dynamic Semantics Needs Discourse Structure
		Alex Lascarides
                University of Edinburgh
		http://www-linguistics.stanford.edu/Linguistics

			     ____________

			     ANNOUNCEMENT

		   Stanford University presents the
	CSLI Distinguished Lecture Series in Cognitive Science
		Ken Forbus, Northwestern University

The Center for the Study of Language and Information presents a
lecture series designed to increase interaction among cognitive
scientists at Stanford and in the surrounding community. This lecture
series will bring to campus for multiday visits senior researchers
over the course of spring quarter.

			    April Speaker:

			  Kenneth D. Forbus
		     Qualitative Reasoning Group
		       Northwestern University

Ken Forbus is a Professor of Computer Science and Education in the
Qualitative Reasoning Group. Before coming to Northwestern, Professor
Forbus was the head of the Artificial Intelligence group at the
Beckman Institute at the University of Illinois at
Urbana-Champaign. Professor Forbus received his Ph.D. from MIT in
1984 in Artificial Intelligence, received an NSF PYI award in 1987,
and was elected a AAAI Fellow in 1992. His interest in the
construction of intelligent tutoring systems and learning environments
stems in part from his experience working on the STEAMER Project at
Bolt, Beranek, and Newman in the 1980s.
 
for further information, browse to:

     http://www-csli.stanford.edu/events/Lectures/lectures.shtml

			     ____________

		      BROAD AREA COLLOQUIUM FOR
		 AI-GEOMETRY-GRAPHICS-ROBOTICS-VISION
		  on Wednesday, 5 April 2000, 4:15pm
		       TCseq201, Lecture Hall B
	     http://robotics.stanford.edu/ba-colloquium/
		
		     How Common Sense Might Work
			  Kenneth D. Forbus
		     Qualitative Reasoning Group
		       Northwestern University

This talk describes how a combination of analogical and
first-principles reasoning, relying heavily on qualitative
representations, might provide a computational model of common sense
reasoning. I discuss some of the psychological and computational
support for this approach, and illustrate how it can be used in
building new kinds of applications, including educational software.
			     ____________

		COMPUTER SYSTEMS LABORATORY COLLOQUIUM
		  on Wednesday, 5 April 2000, 4:15pm
	Gates Computer Science Building: B03 (NEC Auditorium)
		 http://www.stanford.edu/class/ee380
		
		    Identity in a Networked World
		 Pierluigi Zappacosta and Vance Bjorn
			 Digital Persona Inc.
		
An increasing number of meaningful social interactions are taking
place through the intermediation of computers. The World Wide Web has
given this trend a global reach that makes it possible for individuals
in distant corners of the world to engage in spontaneous
interactions. One of the remaining obstacles to an even larger
adoption of web-enabled transactions is the lack of convenient digital
identities and of convenient ways to authenticate.

In this talk we discuss the issue of identity, as it transitions from
the real world to the digital world, and demonstrate two
biometrics-based authentication systems, recently announced by Digital
Persona, one designed for "inside-the-firewall" transactions and
the other for transactions over the web. We finally discuss some of
the underlying technical components of these systems and some of the
challenges encountered during their development.

About the speaker:

Pierluigi Zappacosta is Chairman of Digital Persona. Previously he was
a founder of Logitech, where he worked over a 16-year period in
various roles, including President and CEO. He holds an MS in Computer
Science from Stanford University and a Laurea in Electrical
Engineering from the Universita di Roma, Italy.

Vance Bjorn is Chief Technology Officer of Digital Persona. He
received his undergraduate and graduate degrees from the Electrical
Engineering department at Caltech where he specialized in computation
and neural systems (CNS). In starting DigitalPersona he went on leave
from his studies as a National Department of Defense graduate fellow
at the MIT AI Lab.
			     ____________

			   XEROX PARC FORUM
		  on Thursday, 6 April 2000, 4:15pm
		 George Pake Auditorium at Xerox PARC
		   http://www.parc.xerox.com/forum
		
			Characters Everywhere
			  Barbara Hayes-Roth
	       Computer Science Department, Stanford &
			Extempo Systems, Inc.

Going about our business in the world is easy and largely successful,
at least in part because the world has a great user interface -
people. It's easy for us to communicate with people through
conversation and gesture. They have excellent skills for helping us,
acting as teachers, tour guides, sales assistants, customer service
agents, and many other helpful roles. And people make our lives
interesting with their multi-faceted personalities, their social
warmth, and their individual stories. By contrast, today's Internet is
a cold and lonely place. How can we bring the high-function/high-touch
experience of interacting with people to the Internet? I propose an
answer that combines business, technology, psychology, and art -
interactive characters. I will discuss behavioral and technical
requirements and for interactive characters and demonstrate several
characters designed to assist people in commerce, learning, and play.

Barbara Hayes-Roth directs the Virtual Theater Project at Stanford
University. A Ph.D. in Cognitive Psychology and AAAI Fellow, Barbara
has published over 100 articles and given many invited lectures in the
U.S. and abroad. In 1995, Barbara founded Extempo Systems, Inc., which
develops characters for commercial applications in electronic
commerce, learning, and entertainment. . She recently was awarded a
patent for her invention, "System and Method of Directed Improvisation
by Computer Characters."		
			     ____________

	   SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
		  on Thursday, 6 April 2000, 4:15pm
			     Cordura 100
		 http://www-csli.stanford.edu/events/
		
		    Exploring Analogy in the Large
			  Kenneth D. Forbus
		     Qualitative Reasoning Group
		       Northwestern University

Cognitive simulation, tightly coupled with psychological
experimentation, has led to significant progress in understanding
analogical mapping and retrieval by exploring these processes in
isolation.  However, psychological evidence suggests that structural
alignment plays a central role in many cognitive processes.
Consequently, an important test for cognitive simulations of
analogical processes is the integration constraint, that is, whether
they can be used as components in larger-scale simulations.  Such
larger-scale simulations can potentially extend the range of phenomena
that can be modeled, and expose new constraints on how these component
processes interact with other processes in cognitive systems.  This
talk presents arguments for, and examples of, large-scale analogical
processing, ranging from a simulation of infant language learning data
to case-based coaching for educational software.		
			     ____________

		     STANFORD ALGORITHMS SEMINAR
		  on Thursday, 6 April 2000, 4:15pm
			  Gates Building 498
		  http://Theory.Stanford.EDU/~aflb/
		
		Approximate Sequence Nearest Neighbors
			   S. Cenk Sahinalp
			     Case Western

We study sequence nearest neighbors problem. Let D be a database of n
sequences; we would like to preprocess D so that given any on-line
query sequence Q we can quickly find a sequence S in D for which
d(S,Q) < d(S,T) for any other sequence T in D. Here d(S,Q) denotes the
distance between sequences S and Q, and is defined to be the minimum
number of edit operations needed to transform one to another (all edit
operations will be reversible so that d(S,T) = d(T,S) for any two
sequences T and S). These operations correspond to the notion of
similarity between sequences in intended application. Such edit
operations include character edits (inserts, replacements, deletes
etc), block edits (moves, copies, deletes, reversals) and block
numerical transformations (scaling by an additive or a multiplicative
constant). We present the first known efficient algorithm for
``approximate'' nearest neighbor search for sequences with
preprocessing time and space polynomial in size of D and query time
near-linear in size of Q. We assume the distance d(S,T) between two
sequences S and T is the minimum number of character edits and block
operations needed to transform one to the other; the approximation
factor we achieve is O(log l log*^2 l), where l is the size of the
longest sequence in D.

Joint work with S. Muthukrishnan.
			     ____________

		US JAPAN TECHNOLOGY MANAGEMENT CENTER
	     on Thursday, 6 April 2000, 4:15pm to 5:30pm
			 Skilling Auditorium
	     http://fuji.Stanford.edu/seminars/spring00/
		
			     The Tera Era
			     Waguih Ishak
		      Agilent Technologies Labs

We are approaching an era in which people will need 1-Gbit/s
communications ports in their offices, their homes, and even on the
road. These high-speed communications ports will enable telecommuting,
telemedicine, teleeducation, and a variety of multimedia applications
for entertainment and computing.  These demands for high-speed
communications will require new telecommunications and data
communications infrastructure with terabit/s data rates. Additionally,
these communications networks will require very high-speed computers
(Tflops), very high-speed instrumentation (THz), and large information
storage (Tbytes). The technologies needed to reach these rates are
being worked on at many R&D organizations around the world. In fact,
many demonstrations have been completed in 1996-1997 showing 1-Tbit/s
communications links over more than 100 kilometers, 1-Tflops
computers, and 1-THz instrumentation. -Thus, we can safely say that
the Tera Era is on the horizon.

Speaker Bio:

Waguih Ishak is the director of the Communications and Optics Research
Laboratory (CORL) at Agilent Labs in Palo Alto, Calif. Waguih received
bachelor's degrees in electrical engineering from Cairo University in
1971 and in mathematics from Ain Shams University, located near Cairo,
in 1973. He received his master's and doctorate degrees in electrical
engineering from McMaster University in Ontario, Canada, in 1975 and
1978, respectively.

Waguih joined HP Labs in 1978 and began designing magnetic bubble
propagation and detection circuits and surface acoustic wave (SAW)
low-loss filters. In 1987, he became the manager of the Photonics
Technology Department and in 1995 was named the director of CORL,
which explores photonics (fiber optics, integrated optics,
optoelectronics, and micro optics) and integrated electronics.

In December of 1995, Waguih became the manager of the Communications &
Optics Research Laboratory in the Measurement Research Center at
Agilent Laboratories.  Waguih has written about 40 journal and
conference papers, four chapters in the "Handbook of Electronic
Instruments."  He is named an inventor in seven patents.
			     ____________

			CSLI COGLUNCH SEMINAR
		   on Friday, 7 April 2000, 12:15pm
			     Cordura 100
		 http://www-csli.stanford.edu/events/

		Qualitative Physics as a Language for
			  Cognitive Modeling
			  Kenneth D. Forbus
		     Qualitative Reasoning Group
		       Northwestern University
		
Most research in qualitative reasoning has been driven by applications
in engineering, education, and other areas.  However, I believe that
perhaps the most important role for qualitative physics is providing
representations and reasoning techniques for cognitive modeling.  This
talk will examine ideas from qualitative physics in this light,
including speculations on how they can be used for modeling
developmental results, as a component in natural language semantics,
and as a bridge between perceptual and conceptual representations.
			     ____________

       CS547: STANFORD SEMINAR ON PEOPLE, COMPUTERS, AND DESIGN
	      on Friday, 7 April 2000, 12:30pm to 2:00pm
		      Gates B03 (NEC Classroom)
		   http://pcd.stanford.edu/seminar
		
			Spoken User Interfaces
			   Robert Carpenter
		      SpeechWorks International

My talk provides a practical, step-by-step overview of the issues
surrounding spoken user interfaces.  Concentrating on telephony call
center applications with natural spoken language interfaces, I will
cover the entire application lifecycle: design and prototyping,
coding, back-end and platform integration, deployment, tuning and
testing.

I will detail the process we use at SpeechWorks, beginning with
customer-centered user-interface design and prototyping, which leads
to a detailed specification.  I will then discuss the issues involved
in coding the specification on a development environment, of which we
use several telephony specific platforms and plain old C++ code.  I
will then focus on how interfaces are ramped up during deployment,
during which time tuning and testing is fairly intense.

I will conclude with an overview of some of the future directions in
spoken user interfaces, focusing flexibility and naturalness.  I will
consider the design of a dialogue system to accommodate various kind
of user profiles, from naive first-time users to sophisticated repeat
visitors.  Another issue I will bring up is whether we should be
building systems that are as human-like as possible, or whether we
should be considering alternative design strategies.  I will also
briefly discuss plans underway through the W3C, the VoiceXML alliance,
and proprietary solutions already available that deliver a WWW-like
interface through a speech-only interface.

Throughout, I will support the discussion with case studies, try to
show you how we actually do things at SpeechWorks, and I will provide
demos of some of our deployed systems. If you'd like to try one of
systems on your own time before or after the talk, I would suggest:

    United Airline Flight Info: 1.800.241.6522
        a.  choose option 1 from initial menu to get our
            spoken flight info;  it's all United offers now
        b.  try to get info on a flight;  you might try to
            get one arriving into San Francisco from New York's
            John F Kennedy (JFK) airport at around 3 PM.  Try
            to see what happens if you mumble, or say the wrong
            time or airport.
			     ____________

		US JAPAN TECHNOLOGY MANAGEMENT CENTER
	      on Friday, 7 April 2000, 2:00pm to 4:00pm
			     Encina Hall
		       Third floor, South Wing
	     http://fuji.stanford.edu/staff/rdasher.html
		
		       Entrepreneurship in Asia
			   Various Speakers
		
As a part of the Asia Pacific Student Entrepreneurship Summit being
held at Stanford from April 4-9, 2000, this seminar will address
issues of entrepreneurship and business development in Asia. Over 20
student delegates have been selected to participate in the summit from
Japan, Korea, Hong Kong and Singapore. The "Entrepreneurship in Asia"
seminar will consist of a cross-sector panel of Silicon Valley experts
as respondents to presentations about entrepreneurship in those
countries. Discussion will focus on obstacles entrepreneurs in Asia
face, current business trends, and opportunities for cooperation
between entrepreneurs in Silicon Valley and Asia.

Moderator: 
- Professor Richard Dasher, Director, US-Japan Technology
Management Center, Stanford University
(http://fuji.stanford.edu/staff/rdasher.html)

Panelists: 
- Frederick Giarrusso, Founder, Bay Enterprises LLC,
(http://www.eet.com/story/eezine/OEG19990908S0002) 
- Andrew M. Isaacs, Lecturer, Management of Technology Program, 
Haas School of Business; President, California Technology 
International(http://www.cti-pacrim.com) 
- Thomas R. Radcliffe, Partner, Graham & James LLP (www.gj.com)
			     ____________

			LINGUISTICS COLLOQUIUM
		   on Friday, 7 April 2000, 3:30pm
			   Building 460:126
	 http://calendus.stanford.edu/linguistics-colloquia/
		
	   Linguistics Methodology Meets Language Reality:
	The Quest for Robustness, Scalability and Portability
	      in Building (Spoken) Language Applications
			   Robert Carpenter
		      SpeechWorks International

We are in the midst of an extraordinary paradigm shift in the theory
and application of linguistics.  I will argue that three factors are
at the root of this trend.  First, the ever-increasing power of
computers has enabled the development and testing of systems on a
scale that was unthinkable a generation ago.  Second, the convergence
of communication and computation devices on a common network
infrastructure will integrate speech and language interfaces in the
same way that the last generation saw the integration of graphics.
Third, the evaluation criteria for substantive linguitsic claims are
becoming more empirical and less rhetorical, especially in
computational and psychological circles.

Our main challenges in developing language applications are that of
robustness, scalability and portability.  Ideally, communication by
natural language should be fault tolerant in the face of acoustic
noise, disfluencies, unknown words and constructions, and so on.  For
widespread deployment, systems must be scaled beyond toy examples to
handle real language and solve real tasks in order to be practical.
Finally, applications need to be portable because it is not practical
to spend dozens of person years building a simple application.  These
desiderata have dominated recent computational work and motivate new
empirical foundations for linguistics.

My goal in this talk will be to lay out the conceptual foundations of
this new empirical conception of language.  The principal shift is
from a discrete notion of grammaticality to a graded notion of
interpretability, recasting the central role of language as a dynamic
communication medium rather than a static set of discrete rules.  I'll
provide a Bayesian statistical foundation and show how it is a natural
extension of our current conceptions of language as a computational
system.  I'll draw on concrete examples from the phonology
(pronunciation modeling), phonetics (allophonic realization), syntax
(parsing), semantics (concept modeling), discourse structure
(reference and co-reference), and generation (balancing conflicting
Gricean maxims).

Rather than having to give up our linguistic theorizing, I conclude
that our new empirical, computational foundations will rescue
linguistics from the academic backwaters and enable truly natural
human/machine communication.	
			     ____________

		       COMPUTER SCIENCE SEMINAR
	      on Monday, 10 April 2000, 4:00pm to 5:00pm
		       CIS Extension, Room 101
	       http://campus-calendar.stanford.edu/CS/
		
		Static Analysis and Computer Security:
		New Techniques for Software Assurance
			     David Wagner
			     UC Berkeley
		
One of the greatest challenges in computer security today is the
software assurance problem: How do we deal with the fact that our most
trusted software, even our security software itself, is often buggy?
I will argue that static analysis can be a powerful tool for software
assurance, providing an entirely new approach to the problem.

I will describe my recent experience with two test applications which
provide strong support for this methodology.  First, I will describe
new techniques for automated buffer overrun detection that helped find
serious new vulnerabilities in a large, widely deployed software
package (even though it had already been hand-audited). Second, I will
examine intrusion detection, showing how static analysis allows us to
detect potential break-ins without raising any false alarms. In both
cases, a key selling point of static analysis is that it allows us to
proactively eliminate or neutralize security bugs before they are
exploited.

David Wagner is a Ph.D. candidate at UC Berkeley advised by Eric
Brewer.  He received his AB in Mathematics from Princeton University,
and his MS in Computer Science from UC Berkeley. He is Co-founder of
UC Berkeley's ISAAC security research group.
			     ____________

		      BROAD AREA COLLOQUIUM FOR
		 AI-GEOMETRY-GRAPHICS-ROBOTICS-VISION
		 on Wednesday, 12 April 2000, 4:15pm
		       TCseq201, Lecture Hall B
	 http://robotics.stanford.edu/ba-colloquium/#Schedule
		
	      The Toy Robots Initiative: Educational and
			 Interactive Robotics
			 Illah R. Nourbakhsh
		   Assistant Professor of Robotics
	  The Robotics Institute, Carnegie Mellon University
		
In 1998 we founded the Toy Robots Initiative at The Robotics
Institute. Its research charter focuses on human-robot interaction,
elegant robot mechanism and educational robotics.  I will describe our
research as well as our educational projects, and then I will provide
some entertaining wisdom regarding effective collaboration with toy
companies. You can learn more about the initiative at
www.cs.cmu.edu/~illah/EDUTOY.

About the Speaker:

Illah R. Nourbakhsh is an Assistant Professor of Robotics in The
Robotics Institute at Carnegie Mellon University. He received his
Ph.D. in computer science from Stanford University in 1996. He is
co-founder of the Toy Robots Initiative at The Robotics Institute. His
current research projects include electric wheelchair sensing devices,
robot learning, theoretical robot architecture, believable robot
personality, visual navigation and robot locomotion. His past research
has included protein structure prediction under the GENOME project,
software reuse, interleaving planning and execution and planning and
scheduling algorithms. At the Jet Propulsion Laboratory he was a
member of the New Millenium Rapid Prototyping Team for the design of
autonomous spacecraft. He is a founder and chief scientist of Blue
Pumpkin Software, Inc. and Mobot, Inc. He is also chief scientist of
Hyperbot, Inc, and leads robot autonomy for Probotics, Inc.
			     ____________

	    EE380: COMPUTER SYSTEMS LABORATORY COLLOQUIUM
		 on Wednesday, 12 April 2000, 4:15pm
		      Gates B03 (NEC Auditorium)
		 http://www.stanford.edu/class/ee380/

	   A Pseudonymous Communications Infrastructure for
			     the Internet
			     Ian Goldberg
		 Chief Scientist and Head Cypherpunk
			Zero-Knowledge Systems
		
The underlying structure of the Internet Protocol requires users of
the Internet to reveal their IP addresses to those with whom they
communicate. This and other things (such as cookies) allow data
collection, tracking, and other privacy violations without the user's
consent. It also makes it difficult for some people to speak out
against oppressors (be they an employer or a government), for fear of
repercussions.

Anonymous remailers and other so-called "Privacy-Enhancing
Technologies" have been around for quite a while, but they are
difficult to use, and are often limited in the extent or effectiveness
in which they can pretect users' identities.

In this talk, I will discuss protocols for allowing anonymous and
pseudonymous use of any IP-based service. These protocols can be
leveraged to provide services such as anonymous web browsing,
pseudonymous email and newsgroup posting, and private electonic
payment systems, and are the basis for Zero-Knowledge Systems' Freedom
product.

About the speaker:

Ian Goldberg is Chief Scientist and Head Cypherpunk of Zero-Knowledge
Systems, a Montreal-based company producing privacy software for
consumers. He is simultaneously completing his PhD from the University
of California, Berkeley, where his research interests include privacy
systems, cryptography, security, and electronic cash.  In the past, he
has been known to find security holes in Netscape's SSL
implementation, to break cryptographic algorithms used in GSM cell
phones, and to throw a lot of parties.
			     ____________


                             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. 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://nntp.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
                             ____________