10th MARYLAND THEORETICAL COMPUTER SCIENCE DAY (Spring '94) Supercomputing Research Center 17100 Science Drive Bowie, Maryland 20715 Friday, March 18, 1994 (early registration required) <===== PLEASE NOTE 9:30- 9:50 REFRESHMENTS 9:50-10:00 GREETINGS: Francis Sullivan, Director of SRC 10:00-11:00 "Quotient Group Visualization of Graphs" Helaman Ferguson, SRC 11:15-12:15 "Data Structures for Dynamically Maintaining Rooted Trees" Greg Frederickson, Purdue University 12:15- 2:00 LUNCH 2:00- 3:00 "A Discipline of Multiprogramming" Jay Misra, University of Texas 3:14- 4:15 "Self-Verifying Axiom Systems and the Incompleteness Theorem" Dan Willard, State University of New York at Albany 4:15- 5:00 WINE AND CHEESE ************************************************************************** REGISTRATION: Admission is FREE and open to the public; however, all visitors to SRC must obtain PRIOR APPROVAL to be admitted: ------- non-US CITIZENS must register by Tuesday, March 1 ------- ------- US-CITIZENS must register by Thursday, March 15 ------- If you teach, kindly make your students aware of Maryland Theory Day (held in the Spring and the Fall) and remind them of these deadlines. Early registration will help us with lunch plans. To register, please contact (e-mail preferred): Barbara George barbara@super.org (301) 805-7359 ************************************************************************** DIRECTIONS: SRC is located in the University of Maryland Science and Technology Center (UMSTC), about 15 miles east of the College Park campus, in Bowie Maryland, at EXIT 13C (for Computing, of course!) of Route 50, where 50 intersects Routes 3 and 301. To get on Route 50 East, from the Washington area, use EXIT 19A of the I-95/495 Washington Beltway. To get on Route 3 South, from the Baltimore area, use EXIT 4 of the I-695 Baltimore Beltway, and follow I-97 south to EXIT 7. After entering UMSTC, make the first left, at Science Drive, and go to SRC guardhouse at the circle,