ProCoS
Hardware Synthesis and Verification Workshop

August 14-16, 1996
Cornell University
Ithaca, New York, USA

For the past three years hardware verification and synthesis researchers at Cornell and Oxford University have cooperated through a joint NSF / ESPRIT ProCoS-US travel grant. As the final phase of this project, we are hosting a workshop at Cornell to provide a forum both for disseminating the results of the project and for discussing related work of other researchers.

We invite short (10 pages or less) position papers from interested parties by May 15. To encourage the presentation of work in progress, no proceedings will be published. Copies of position papers will be made available to workshop participants. Please send your contribution to: Geoffrey Brown, Department of Electrical Engineering, Cornell University, Ithaca, NY 14850, USA.

The registration fee for the participants will be $120. This includes lunches, workshop dinner, and a copy of the participants' papers. The participants will be responsible for arranging their own accommodation; a description of the available local accommodations is available from the TravelNow Network. Statler Hotel on the campus is the recommended hotel. You can make an on-line reservation directly or through the TravelNow Network. See also directions.

ProCoS Project members may be able to obtain partial support for travel through the ESPRIT funding for this grant. Please contact Wayne Luk for details.

Local Arrangements:
Geoffrey Brown

Program Committee:
Wayne Luk
Jifeng He
Geoffrey Brown
Miriam Leeser

See also information on the Ithaca area, including airline schedules, and maps of the campus, Ithaca and New York State from the CUinfo home page.

Part of the ProCoS archive.
Page formatted by Jonathan Bowen.