CONFERENCE INFORMATION as it appears in the brochure.


Amherst is a big suburb of Buffalo. All conference functions will be held in the Center For Tomorrow, which is on the Amherst (``North'') Campus, about a half-mile from its academic buildings.

As often with U.S. suburbia, a car is required to reach most places of entertainment. Downtown Buffalo is reachable by bus-to-subway. The Hampton, Marriott, and University Inn can arrange excursions for their guests. The conference web pages have more information about local attractions.


Sunday Night: There will be a Welcoming Barbecue, Center For Tomorrow, 4pm to 9pm. Family of registered participants are invited at no extra cost.

Tuesday Afternoon: Excursion to Niagara Falls. Departure at 2pm from Center For Tomorrow. Family of participants are invited to join at no extra cost. Although no meal is included in this excursion, one can eat in the Falls area. Schedule for returning busses will be determined later.

Wednesday Night: Business Meeting at 6:00pm in Center For Tomorrow. Food will be served.


By Airplane:
The conference is only about 7 miles from Buffalo airport.
Car rentals and airline reservations for conference attendees can be made at discount rates through NFT Travel, 1 800 633 6782, STAR FILE BUFMTG,

By Automobile:
To drive from the airport, exit airport right (west) on Genesee St., left onto 33; first exit on right gets you onto 90 east; Exit 50 ``290 Niagara Falls'' (exit on right again); Exit 5B: Millersport Hwy North; get over 3 lanes and make first left at light onto Flint Road. The Marriott, Red Roof, Hampton, and Super-8 are there, and the Center For Tomorrow is just across Maple Road off Flint on the left. To reach the University Inn, continue on Flint into campus, left at the first light onto Audubon, right at the 4th light onto N. Forest, and it is on your right.


Each year, brief abstracts on current research on topics covered by the conference are made available electronically a week before the conference. Submission is open to all. June 10 is the submission deadline. For details of submissions format send email to or contact the Abstracts Editor: William Gasarch; Dept. of Comp. Sci.; Univ. of Maryland at College Park; College Park, Maryland, 20742, Email:


Center For Tomorrow: (716) 645-2018. The site is staffed during normal daytime hours. Internet access from the conference site will be provided.

UB Conference Operations: (716) 645-3705; or e-mail to


The conference is sponsored by the IEEE Computer Society Technical Committee for Mathematical Foundations of Computing in cooperation with ACM SIGACT and EATCS. Additional support was provided by the University at Buffalo, Computer Science Department and Faculty of Natural Sciences and Mathematics.

See this page for additional information.