| ||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||
| Copyright © 2009. National Academy of Sciences. All rights reserved. Terms of Use and Privacy Statement |
Below are the first 10 and last 10 pages of uncorrected machine-read text (when available) of this chapter, followed by the top 30 algorithmically extracted key phrases from the chapter as a whole.
Intended to provide our own search engines and external engines with highly rich, chapter-representative searchable text on the opening pages of each chapter.
Because it is UNCORRECTED material, please consider the following text as a useful but insufficient proxy for the authoritative book pages.
Do not use for reproduction, copying, pasting, or reading; exclusively for search engines.
OCR for page 193
Computer Science: Reflections on the Field, Reflections from the Field
Appendix
Agenda of July 25-26, 2001, Symposium
WEDNESDAY, JULY 25, 2001
1:30 p.m.
Opening Remarks
Mary Shaw, Carnegie Mellon University, and Chair, Committee on the Fundamentals of Computer Science
1:45 - 3:15
Session 1: Impacts of Computer Science
Edward L. Ayers, University of Virginia—Understanding the Past as Information
Susan Landau, Sun Microsystems—The Profound Effect of CS on the Practice and Teaching of Mathematics
Michael Lesk, National Science Foundation—Computer Science Is to Information as Chemistry Is to Matter
3:15 - 3:30
Break
3:30 - 4:00
Guest Speaker
William A. Wulf, National Academy of Engineering—The Engineering and Science Fundamentals of Computer Science
OCR for page 194
Computer Science: Reflections on the Field, Reflections from the Field
4:00 - 5:30
Session 2: Sampling of Hard Research Questions in Computer Science
Sriram Rajamani, Microsoft Research—Specifying and Checking Properties of Programs
Lillian Lee, Cornell University—“I’m Sorry Dave, I’m Afraid I Can’t Do That”: Linguistics, Statistics, and Natural Language Processing in 2001
Chee Yap, New York University—Toward Robust Geometric Computation
5:30
Reception
6:30 p.m.
Dinner
THURSDAY, JULY 26, 2001
7:30 a.m.
Continental Breakfast
8:30 - 10:30
Session 3: CS Research: Content and Character
Ursula Martin, University of St. Andrews—What Is Computer Science?—The European Perspective
Neil Immerman, University of Massachusetts, Amherst—On the Unusual Effectiveness of Logic in Computer Science
Amy Bruckman, Georgia Institute of Technology—Synergies Between Educational Theory and Computer Science
Gerald Sussman, Massachusetts Institute of Technology—The Legacy of Computer Science
10:30 - 10:45
Break
10:45 - 12:00
Wrap-up Discussion—What Makes Computer Science Vital and Exciting?
All-participant discussion, moderated by Jim Foley, Georgia Institute of Technology
Representative terms from entire chapter:
gerald sussman