[Date Prev][Date Next][Date Index]
CSLI Calendar, Wednesday, 19 November 2003, vol. 19:12
CSLI CALENDAR OF PUBLIC EVENTS
______________________________________________________________________
19 November 2003 Stanford Vol. 19, No. 12
______________________________________________________________________
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 19 NOVEMBER 2003 TO 28 NOVEMBER 2003
WEDNESDAY, 19 NOVEMBER 2003
12 noon Psychology Developmental Brownbags
Bldg. 420:286
"The myth of the final criterion"
Michael Strevens
Stanford University
http://www-psych.stanford.edu/news.html#dev_brownbag
3:45pm Psychology Department Colloquium
Jordan Hall 420:041
"How does evolution build a complex brain?"
Leah Krubitzer
UC Davis
http://www-psych.stanford.edu/news.html
4:15pm Stanford Computer Forum Emeritus Lecture
Packard 101
"The Database Course as Poster Child for More Efficient Education"
Jeff Ullman
Computer Science, Stanford
http://forum.stanford.EDU/events/lecture/
Abstract below
4:15pm EE380: Computer Systems Lab Colloquium
Gates B03 (NEC Auditorium)
"Improving the Security Structure through Code Identity"
John Manferdelli
Windows Trusted Platform Infrastructure, Microsoft
http://ee380.stanford.edu/contents.html
THURSDAY, 20 NOVEMBER 2003
10:30am Special Seminar
CIS-101
"A Brief Introduction to the Digital Signal Processing Systems
R&D Center of Texas Instruments"
Robert Hewes
Vice President and Director, DSPS R&D Center, Texas Instruments
and
"The Wireless Last Mile - When There's a Will There's a Way"
Don Shaver
Director Communication Systems Laboratory, DSPS R&D Center,
Texas Instruments
12 noon Award Winning Teachers Speaker Series
Bldg 460:426 (English Terrace room)
"Is Teaching a Calling or a Profession:
Teaching Literature in an Uncertain Age"
Seth Lerer
http://ctl.stanford.edu/Events/
12:15pm Stanford Networking Seminar
Packard 202
"Cross-Layer Adaptation for Quality-Aware and Energy-Efficient
Next Generation Mobile Multimedia Devices"
Klara Nahrstedt
University of Illinois at Urbana-Champaign
http://netseminar.stanford.edu/
Abstract below
1:00pm Demonstration of StudioCode
Wallenberg 127
Information below
(I thought this might be of possible interest to some
researchers here)
3:00pm Reuters Foundation Digital Vision Program Seminar
Cordura DV fellows Lounge (upstairs)
Mohammad Al-Ubaydli
http://cgi.stanford.edu/group/reuters/cgi-bin/calendar/index.cgi
3:30pm Berkeley Cognition, Brain, and Behavior Seminar
Tolman 3105 (Berkeley)
"Instructive Signals and Motor Memories in the Cerebellum"
Jennifer Raymond
UCSF
http://psychology.berkeley.edu/admin/colloquia.html
4:00pm PARC Forum
George Pake Auditorium at PARC
"OSDL - Accelerating the Adoption and Use of Linux"
Brian Grega
Open Source Development Labs (OSDL)
http://www.parc.com/forum/
Abstract below
4:00pm UC Berkeley CIS Seminar
Soda Hall 310 (UC Berkeley)
"Simplifying Multi-Robot Planning"
Geoff Gordon
Carnegie Mellon
http://www.eecs.berkeley.edu/~wainwrig/cis-seminar
Abstract below
4:15pm CSLI Seminar on Computational Learning and Adaptation
Cordura Hall, room 100
"Relational Mining for Temporal Medical Data"
Ryutaro Ichise
National Institute of Informatics, Japan
http://cll.stanford.edu/scla.html
Abstract below
4:15pm SSP10: Symbolic Systems Forum
Bldg. 380:380C (Math Corner)
"Unintended social consequences of the Internet: Surfing and
Sociability--where does all the time come from?"
Norman Nie
Political Science Department
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
Abstract below
4:15pm Fundamental Themes in Neuroscience Seminar
Munzer Auditorium, Beckman B060
"A Genetic Analysis of Synaptic Function in C-Elegans"
Erik Jorgensen
University of Utah, Department of Biology
http://www-med.stanford.edu/sbrc/calendar/
5:30pm Stanford Phonology Workshop
Margaret Jacks Hall 460:126
"Indo-European Kinship Terminology: A Critical Interface
Between Phonology and Semantics (An Anthropological
Perspective on Historical Linguistics)"
German V. Dziebel
Cultural and Social Anthropology, Stanford University
http://www-linguistics.stanford.edu/pinterest/
Abstract below
5:30pm DLCL Seminar
Cubberley Auditorium
"One More Time: Tolerance, Free Speech, Difference, Contingency,
Truth, and Interpretative Communities Revisited"
Stanley Fish
English, Criminal Justice and Political Science, U. Illinois at Chicago
FRIDAY, 21 NOVEMBER 2003
12 noon Award Winning Teachers Speaker Series
Sweet Hall 403
"Making Online Discussion Work: A Workshop for Stanford Faculty"
Marcelo Clerici-Arias and Jeremy Sabol
http://ctl.stanford.edu/Events/
pre-registration required
12 noon Ethics@Noon
Bldg. 100:101k
"The Ethical Dilemmas of International Human Rights NGOs"
Daniel Bell
CASBS and City University of Hong Kong
http://www.stanford.edu/dept/EIS/noon.htm
12:30pm CS547: Human-Computer Interaction Seminar
Gates B01
"People, Computers, and Design: A View from UCSD"
Jim Hollan
Cognitive Science, UCSD
http://www-pcd.stanford.edu/cs547/
Abstract below
3:15pm Philosophy Department Colloquium
Bldg. 90:92Q
"Hylomorphic Virtue: Cosmology, Embryology, and Moral
Development in Aristotle"
Jennifer Whiting
University of Toronto
http://www-philosophy.stanford.edu/ce.html
3:15pm Friday Cognitive Seminar
Jordan Hall 420:100
"Benefits and Pitfalls of Scaffolding Collaborative Learning
with Teachable Agents"
David Sears
http://www-psych.stanford.edu/news.html#frisem
3:30pm Linguistics Department Colloquium
Margaret Jacks Hall 460:126
"Linguistic Ideology, White Racism, and the Agony of Trent Lott"
Jane Hill
http://www-linguistics.stanford.edu/colloq/
Abstract below
MONDAY, 24 NOVEMBER 2003
12 noon Diversity in Language Seminar
location to be announced
"Radical Construction Grammar" - "The Voice Continuum" (chapter 8)
William Croft (CASBS/U. Manchester)
http://dlcl.stanford.edu/research/workgroups/diversity.html
2:00pm Special University Oral Examination
Packard 202
"Urban Propagation Modeling for Wireless Systems"
Mark Smith
Electrical Engineering, Stanford University
3:30pm Social Lab
Jordan Hall 420:050
"Everyday Person Perception: Judgments Based On Bedrooms,
Offices, Webpages, and Music Preferences"
Sam Gosling
University of Texas and CASBS
http://www-psych.stanford.edu/news.html#social_lab
4:15pm CS528: Broad Area Colloquium in AI,
Geometry, Graphics, Robotics, and Vision
TCSeq 200
"Motion Planning for Underactuated Mechanical Systems"
Kevin Lynch
Mechanical Engineering, Northwestern University
http://graphics.stanford.edu/courses/cs528/
Abstract below
TUESDAY, 25 NOVEMBER 2003
3:00pm CSLI/EPGY Tea
Cordura Greenhouse
3:00pm Reuters Foundation Digital Vision Program Seminar
Cordura DV fellows Lounge (upstairs)
George Vradenburg
Strategic Advisor for AOL Time Warner
http://cgi.stanford.edu/group/reuters/cgi-bin/calendar/index.cgi
4:15pm Logic Seminar
Bldg. 380:380F (math corner)
"Computerized Exercises to a Course of First Order Logic"
Gregori Mints
Philosophy, Stanford
http://www-logic.stanford.edu/seminars.html
Abstract below
4:15pm SNRC Industry Seminar
Gates B03
"Integration in Enterprise Software: An industry perspective"
Vishal Sikka
SAP
http://snrc.stanford.edu/events/industry-seminar/
Abstract below
6:30pm First Annual AmBAR Biotech Event
Bishop Auditorium
"Biotechnology in the Third Millennium:
Integration of Experimental Science and Information Technology"
http://ambarclub.org/cevents.php
(not free)
THURSDAY, 27 NOVEMBER 2003 - Thanksgiving break
FRIDAY, 28 NOVEMBER 2003 - Thanksgiving break
____________
Stanford Blood Center status: Shortage of O+, O-, A+, A-, and B-.
For an appointment: http://bloodcenter.stanford.edu/ or call
650-723-7831. It only takes an hour of your time.
____________
STANFORD COMPUTER FORUM EMERITUS LECTURE
on Wednesday, 19 November 2003, 4:15pm
Packard 101
http://forum.stanford.EDU/events/lecture/
"The Database Course as Poster Child for More Efficient Education"
Jeff Ullman
Stanford W. Ascherman Professor of Computer Science (Emeritus)
The education industry has a dismal record of productivity gains ---
five times worse than even the US Post Office since I went to
college. With a team of friends and colleagues, I have been taking
some steps to reduce the cost of teaching a database course, as an
example of what might be done to improve efficiency of college
education. The key elements we would like to put in place are:
-Prepackaged lectures that serve for part of a class.
-A global help desk that allows students to get immediate answers to
questions 24/7.
-Automated homework and exams.
-Automated programming laboratories.
Our efforts so far center around a system called OTC (On-line Testing
Center) that supports (3) and (4) and has been used at a number of
schools around the world. For homework, we use a technique called
"root questions." These encourage the student to work a "long-answer"
question (e.g., "find the join of these two relations"), after which,
we sample their understanding by randomly chosen multiple-choice
questions (e.g., "which of these tuples is in the join of these
relations?"). Incorrect answers result in a hint or general advice,
and students are able to resubmit an assignment as many times as
necessary. OTC's SQL, relational-algebra, XQuery, and JDBC labs give
students far more accurate feedback than handwritten, hand-graded
programs.
About the Speaker: Jeff Ullman is the Stanford W. Ascherman Professor
of Computer Science (Emeritus). His interests include database theory,
database integration, data mining, and education using the information
infrastructure. http://www-db.stanford.edu/~ullman/pub/opb.txt
____________
STANFORD NETWORKING SEMINAR
on Thursday, 20 November 2003, 12:40pm (lunch 12:15pm)
Packard 202
http://netseminar.stanford.edu/
"Cross-Layer Adaptation for Quality-Aware and Energy-Efficient
Next Generation Mobile Multimedia Devices"
Klara Nahrstedt
University of Illinois at Urbana-Champaign
Mobile systems primarily processing multimedia data are expected to
become a dominant computing platform for a variety of application
domains. The design of such systems imposes several new challenges, as
it must consider demanding, dynamic and multi- dimensional resource
requirements and constraints, with energy becoming a first-class
resource. At the same time, the ability of multimedia applications to
trade-off output quality for system resources and the difference
between their peak and average demands offers a huge opportunity for
optimization. A promising approach to meet the challenges of systems
in next generation mobile devices, therefore is to design all system
layers with the ability to adapt in response to system or application
changes. Furthermore, to get the full benefits of these adaptations,
we argue that all system layers must cooperate to reach a system-wide
globally optimal configuration.
We have designed such coordinated and cross-layer adaptation
framework, called GRACE, that integrates and coordinates the
frequency/voltage scaling, soft-real-time scheduling (via GRACE-OS),
and application quality adaptation. GRACE seeks first to maximize the
system utility (i.e., the overall perceptual quality of applications)
and then to save CPU energy. To achieve these goals efficiently,
GRACE uses a novel hierarchy of global and internal adaptations,
balancing the application benefits and cost. We have implemented the
first version of GRACE and evaluated it with adaptive AMD processor
and multimedia video codecs such as MPEG decoder and H263 encoder. Our
experimental results indicate that GRACE can increase system utility
up to 98% and save energy up to 95% depending on workload and compared
to previous systems adapting only some of the layers or not adapting
at all.
About the speaker: Klara Nahrstedt is an associate professor at the
University of Illinois at Urbana- Champaign, Computer Science
Department. Her research interests are directed towards multimedia
systems and networks, quality of service (QoS) routing, QoS and
resource management for distributed multimedia systems over wire-line
and wireless networks, and multimedia operating systems. She is the
coauthor of the widely used multimedia book `Multimedia: Computing,
Communications and applications' published by Prentice Hall, the
recipient of the Early NSF Career Award, the Junior Xerox Award, and
the IEEE Communication Society Leonard Abraham Award for Research
Achievements. She is the editor-in-chief of the ACM/Springer
Multimedia Systems Journal, and the Ralph and Catherine Fisher
Associate Professor.
Klara Nahrstedt received her BA in mathematics from Humboldt
University, Berlin, in 1984, and M.Sc. degree in numerical analysis
from the same university in 1985. She was a research scientist in the
Institute for Informatik in Berlin until 1990. In 1995 she received
her PhD from the University of Pennsylvania in the Department of
Computer and Information Science.
____________
DEMONSTRATION OF STUDIOCODE
on Thursday, 20 November 2003, 1:00pm-2:30pm
Wallenberg Hall 127
Mike Willard from Sportstec will be at Stanford to demonstrate a
soon-to-be-released program called StudioCode that allows for
real-time recording, coding, analyzing, managing, searching/indexing,
and retrieving of digital video segments. StudioCode also allows for
Producing collections of segments in a variety of formats and on a
variety of media (CD-ROM, DVD, videotape, streaming video, etc.).
Developed from another product geared specifically for coaches in the
Sports world, StudioCode is a powerful, portable, flexible, and
user-friendly program.
This may be of particular interest to those who are considering the
use of digital video in their research or projects. Since this will be
the first large group presentation of this product, please feel free
to share this information with your colleagues.
Educational pricing licenses has not yet been finalized, but we hope
to get more concrete information during the November 20th
presentation.
If you have any questions please feel free to contact Silvia Herrero,
herrero1[at]apple.com or Wyn Davies, wyn[at]apple.com, from Apple.
____________
PARC FORUM
on Thursday, 20 November 2003, 4:00pm - 5:00pm
George Pake Auditorium, PARC
http://www.parc.com/forum/
"OSDL - Accelerating the Adoption and Use of Linux"
Brian Grega
Open Source Development Labs (OSDL)
OSDL - home to Linus Torvalds, the creator of Linux - is dedicated to
accelerating the growth and adoption of Linux in the
enterprise. Founded in 2000 and supported by a global consortium of IT
industry leaders, OSDL is a non-profit organization that provides
state-of-the-art computing and test facilities in the United States
and Japan available to developers around the world. OSDL sponsors
include Alcatel, Cisco, Computer Associates, Dell, Ericsson, Force
Computers, Fujitsu, HP, Hitachi, IBM, Intel, Linuxcare, Miracle Linux
Corporation, Mitsubishi Electric, MontaVista Software, NEC
Corporation, Nokia, Red Hat, SuSE, TimeSys, Toshiba, Transmeta
Corporation and VA Software.
The mission of OSDL is to be the recognized center of gravity for
Linux; the central body dedicated to accelerating the use of Linux for
enterprise computing through:
* Enterprise-class testing and other technical support for the Linux
development community.
* Marshalling of Linux-industry resources to focus investment on areas
of greatest need thereby eliminating inhibitors to growth.
* Practical guidance to our members - vendors and end users alike - on
working effectively with the Linux development community.
In this presentation, Mr. Grega will discuss the mission of OSDL and
how OSDL functions toward achieving these objectives.
About the speaker: Brian Grega is a seasoned business development,
sales and marketing executive with over 20 years experience building
and managing sales organizations in high growth environments. Prior to
joining OSDL, Brian was the vice president of business development for
MontaVista Software, where his responsibilities included developing
and maintaining strategic relationships with other industry leaders
including IBM and Intel. Prior to managing the business development
organization full time for MontaVista Software, he was the company's
first vice president of worldwide sales and marketing, helping lead
the company's growth from a start-up to a market segment leader. Prior
to MontaVista Software, Brian held senior sales management
responsibilities with various high technology firms, including VP of
sales for GLOBEtrotter Software (acquired by Macrovision), VP of North
American sales for Lynx Real-Time Systems, and VP of strategic
accounts at Microtec Research (acquired by Mentor Graphics).
____________
UC BERKELEY CIS SEMINAR
on Thursday, 20 November 2003, 4:00pm-5:00pm
Soda Hall 310 (UC Berkeley)
http://www.eecs.berkeley.edu/~wainwrig/cis-seminar
"Simplifying Multi-Robot Planning"
Geoff Gordon
Carnegie Mellon University
Robots in the real world can't plan in isolation. Instead, they need
to worry about external forces which can change their environment
while they're not looking. Unfortunately, reasoning exactly about
external agents often results in intractable planning problems.
Fortunately, it is often possible to simplify multi-robot planning
problems by approximately factoring and abstracting them. I will
describe several new general, practical tools for doing so. These
tools include nonlinear dimensionality reduction, no-regret
algorithms, and price-based decompositions. As a running example of
how to apply these techniques, I will describe our work on a dynamic
multi-robot searching problem.
____________
CSLI SEMINAR ON COMPUTATIONAL LEARNING AND ADAPTATION
on Thursday, 20 November 2003, 4:15pm to 5:30pm
Cordura 100
http://cll.stanford.edu/scla.html
"Relational Mining for Temporal Medical Data"
Ryutaro Ichise
National Institute of Informatics, Japan
In managing medical data, handling time-series data, which contain
irregularities, presents the greatest difficulty. In this talk, I will
propose a first-order rule discovery method for handling such data.
The method is an attempt to use graph structure to represent
time-series data and reduce the graph using specified rules for
inducing hypotheses. In order to evaluate the proposed method, I show
results from experiments on real-world medical data.
____________
SSP10: SYMBOLIC SYSTEMS FORUM
on Thursday, 20 November 2003, 4:15pm
Bldg. 380:380C (Math Corner)
http://symsys.stanford.edu:8081/ssp-dynamic/servlet/ssp_events
"Unintended social consequences of the Internet:
Surfing and Sociability--where does all the time come from?"
Norman Nie
Political Science, Stanford University
How does the time taken for Internet use trade off with other
activities in our lives? How does the Internet affect sociability and
society in general?
Hear about the Internet and Society time and sociability study being
conducted by Stanford's Institute for the Quantitative Study of
Society (SIQSS).
Norman Nie is the director of the SIQSS, a former chair of the
University of Chicago Department of Political Science, and is also
co-founder of SPSS Inc., a producer of statistical software and
analytic solutions. His current research focuses on time spent for
Internet use, and issues of the Internet and society more broadly.
More information:
http://www.stanford.edu/group/siqss/about_us.html
http://www.stanford.edu/group/siqss/Press_Release/internetStudy.html
____________
STANFORD PHONOLOGY WORKSHOP
on Thursday, 20 November 2003, 5:30pm
Margaret Jacks Hall 460:126
http://www-linguistics.stanford.edu/pinterest/
"Indo-European Kinship Terminology:
A Critical Interface Between Phonology and Semantics
(An Anthropological Perspective on Historical Linguistics)"
German V. Dziebel
Cultural and Social Anthropology, Stanford University
The paper examines the current state of reconstruction of the
proto-Indo-European kinship terminology in the light of the historical
typology of kinship systems developed in anthropology. Extant
interpretations of the meanings of proto-Indo-European etymons are
critically examined in the context of recurrent puzzles in
Indo-European historical phonology. It is highlighted that, despite
the gigantic scope of work done in Indo-European historical
linguistics over the past 200 years, the shape of the
proto-Indo-European kinship system continues to elude scholars of
Indo-European language and culture. Both methodological observations
and new etymologies are advanced for the purpose of illustrating the
tight connection between semantic and phonological differentiation and
the value of typological observations for primary phonological
reconstructions.
____________
CS547: HUMAN-COMPUTER INTERACTION SEMINAR
on Friday, 21 November 2003, 12:30-2:00pm
Gates B01
http://www-pcd.stanford.edu/cs547/
"People, Computers, and Design: A View from UCSD"
Jim Hollan
Cognitive Science, UC San Diego
Computers are special in that they provide a new kind of stuff out of
which to fashion virtual worlds to augment our perceptual, conceptual,
and social interactions. They provide the most plastic medium for
representation, communication, and interaction we have ever
known. Ensuring that designs of computationally-based systems
appropriately respect and effectively augment human needs and
abilities is an intellectual challenge of the highest order. To meet
this challenge requires careful continuing examination of the
theoretical and methodological frameworks upon which we base our
research activities. In this talk, I will focus on the theoretical and
methodological choices we have made in our research and demonstrate
how they have been instantiated in example current research projects
on negotiated access, ubiquitous computing, gestures, ethnography of
driving, and spatial multiscale tools for managing personal
information collections.
About the Speaker: Jim Hollan is Professor of Cognitive Science at
UCSD and in collaboration with Ed Hutchins directs the Distributed
Cognition and HCI Laboratory. After receiving a Ph.D. in cognitive
psychology (Florida) and completing a postdoc in artificial
intelligence (Stanford), he moved to San Diego (UCSD and NPRDC) to
design computer-based instructional systems (Steamer), object-based
graphical editors, and investigate direct manipulation interfaces as
part of the User-Centered System Design (UCSD) project. He then
directed the MCC HCI Laboratory in creating an integrated tool suite
for designing multimodal interfaces. Subsequently he started the
Computer Graphics and Interactive Media Research Group at Bellcore to
investigate multiscale interfaces (Pad++) for information
visualization and served as Chair of the Computer Science Department
at the University of New Mexico. He returned to UCSD in 1997.
____________
LINGUISTICS DEPARTMENT COLLOQUIUM
on Friday, 21 November 2003, 3:30pm
Margaret Jacks Hall, Room 460:126
http://www-linguistics.stanford.edu/colloq/
"Linguistic Ideology, White Racism, and the Agony of Trent Lott"
Jane H. Hill
Arizona State University
The main research questions I am working on this year involve how
White racism in the U.S. works. These questions include: 1) What is
the folk category of "racism" in the United States? 2) How can Whites
deny the existence of White racism when its vicious effects are so
visible and obvious? 3) How can White racism be reproduced when what
is said to be "racist" language and action is almost universally
condemned? 4) What kinds of language are thought of as "racist", and
why?
In this talk I'll look at how "personalist" ideologies of language --
ideologies that hold that meaning emanates from an intentional core
interior to individuals -- are imbricated with the persistence of
White racism. I'm using as a site for analysis the media firestorm
that followed the following remarks, made by Trent Lott at Strom
Thurmond's 100th birthday party:
"I want to say this about my state: When Strom Thurmond ran for
president, we voted for him. We're proud of it. And if the rest of
the country had followed our lead, we wouldn't have had all these
problems over all these years, either."
____________
CS528: BROAD AREA COLLOQUIUM FOR
AI-GEOMETRY-GRAPHICS-VISION-ROBOTICS
on Monday, 24 November 2003, 4:15pm
TCSeq 200
http://graphics.stanford.edu/courses/cs528/
"Motion Planning for Underactuated Mechanical Systems"
Kevin Lynch
Mechanical Engineering, Northwestern University
We are studying "underactuated" robot systems --- robot systems with
fewer actuators than degrees-of-freedom to be controlled. Examples
include ground, space, and underwater vehicles, robot arms with
flexibility or passive joints, and many robot manipulation tasks.
This talk will focus on our recent work on trajectory planning for a
class of underactuated mechanical systems called "kinematically
controllable" systems. I will describe this new notion of
controllability for second-order mechanical control systems,
demonstrate how this property simplifies the motion planning problem,
and present implementations of the theory on an underactuated robot
arm and an underactuated ground vehicle.
About the Speaker: Kevin Lynch received a BSE in electrical
engineering from Princeton University in 1989 and a Ph.D. in robotics
from Carnegie Mellon in 1996. He then spent a year and a half as a
postdoctoral fellow at the Mechanical Engineering Laboratory in
Tsukuba, Japan, where he also taught at the University of
Tsukuba. Since 1997 he has been with the Mechanical Engineering
Department at Northwestern University. He is the founder of the
Midwest Mechanical Motion Meeting (M4) and the recipient of the 2001
IEEE Early Academic Career Award in Robotics and Automation.
____________
LOGIC SEMINAR
on Tuesday, 25 November 2003, 4:15pm-5:30pm
Math Corner 380:380F
http://www-logic.stanford.edu/seminars.html
"Computerized Exercises to a Course of First Order Logic"
Gregori Mints
Stanford
We describe a software package and a web server allowing several
formats of administering exercises to students and automated answer
checking using three computer programs: OTTER, MACE and PRESBURGER.
Currently available exercises cover the material corresponding to
sections 2.1-2.3 of the textbook by H. Enderton and to a certain
degree the Chapter 1. The section 2.4 (Deductive Calculus) can be
easily covered by existing software for natural deduction (Fitch or
Epgy Proof Editor). Remaining section 2.5 (Soundness and Completeness
Theorems) presents a challenge for next stages of the project. A part
of the challenge is discovering new efficiently decidable classes of
formulas.
____________
SNRC INDUSTRY SEMINAR
on Tuesday, 25 November 2003, 4:15pm
Gates B03
http://snrc.stanford.edu/events/industry-seminar/
"Integration in Enterprise Software: An industry perspective"
Vishal Sikka
SAP
Over the last few decades, enterprises have seen large-scale adoption
of software solutions leading to significant business benefits,
whether in process improvements or operational efficiencies. These
benefits, however, have come at a price: enterprise software is
difficult to deploy, integrate, customize and change. As a result
integration is one of the key issues facing enterprises today, and
continues to be a key area of research in the industry and academia.
In this talk we examine two key aspects of integration in the
enterprise: (i) integration of data/information resident in
heterogeneous information systems, including schema mapping (model
management) and operations on heterogeneous data (queries,
transactions, change management). (ii) rapid development of new
applications that leverage the existing infrastructure, including
approaches to build composite applications, and approaches towards
semi-automatic programming.
We will present a brief overview of the approaches to heterogeneous
data integration based on schema mapping, reuse, and optimization of
distributed queries. We will go into more detail on the subject of
rapid software development, including work on end-user service
composition and automatic composition of software from declarative
specifications.
About the Speaker: Dr. Vishal Sikka is Vice President of Advanced
Technology at SAP. He works on new technologies in enterprise
application infrastructure at SAP's Palo Alto subsidiary, SAP
Labs. Prior to joining SAP, Vishal was area Vice President of platform
technologies at Peregrine Systems (Remedy) responsible for Peregrine's
efforts in application development and integration. Vishal joined
Peregrine following the acquisition of Bodha, Inc. where he served as
founder, Chairman and CEO. Bodha developed technology for
non-invasive, web service based integration of enterprise applications
and information.
Vishal holds a Ph.D. degree in Computer Science from Stanford
University and his experience includes research in automatic
programming, information integration and application integration, and
theorem proving at Stanford, Xerox Palo Alto labs, and two startups.
____________
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
____________