Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 7 Feb 1994 08:31:32 +0000 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA17616; Mon, 7 Feb 1994 01:18:30 -0700 Sender: info-hol-request@leopard.cs.byu.edu Errors-To: info-hol-request@leopard.cs.byu.edu Precedence: bulk Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA17612; Mon, 7 Feb 1994 01:18:12 -0700 Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.8/16.2) id AA04065; Sun, 6 Feb 1994 23:45:36 -0800 Received: from gadwall.cl.cam.ac.uk (user jac1 (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Mon, 7 Feb 1994 07:45:04 +0000 Received: by gadwall.cl.cam.ac.uk (4.1/SMI-3.0DEV3) id AA09283; Mon, 7 Feb 94 07:44:54 GMT Date: Mon, 7 Feb 94 07:44:54 GMT From: Juanito.Camilleri@cl.cam.ac.uk Message-Id: <9402070744.AA09283@gadwall.cl.cam.ac.uk> To: info-hol@cs.uidaho.edu To: info-hol This is a final call for votes for HOL 95. If you have sent me a vote already, please do not send another. If you haven't sent in your vote please do so by sending an empty e-mail message to jac1@cl.cam.ac.uk with a subject heading: "Proposal 1": if you want to vote for Salt Lake City "Proposal 2": if you want to vote for New Jersey DEADLINE FEBRUARY 10TH. Thanks Juanito Camilleri (jac1@cl.cam.ac.uk) Proposal 1 ========== Brigham Young University, the University of Idaho, and Portland State University jointly propose to hold the 1995 (8th Annual) International Workshop on Higher Order Logic Theorem Proving and its Applications. Location -------- Snowbird Conference Center, Park City UT, about 30 minutes from Salt Lake City, UT. Organizers ---------- Dr. Phillip J. Windley, Brigham Young University Dr. E. Thomas Schubert, Portland State University Dr. Jim Alves-Foss, University of Idaho Transportation -------------- Salt Lake City is served by all major air carriers with several international connections. SLC International Airport serves as a hub for several carriers and has numerous connections to other locations. Transportation from the airport to the conference location will be provided by the conference organizers on a limited basis. Shuttle busses and rental cars are also available. Lodging ------- Lodging will be available at the conference center. Other lodging is also available nearby. Cost and Support ---------------- We expect that the cost of the workshop and lodging will be similar to that of past HOL conferences. We believe that student involvement in the conference is important and will make every effort to see that students are not excluded by cost. We will seek sponsorship from organizations such as IEEE and ACM to help defray costs. As has been the custom at HOL workshops, the program committee will actively seek external financial support for students participants. we hope to make a limited number of awards to student authors. Schedule -------- The workshop will be held in Summer of 1995. We propose a 1-day tutorial and 3-day workshop. An informal excursion may be held the day preceding or the day following the conference. Local Highlights ---------------- Park City Utah is located at 8000 feet in the Rocky Mountains. Hiking, mountain biking, and rock climbing are minutes away. Clinics in mountain biking and rock climbing are held regularly. Snowbird also has swimming pools, spas, tennis courts, and other recreational facilities. Of special interest is a tram that rises to a peak over 10,000 high providing a breathtaking view of the Rocky Mountains. Cultural events in Park City include regular performances of the Utah Symphony, the Utah Jazz and Blues festival, a String Chamber Music Festival, a Bluegrass Festival, and a Repertory Dance Theatre. -------------------------------------------------------------------- Proposal 2 ========== HOL'95 - Higher Order Logic Theorem Proving and its Applications ================================================================ Host: Elsa L. Gunter, Member of Technical Staff, ---- Department of Software Principles Research, AT&T Bell Labs Place: AT&T Bell Labs, Murray Hill, New Jersey, USA ----- Time: Some time between August and December 1995, at the community's ---- convenience. Travel: Murray Hill, NJ is in the greater New York/Newark area. ------ There are three airports that one can fly directly to: JF Kennedy and LaGuardia in New York and Newark International. Newark International is the closest, being about 15 minutes away by major highway. Almost all of Continental Airlines' flights fly into Newark. From Newark you can take a taxi for about $30 ($USA). If you fly into one of the other airports, you can take a shuttle bus (the Princeton Airporter) to Newark for $20. From there you take a taxi. You need to leave at lease an hour for travel between Newark Airport and either of the others. It is also possible to take the train (with one change) between Murray Hill NJ and downtown Manhattan, New York City. The round-trip fare is about $10 and the one-way travel time is about an hour. The trains are fairly regularly every half hour. Hotels: The closest hotels are: ------ Murray Hill Inn, Murray Hill, NJ (908) 665-9200. Five minutes by car. Fifteen minutes walking. The AT&T Corporate rate is $89 for a single, $99 for 2 in a room. The Grand Summit Hotel, Summit, NJ (908) 273-3000 Ten minutes by car. Forty minutes walking. The AT&T Corporate rate is $85 for a single. Other hotels nearby, but not offering a corporate rate, are: Holiday Inn, Springfield, NJ (on Route 22) (908) 376-9400 $59 (single or double) (You need a car.) The Hilton at Short Hills, Short Hills, NJ (908) 379-0100 $135/single room; $155/double room (You need a car.) Food: Breakfast and lunch can be bought in the cafeteria at Bell Labs. ---- There is a wide variety of restaurants within easy driving distance of Bell Labs. Refreshments will be provided throughout the sessions. Funding: I don't think I can arrange any student support, but I will ------- try. The only need for a conference fee is if formally publishing the proceedings requires it, and to cover a conference dinner. Students could have their fees waived in exchange for their not getting the formal proceeding. Assuming the proceedings are handled as before, preliminary proceedings will be printed here at Bell Labs. Bell Labs will also provide refreshments (coffee, tea, juice, bagels, fruit).