SEKE'96

Eighth International Conference on Software Engineering and Knowledge Engineering

June 10-12, 1996, Hyatt Regency, Lake Tahoe, Nevada, USA

Sponsored by: Knowledge Systems Institute (Founder and Organizer)
Co-Sponsored by: Arizona State University
Envision Technologies Corporation
Pan American Center for Earth and Environmental Studies
University of Pittsburgh
University of Texas at El Paso

Steering Committee:
Vic Basili, University of Maryland
Bruce Buchanan, University of Pittsburgh
Shi-Kuo Chang, University of Pittsburgh
C. V. Ramamoorthy, University of California, Berkeley

Conference Chair:
C. V. Ramamoorthy, University of California, Berkeley

Program Co-Chairs:
Daniel E. Cooke, University of Texas El Paso
Joseph E. Urban, Arizona State University

Program Committee:
Janis Barzdins, University of Latvia, Latvia
Valdis Berzins, Naval Postgraduate School, USA
Alfs Berztiss, University of Pittsburgh, USA
James Bieman, Colorado State University, USA
Patrick O. Bobbie, Florida A&M University, USA
Nikolaos G. Bourbakis, State University of New York, Binghampton, USA
Doris L. Carver, Louisiana State University, USA
Wojciech Cellary, Franco-Polish School, Poland
Hau-Ming Lewis Chau, The Hong Kong University of Science & Tech., Hong Kong
Wen-Tsuen Chen, Tsing Hua University, Taiwan
Betty H. C. Cheng, Michigan State University, USA
Alex Delis, Polytechnic University, USA
Y. Deng, Florida International University, USA
David Eichmann, University of Houston - Clear Lake, USA
Ray Frye, Bull Wordwide Information Systems, USA
Ehab E. Hassanein, Knowledge Systems Institute, USA
David Hurley, U S WEST Advanced Technologies, USA
Natalia Juristo, Universidad Politecnica de Madrid, Spain
Amir A. Khwaja, Intel Corporation, USA
Vijay Kumar, University of Missouri, Kansas City, USA
Chung Horng Lung, Bell-Northern Research, Canada
Luqi, Naval Postgraduate School, USA
Bruce E. Martin, Sun Microsystems, USA
Roland T. Mittermeir, Universitat Klagenfurt, Austria
Kinji Mori, Hitachi Ltd., Japan
Guylaine Pollock, Sandia National Laboratories, USA
Robert G. Reynolds, Wayne State University, USA
Shiro Sakata, NEC Corporation, Japan
Murat M. Tanik, University of Texas at Austin, USA
Matthew Taylor, Motorola GSTG, USA
Wei-Tek Tsai, University of Minnesota, USA
A. Inkeri Verkamo, University of Helsinki, Finland
Giuseppi Vissagio, University of Bari, Italy
Jason Tsong-Li Wang, New Jersey Institute of Technology, USA
Naoki Yonezaki, Tokyo Institute of Technology, Japan
Suk-Chung Yoon, Widener University, USA
Karl Zerangue, AG Communication Systems, USA

**********************************************************************

SEKE'96 ADVANCE PROGRAM

CONFERENCE AT A GLANCE

Sunday:
5:00-6:00 Pre-registration (Lakeside C)
6:00-8:00 Conference Reception (Lakeside C)

First day:
AM:
8:30-10:00 Lotfi Zadeh (Salons BD)
10:00-10:30 Coffee Break
10:30-12:00 A1 (Salon A), B1 (Salon B), C1 (Salon D)
PM:
12:00-1:30 Lunch Break
1:30-3:00 A2 (Salon A), B2 (Salon B), C2 (Salon D)
3:00-3:30 Coffee Break
3:30-5:00 A3 (Salon A), B3 (Salon B)
5:15-8:15 Boat Tours

Second day:
AM:
8:00-9:00 Stephen Yau (Salons BD)
9:00-9:30 Coffee Break
9:30-11:00 A4 (Salon B), B4 (Salon D), C4 (Salon F)
11:00-11:15 Conference Break
11:15-12:45 A5 (Salon B), B5 (Salon D), C5 (Salon F)
PM:
12:45-1:45 Lunch Break
1:45-3:15 A6 (Salon B), B6 (Salon D), C6 (Salon F)
3:15-3:30 Coffee Break
3:30-5:00 A7 (Salon B), B7 (Salon D), C7 (Salon F)
7:00-9:00 Banquet (Lakeside A)

Third day:
AM:
8:30-10:00 Keynote Panel (Lakeside C)
10:00-10:30 Coffee Break
10:30-12:00 A8 (Lakeside B), B8 (Lakeside C), C8 (Tamarack B)
PM:
12:00-1:30 Lunch Break
1:30-2:30 A9 (Lakeside B), B9 (Lakeside C), C9 (Tamarack B)
2:30-3:30 A10 (Tamarack B), B10 (Lakeside C)

TRACKS:


A. SUPPORT FOR SYSTEM SUSTAINABILITY sessions:
Specification, Debugging, Testing/Verification, Maintenance, Concurrency

B. KNOWLEDGE UNDERSTANDING sessions:
Data Mining, Modeling, Multimedia, Data Reengineering, Code Reengineering,
Panel - Intelligent Integration of Information (I3) - Past, Present, and
Future

C. SOFTWARE UNDERSTANDING sessions:
Process, Agents, Human Interface, Software Visualization, Requirements,
Decision Support, Knowledge Engineering in Software Engineering

SESSIONS:

Monday, June 10


8:30 am - 10:00 am Opening Session - Salons BD

Welcome & Introduction: C.V. Ramamoorthy, University of California,
Berkeley, USA, General Chair
Program Overview: Daniel E. Cooke, University of Texas El Paso, USA,
Program Co-Chair and Joseph E. Urban, Arizona State University, USA,
Program Co-Chair
Introduction: S. K. Chang, University of Pittsburgh, USA, SEKE Steering
Committee Chair
Keynote Address: The Roles of Soft Computing and Fuzzy Logic in the
Conception, Design and Deployment of Intelligent Systems, Lotfi Zadeh,
University of California, Berkeley, USA

10:00 am - 10:30 am Coffee Break

10:30 am - 12:00 noon Sessions A1 - C1

Session A1. Testing/Verification/Maintenance I - Salon A

Chair: Wei-Tek Tsai, University of Minnesota, USA

* Data Structure Coverage Testing; Kenneth Magel, North Dakota State University, USA and Ping Zhong, U.S. Coast Guard, USA

* Testing Object-Oriented Programs based on Usage Profiles and Formal Specifications; Shih-Sung Liao, Kai H. Chang, Stephen
B. Seidman, and Chun-Yu Chen, Auburn University, USA

* Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions; Anouar Jamoussi and Farokh B. Bastani, University
of Houston, USA

Session B1. Modeling - Salon B

Chair: Ehab E. Hassanein, Knowledge Systems Institute, USA

* Expertsheets: A Spreadsheet Paradigm for Authoring Expert Systems; Francisco Corella, Hewlett-Packard Company and Michelle Kim, IBM T. J.
Watson Research Center, USA

* The Design of a Class Library to Support Teaching of Object Oriented Programming with C++; Paulo Bianchi Franca, Universidade Federal do Rio de
Janeiro, Brazil

* Class Hierarchy Management System; Ehab Hassanein, Knowledge Systems Institute, USA

Session C1. Process I - Salon D

Chair: Karl Zerangue, AG Communication Systems

* A Synthesis of Two Process Support Approaches; Martin Verlage, Barbera Dellen, Frank Maurer, and Jurgen Munch, Universitat Kaiserslautern, Germany

* Measurement of Usability Using a Fuzzy Systems Approach; E. Chang, T. Dillon, and D. Cook, LaTrobe University, Australia

12:00 noon - 1:30 pm Lunch Break

1:30 pm - 3:00 pm Sessions A2 - C2

Session A2. Debugging I - Salon A

Chair: Ann Q. Gates, University of Texas El Paso, USA

* Debugging of Object-Oriented Software; Roberts C. H. Law, The Hong Kong Polytechnic University, Hong Kong

* Knowledge Engineering for Automated Program Recognition and Fault Localization; Ilene Burnstein, Abdul Mirza, Katherine Roberson, Floyd
Saner, and Abdallah Tubaishat, Illinois Institute of Technology, USA

* Automating the Debugging Process of Pascal Syntax Errors; Richard Fox, Christian Bilke, and James Mendoza, The University of Texas - Pan American,
USA

Session B2. Data Mining - Salon B

Chair: Giuseppi Vissagio, University of Bari, Italy

* Scientific Data Mining: A Case Study; Chia-Yo Chang, AT&T Network Systems, USA and Jason T. L. Wang, New Jersey Institute of Technology, USA

* Mining Knowledge in Object-Oriented Frameworks for Semantic Query Processing; Suk-Chung Yoon, Widener University, USA and L. J. Henschen,
Northwestern University, USA

* Development of a Software Architecture for the Analysis of Geographic and Image-Based Data; Scott A. Starks, University of Texas El Paso, USA and
David W. Elizandro, Tennessee Technological University, USA

Session C2. Decision Support - Salon D

Chair: Yi Deng, Florida International University, USA

* Business Rules in the Real World: A Decision Support Approach; Daniela Rosca, Old Dominion University and Chris Wild, Old Dominion University, USA

* Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System; Owusu-Ansah Agyapong and Patrick O. Bobbie, Florida
A&M University, USA

3:00 pm - 3:30 pm Coffee Break

3:30 pm - 5:00 pm Sessions A3 - C3

Session A3. Specification I - Salon A

Chair: Amir Khwaja, Intel Corporation, USA

* Recombining Changes to Software Specifications; Valdis Berzins, Naval Postgraduate School, USA

* A Method for Applying G-Nets To Communication Protocols; Vladimir Sliva, AT&T Bell Laboratories, USA, Tadao Murata, and Sol M. Shatz, University of
Illinois at Chicago, USA

* An Empirical Study of the LSS Specification Toolkit in Use; David Robertson, Universit of Edinburgh, Scotland

Session B3. Knowledge Engineering in Software Engineering - Salon B

Chair: Richard Fox, The University of Texas - Pan American, USA

* The Role of Knowledge Acquisition in Component Based System Construction; Luis Montero and Colin T. Scott, Andersen Consulting, USA

* An Object Logic for Object Base Capable of Version Management; Naoko Izumi and Takuya Katayama, Tokyo Institute of Technology, Japan

5:15 pm - 8:15 pm Boat Tours
Registered conference attendee will receive a ticket for a tour on the catamaran "Sierra Cloud". Boarding place is by the lake shore behind Lone Eagle Grille. Each tour takes about one hour. The tour number is printed on your ticket. Light snacks will be served during the tour.
Tour 1: Boarding time 5:15pm
Tour 2: Boarding time 6:15pm
Tour 3: Boarding time 7:15pm

Tuesday, June 11


8:00 am - 9:00 am Plenary Session - Salons BD

Keynote Address: Evolutionary and Rapid Development of Software Systems,
Stephen S. Yau, Arizona State University, USA
Chair: Daniel E. Cooke, University of Texas El Paso

9:00 am - 9:30 am Coffee Break

9:30 am - 11:00 am Sessions A4 - C4

Session A4. Specification II - Salon B

Chair: Mathew A. Taylor, Motorola GSTG

* Specifications in Software Prototyping; Luqi, Naval Postgraduate School, USA

* Domain Specific Problem Description, David Robertson, University of Edinburgh, Scotland

Session B4. Code Reengineering I - Salon D

Chair: Doris Carver, Louisiana State University, USA

* Using Design Cohesion to Visualize, Quantify, and Restructure Software; Byung-Kyoo Kang and James M. Bieman, Colorado State University, USA

* Managing a Software System and Keeping it Internally Consistent During its Evolution; F. Cutillo, Basica s.p.a., Italy, F. Lanubile, and G.
Visaggio, Universita de Bari, Italy

Session C4. Agents - Salon F

Chair: Natalia Juristo, Universidad Politecnica de Madrid, Spain

* Identifying Language Requirements for Specifying Industrial-Strength Agent Systems; W. David Hurley, US West Advanced Technologies, Inc., USA

* Relationship Between Communication Capability and Goal Achievement in System of Agents; Han-gyoo Kim and Young-Chul Shim, Hongik University,
Korea, and Moon-hae Kim, Konkuk University, Korea

* A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems, Evandro de Barros Costa, Universidade Federal de Alagoas,
Brazil, Angelo Perkusich, and Jorge C. A. de Figueiredo, Universidade
Federal da Paraiba, Brazil

11:00 am - 11:15 am Session Break

11:15 am - 11:45 am Sessions A5 - C5

Session A5. Debugging II - Salon B

Chair: Suk-Chung Yoon, Widener University, USA

* Generalized Program Slicing for Software Maintenance; H. Huang, Wei-Tek Tsai, and S. Subramanian, University of Minnesota, USA

* Wheels: An Automated Program Analysis Tool; Aggie Y. Sun and Bruce M. McMillin, University of Missouri-Rolla, USA

* Recovering a Conceptual Data Model from COBOL Code; Gerardo Canfora and A. Cimitile, University of Salerno, Italy, and G. A. DiLucca, University of
Naples "Federico II", Italy

Session B5. Multimedia I - Salon D

Chair: David Eichmann, University of Houston - Clear Lake, USA

* Data Layout for Interactive Video-on-Demand Storage Systems; Cyril U. Orji, Florida International University, USA and Kingsley C. Nwosu, AT&T
Bell Laboratories, USA

* Experience with REINAS; Darrell D. E. Long, Patrick E. Mantey, and Eric C Rosen, University of California, Santa Cruz, USA

* The Impact of Hashing Function Choice on the Load Balancing in Very Large Datasets; Isidore Rigoutsos, IBM T. J. Watson Research Center, USA
and Alex Delis, Polytechnic University, USA

Session C5. Process II - Salon F

Chair: Michael Diaz, Motorola GED, USA

* An Intelligent Process for Formulating Metrics Queries and Rules; Chye Lin Chee, National University of Singapore, Singapore and C. V.
Ramamoorthy, University of California at Berkeley, USA

* A Visual Query Interface for Software Metrics Database; Raymond Paul, Pentagon, Washington, DC, USA and Azam Khan and Arif Ghafoor, Purdue
University, USA

* Software Process Agents; Dick B. Simmons, Texas A&M University, USA

12:45 pm - 1:45 pm Lunch Break

1:45 pm - 3:15 pm Sessions A6 - C6

Session A6. Testing/Verification/Maintenance II - Salon B

Chair: Roland Mittermeir, Universitat Klagenfurt, Austria

* An Early Warning Approach for Method Sequence Testing; Pei Hsia, Xiaolin Li, and David Chenho Kung, The University of Texas at Arlington, USA

* On Defining a Class of Integrity Constraints; Ann Q. Gates, University of Texas El Paso, USA

* Software Reliability; Kishor S. Trivedi, Duke University, USA

Session B6. Code Reengineering II - Salon D

Chair: Daniela Rosca, University of Rochester, USA

* Case Study: EasyCODE - A language independent visualization tool for Reengineering; Oliver Karall, Siemens, Austria and Stefan Biffl, Vienna University of
Technology, Vienna

* The Role of Program Slicing in Ripple Effect Analysis; Yamin Wang, Wei-Tek Tsai, Xiaoping Chen, and Sanjai Rayadurgam, University of
Minnesota, USA

Session C6. Requirements I - Salon F

Chair: Luqi, Naval Postgraduate School, USA

* A Quantitative Approach for Assessing the Priorities of Software Quality Requirements; Xiaoqing Frank Liu, University of Missouri-Rolla, USA

* Engineering Formal Requirements Analysis and Testing; Paolo Cincarini, S. Cimato, and C. Mascolo, Universite di Bologna, Italy

* Verification Criterion Directed Testing for Formal Specifications; Ziaomu Zeng and Jeffrey P. Tsai, University of Illinois at Chicago, USA and Thomas
Weigert, Motorola, Inc., USA

3:15 pm - 3:30 pm Coffee Break

3:30 pm - 5:00 pm Sessions A7 - C7

Session A7. Concurrency I - Salon B

Chair: Patrick O. Bobbie, Florida A&M University, USA

* Variable Depth Resolution for Intelligent Real-Time Systems; Douglas Foxvog and Tapio Taipale, VTT Electronics, Finland

* A Formalism for Architectural Modeling of Concurrent Real-Time Systems; Yi Deng, Weliang Du, Paul C. Attie, and Michael Evangelist, Florida
International University, USA

Session B7. Code Reengineering III - Salon D

Chair: Ilene Burnstein, Illinois Institute of Technology

* Challenges in Deploying Software: Rollout, Field Support, Upgrades; W. Morven Gentleman, National Research Council of Canada, Canada

* Greedy Reuse: Architectural Considerations for Extending the Reusability of Components; R. Mittermeir and L. Wurfl, Universitat
Klagenfurt, Austria

* Reverse Engineering Procedural Code for Object Recovery; Doris Carver, Louisiana State University, USA

Session C7. Requirements II - Salon F

Chair: Xiaoqing Frank Liu, University of Missouri-Rolla

* Quality Assurance of Specification - The Users Point of View; Heinz-Dieter Knoll, Thomas Slotos and Wolfgang Suk, Fachhochschule
Nordostniedersachsen, Germany

* Requirements Analysis and Specification as a Problem of Software Automation; Jiafu Xu and Hong Zu, Nanjing University, Nanjing, China

7:00 pm - 9:00 pm Banquet - Lakeside A

Wednesday, June 12


8:30 am - 10:00 am Keynote Plenary Panel - System Integration

Chair: Joseph E. Urban, Arizona State University, USA
Panelists:
Wojciech Cellary, EFP - The Franco-Polish School of New Information and
Communication Technologies, Poland
Raymond T. Yeh, ISSI, USA

10:00 am - 10:30 am Coffee Break

10:30 am - 12:00 noon Sessions A8 - C8

Session A8. Concurrency II - Lakeside B

Chair: Alex Delis, Polytechnic University, USA

* Probabilistic and Discrete Time Processes; Scott Smolka, State University of New York at Stony Brook, USA

* Knowledge-Based Support for Distributed Systems Management; Bernd Kramer and Thomas Koch, FernUniversitat, Germany

* An Integrated Approach Towards Location Management in Mobile Computing Systems; Ravi Prakash and Mukesh Singhal, Ohio State University, USA

Session B8. Panel - Intelligent Integration of Information (I3) - Past,
Present, and Future - Lakeside C

Chair: Ray Liuzzi, US Air Force Rome Laboratory, USA
Panelists:
Yigal Arens - University of Southern California Information Sciences Institute, USA
Wesley Chu - University of California, Los Angeles, USA
David Gunning - Advanced Research Projects Agency Information Systems Office, USA
Michael Siegel - Massachusetts Institute of Technology, USA
Jeffrey P. Tsai - University of Illinois at Chicago, USA
Gio Wiederhold - Stanford University, USA

Session C8. SW Visualization I - Tamarack B

Chair: Kang Zhang, Macquarie University, Australia

* Scriptless Behaviour Definition of Visual Objects; Verena Giller, Guenter Haring, and Manfred Tscheligi, University of Vienna, Austria

* Visual Programming, Knowledge Engineering, and Software Engineering; Tim Menzies, Monash University, Australia

* Developing Visual Languages through an evolving Method; Kang Zhang and D. Q. Zhang, Macquarie University, Australia

12:00 noon - 1:30 pm Lunch Break

1:30 pm - 2:30 pm Sessions A9 - C9

Session A9. Concurrency III - Lakeside B

Chair: Valdis Berzins, Naval Postgraduate School, USA

* Towards Designing RTO.k Structured Server Objects with Service Time Guarantee; K. H. (Kane) Kim, University of California at Irvine, USA

* A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems; Kevin L. Mills, National Institute for Standards and
Technology, USA and Hassan Gomaa, George Mason University, USA

Session B9. Multimedia II - Lakeside C

Chair: Naoki Yonezaki, Tokyo Institute of Technology, Japan

* Version Management in Structures Document Retrieval Systems; P. Bruce Berra, Seong-Joon Yoo, Yong Kye Lee, and Kyoungro Yoon, Syracuse
University, USA

* The Theory of Massive Cross-Referencing; Dong-Keun Shin, Samsung Electronics, Korea

Session C9. SW Visualization II - Tamarack B

Chair: Guylaine Pollock, Sandia National Laboratories, USA

* Customized Visual Language Design; S. K. Chang, University of Pittsburgh, and P. Mussio, University of Rome, Italy

* A Visualization Tool for Pattern Matching and Discovery in Scientific Databases; George J. S. Chang, Jason T. L. Wang, and Gung-Wei Chirn, New
Jersey Institute of Technology, USA, and Chia-Yo Chang, AT&T Network
Systems, USA

2:30 pm - 3:30 pm Sessions A10 - B10

Session A10. Human Interfaces - Tamarack B

Chair: Jason T. L. Wang, New Jersey Institute of Technology, USA

* Generating Natural Language Interfaces for Terminological Knowledge Representation Systems; Rolf Adams and Hans Weigand, Hiroshima City
University, Japan

* Natural Language Processing: Structure and Complexity; Wiodek Zadrozny, IBM T.J. Watson Research Center, USA

Session B10. Multimedia III - Lakeside C

Chair: Phil Sheu, University of California at Irvine, USA

* Implementation of Selected Data/Knowledge-Base Algorithms on a Digital Optoelectronic Processor; Peter S. Guilfoyle, John M. Hessenbruch, and
Richard V. Stone, OptiComp Corporation, USA, Ray Liuzzi, US Air Force Rome
Laboratories, USA, and P. Bruce Berra, Syracuse University, USA

* A Fast 3-D Visualization Methodology Using Characteristic Views of Objects; S. Hwang, S.-Y. Cho, T. Wang, and Phillip C.-Y. Sheu, University
of California at Irvine, USA

**********************************************************************

SEKE'96 Travel Information:

Location of the Hotel:
Hyatt Regency Lake Tahoe Resort & Casino
Country Club Dr. at Lakeshore
Incline Village, Nevada 89450-3239
Tel: 702-832-1234 Telex: 354483 Fax: 702-831-7508 Reservation: 1-800-233-1234

Distance Information:
Incline Village to Reno Airport 35 miles
Incline Village to San Francisco 210 miles
Incline Village to State Line 4 miles
Incline Village to Truckee 18 miles
Truckee to San Francisco 192 miles

How to Get There:
1. The best way is to fly to Reno. The following airlines have daily flights to Reno/Tahoe Int'l Airport: Alaska, American, America West, Canadian, Delta, Northwest, Reno Air, Skywest (Delta Connection), Southwest, TriStar, TWA and United Shuttle
2. From Reno Airport, you can take a taxi to Hyatt at Incline Village. The one-way fare is about $50 dollars, available from the following:
Reno-Sparks Cab 702-333-3333
Whittlesea Checker Taxi 702-322-2222
Yellow/DeLuxe Cab 702-355-5555
3. Or you can take on-demand limo, which costs about $18 dollars one-way. A few are listed below (the area code is 702 unless otherwise stated):
Aero-Trans 786-2376, Airport Mini-Bus 786-3700, Executive Limo 333-3300
Sierra West Limo 329-4310, Tahoe Limo 916-577-2727 or 1-800-334-1826
4. The least expensive is Greyhound. From Reno Airport there is only one daily service that departs at 6:45am and arrives at State Line around 8:30am. The fare is $8 dollars. However, from State Line you still have to take a taxi or limo to Incline Village. It may cost another $10-15 dollars.
5. If you want to explore the vicinity of Lake Tahoe, you may consider renting a car at Reno Airport, or even renting a car at San Francisco Int'l Airport and drive to Lake Tahoe! It is only 210 miles from San Francisco to Incline Village, and usually you can make it in 4 to 5 hours.

For Further Information on Transportation from Reno Airport to Hotel:
Check the Information Booth at the airport 702-328-6870.

For Further Information on Transportation from Hotel to Reno Airport:
Check the information desk at the hotel. Generally speaking, you can call taxi (around $50 dollars), or take on-demand limo (around $18 dollars but it must be pre-arranged with a group).

From San Francisco to Lake Tahoe by Bus:
From San Francisco you can take Gray Hound Bus to Truckee, and from Truckee you can take another bus to Incline Village. To obtain information about Gray Hound bus schedule, please call 1-800-531-5322 or 916-587-3822. To take the bus in San Francisco, the station is located at 425 Mission Transbay Station, between 1st and Mission. The one-way bus fare from San Francisco to Truckee is around $34 dollars. The following schedule may change but gives you an idea:
San Francisco 10am -> Truckee 3:30pm
San Francisco noon -> Truckee 5:50pm
San Francisco 5pm -> Truckee 10:30pm
From Truckee to Incline Village there is another bus service. Call the following number for route and schedule:
California 916-581-6365 Nevada 1-800-325-8278

From San Francisco by Train:
This is an intriguing alternative. Instead of flying or driving, why not taking the train? In San Francisco you can catch a courtesy bus to the Oakland Station to connect with the 10:40am California Zephyr, arriving in Truckee at about 4:13pm. The return trip departs Truckee at 10:49am and arrives at Oakland at about 5:15pm. One-way fare is $49, and rout-trip fares vary from $59 to $96, depending upon availability. For info call 1-800-USA-RAIL. Bound for Chicago, AMTRAK's California Zephyr train departs from Oakland, cuts through Berkeley, offers great views of the Golden Gate Bridge, circles San Pablo Bay and eventually arrives in Sacramento. From Sacramento, the train edges up the foothills and climbs the Sierras, zipping along the Yuba River. As it crests the pass, it plunges into a tunnel and emerges to a view of Donner lake, finally pulling into the Truckee Station. From Truckee, you can take a taxi or a bus to Incline Village.

**********************************************************************

DISCOUNT AIRLINES TICKET:

We have made arrangement with Forbes Travel 800-345-2984 for discount airfare. The airlines carrier is United Airlines. You can call Forbes Travel to make reservation and purchase ticket on United Airlines, and receive a 10% discount for regular coach fare ticket, or a 5% discount for special discount fare ticket. For international flights, Forbes Travel promises greater discounts but has not provided us with exact figures. You need to cite SEKE'96 to get the discount, and travel must be for the purpose of attending SEKE'96.

Forbes Travel, 5835 Forbes Ave., Pittsburgh, PA 15217 USA
Tel: 412-521-7300 Fax: 412-422-3885 Toll Free Number: 800-345-2984

Forbes Travel is the official travel agency of University of Pittsburgh. If you are an international participant and would like to ask Forbes Travel to book international flights for you, here is an important tip: Ask the travel agent to find discount fare from a CONSOLIDATOR (which is another name for the airlines wholesales dealer) so that the travel agent can quote you the best fare. If you don't ask for CONSOLIDATOR fare, the travel agent will quote you the best fare from the airlines. There is considerable difference between the two best fares.

**********************************************************************

SEKE'96 :: JUNE 10-JUNE 12, 1996 :: REGISTRATION

NAME:
ACM/IEEE Membership Number:
ADDRESS:

PHONE:
FAX:
E_MAIL:
ACM/IEEE member registration: $395

Non-member registration: $475

Student registration: $375

Extra copy proceedings*: $55

Extra Extra Boat Tour Ticket: $20

Extra banquet ticket: $60

+ Hotel rate is $109 per night for singleor double. Price does not include tax. To contact hotel, call 800-2331234 or fax 702-8317508 or write to Hyatt Regency, Lake Tahoe, Nevada, USA

* Domestic first-class mail add US$8.00, International by air add US$35.00, International by surface add US$15.00.

Please make checks payable to SEKE'96, and send them to SEKE'96
Knowledge Systems Institute
3420 Main Street Tel: +1-847-679-3135
Skokie, IL 60076 Fax: +1-847-679-3166
USA Email: seke96@nova.ksi.edu