[Date Prev][Date Next][Date Index]
CSLI Calendar, Thursday, 2 August 2001, vol. 16:36
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
______________________________________________________________________
2 August 2001 Stanford Vol. 16, No. 36
______________________________________________________________________
A weekly publication of the
Center for the Study of Language and Information (CSLI)
Stanford University, Ventura Hall, Stanford, CA 94305-4115
____________
ACTIVITIES FROM 2 AUGUST 2001 TO 9 AUGUST 2001
THURSDAY, 2 AUGUST 2001
1:00pm Stanford Web-Creators Group meeting
Turing Auditorium
Accessibility Issues for Web-Creators
Shelley Haven
Technology Coordinator for the Disability Resource Center
(This is for the Stanford community)
http://web-creators.stanford.edu/
4:00pm Xerox PARC Forum
George Pake Auditorium at Xerox PARC
Sharks of the California Central Coast
Sean R. van Sommeran
The Pelagic Shark Research Foundation, Santa Cruz
http://www.parc.xerox.com/ops/projects/forum/
MONDAY, 6 AUGUST 2001
9:00am CSLI Seminar
Cordura 100
Seminar on Inclusive Design
Roger Coleman
Royal College of Art, London
Abstract below
THURSDAY, 9 AUGUST 2001
2:00pm Special University Oral Examination
Packard Bldg. room 101
Checking Validity of Quantifier-Free Formulas in Combinations
of First-Order Theories
Clark Barrett
Computer Science
http://sprout.Stanford.EDU/~barrett/
____________
ANNOUNCEMENT
This is one of the irregular summer CSLI Calendars.
____________
CSLI SEMINAR
on Monday, 6 August 2001, 9:00am - 5:00pm
Cordura 100
Seminar on Inclusive Design
Led by
Roger Coleman
Co-director, Helen Hamlyn Research Centre, Royal College of Art, London
Prof Patricia Moore
Arizona State University (USA)
Neil Scott
Leader and Chief Engineer, Archimedes Project, CSLI
Ing-Marie Jonsson
Dejima Inc. (USA)
Roger Coleman from the Royal College of Art in London is one of
Britain's top designers and is in the States for a conference next
week. He has agreed to do a one-day seminar at CSLI while he is here.
Three themes will be explored during this full-day seminar:
1. Ideals and Practicalities of Inclusive Design
2. The Business Case for Inclusive Design
3. The (Inclusive) Design Opportunity
Breaking boundaries, moving beyond currently held views and crossing
over to new territories are some of the descriptions that are being
applied to the new theme of inclusive design. Designers are beginning
to realize that there are new ways of viewing the issues of
accessibility and new paths to solving them.
Moving beyond stereotypes is perhaps the most significant. While there
is currently a great deal of interest in finding better ways to
integrate disabled and the elderly people into the socio-economic
fabric of society, it is becoming clear that within these groups,
elderly fall within a much wider continuum of differently abled
people.
Products and services that were better designed to function in general
helped all consumers. Of course, there are exceptions. The
retrofitting of Fiat cars, for example, to allow disabled people to
drive, shows what can be done in these circumstances. But, by and
large, universally designed products are not only better for older
persons with arthritis, but just about everyone else as well. Curb
cuts not only allow mobility for people sitting in wheelchairs, but
moms wheeling their babies around in carriages, teenagers riding about
on bicycles and 11-year olds bombing around on skate boards or
scooters.
Inclusive design will move us beyond the stereotype of specific groups
needing special care to a diversity of groups needing better, common
care in terms of improved design of everyday things.
Moving beyond legislation is perhaps the second most important
breakthrough resulting from inclusive design. Many people realize that
the marketplace is an essential ingredient in integrating all groups,
including the disabled and the elderly, into the socio-economic stew
that is society. Legislation can play a significant role in putting
pressure on corporations to increase accessibility and end
discrimination. The terrible frustration felt by many people at the
continued failure of the commercial world to meet the needs of the
disabled and elderly reflects the reality that a legal stick is not
sufficient.
There is often a great deal of anger displayed against 'bad'
corporations and a 'bad', uncaring marketplace. Yet the corporation as
an institution and the marketplace as a whole are neither "good" nor
"bad" per se. They are motivated by profit, not morality. Thus, the
most efficacious way of including all differently abled people is to
persuade corporations to design their products and services so that
much larger numbers of people can use them, thereby increasing their
profits.
One final thought. In the US, rapid economic growth and a very tight
labor market in recent years provided powerful incentives to companies
to open their doors to those who were previously seen as too expensive
or difficult to employ. People who had been 'out' were welcomed inside
because they were desperately needed. New technologies made
integration that much easier. In addition, the shift to an
information-based economy has raised the value of mind-power. Managing
information or creating new products has become all-important. The
only body part that companies really want these days is the mind. This
can be satisfied in large part by people working in the office, at
home or virtually anywhere.
Agenda
9:00am Introduction to the theme of the seminar
by Patricia Moore and Roger Coleman.
10:00am Break
10:20am Neil Scott and Ing-Marie Jonsson will elaborate on the theme
One-size-does-not-fit-all and demonstrate practical solutions.
11:20am Ade Mabogunje will present a business case for inclusive design
12 noon Lunch
1:00pm Invited Talks and Interactive Sessions
moderated by Patricia Moore and Roger Coleman.
Presenters include:
Mark Stimpson, Oracle,
Darcey Imm, Adobe,
Christine Peterson or Rolf Merkle, Foresight Institute
Babak Hodjat, Dejima Inc..
4:00pm Wrap Up panel
____________
SPECIAL UNIVERSITY ORAL EXAMINATION
on Thursday, 9 August 2001, 2:00pm - 3:00pm
Packard 101
Checking Validity of Quantifier-Free
Formulas in Combinations of First-Order
Theories
Clark Barrett
Computer Science, Stanford
An essential component in many verification methods is a fast decision
procedure for validating logical expressions. This thesis presents
several advances in the theory and implementation of such decision
procedures, developed as part of ongoing efforts to improve the
Stanford Validity Checker. We begin with the general problem of
combining satisfiability procedures for individual theories into a
satisfiability procedure for the combined theory. Two known
approaches, those of Shostak and Nelson and Oppen, are described. We
show how to combine these two methods to obtain the generality of the
Nelson-Oppen method while retaining the efficiency of the Shostak
method. Next, strategies for developing decision procedures for
individual theories are discussed, with several specific examples.
Finally, validity checking requires that a heuristic search be built
on top of the core decision procedure for satisfiability. We discuss
strategies for efficient heuristic search and show how to adapt
several powerful techniques from current research on Boolean
satisfiability.
____________
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
In addition Cognitive Science events in or near Stanford should also
be posted to http://calendus.stanford.edu/CogSci/ (need to have a
sunet id).
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://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
____________