arvind@utcsri.UUCP (Arvind Gupta) (04/09/87)
From: kozen@gvax.cs.cornell.edu (Dexter Kozen)
Subject: LICS conference announcement
LOGIC IN COMPUTER SCIENCE
SECOND ANNUAL CONFERENCE
Sponsored by the IEEE Computer Society Technical Committee on
Mathematical Foundations of Computing
and Cornell University
in cooperation with the
Association for Computing Machinery
Special Interest Group on Automata and Computability Theory
Association of Symbolic Logic
European Association for Theoretical Computer Science
June 22-25, 1987
Cornell University
Ithaca, New York
=============================================================
Advance Registration Form
Please type or print legibly.
Name____________________________________Title________________
(last) (first)
Affiliation__________________________________________________
Address______________________________________________________
City___________________State/Country_______________Zip_______
Phone_________________Netmail________________________________
Arrival date___________________time__________________________
Departure date_________________time__________________________
Registration fee:
Before 6/1 After 6/1
Member IEEE-CS, ACM, EATCS, ASL [ ] $100 [ ] $140
Nonmember [ ] $140 [ ] $190
Author/Program Committee [ ] $100 [ ] $140
Full-time Student [ ] $30 [ ] $50
Registration fee includes proceedings, Sunday evening reception,
breakfast and lunch Monday through Thursday, and barbecue.
On-campus accommodations:
# of people: # of nights:
_____standard single @ $21.50/person x _____ = $_____
_____standard double @ $15.75/person x _____ = $_____
_____townhouse single @ $38.00/person x _____ = $_____
_____townhouse double @ $24.00/person x _____ = $_____
[ ] male [ ] female [ ] smoking [ ] nonsmoking
Name of roommate if double occupancy requested
_____________________________________________________________
Please describe any disability requiring special
consideration (e.g., cannot climb stairs, wheelchair, etc.)
_____________________________________________________________
Meals: [ ] kosher [ ] vegetarian
Total enclosed (registration + accommodation): $_____________
Please make checks payable to Cornell University. Submit this
form with your check or money order in US dollars to:
Cornell University Conference Services
Box 3, Robert Purcell Union
Cornell University
Ithaca, New York 14853
==============================================================
Cornell University Conference Services
Box 3, Robert Purcell Union
(607) 255-6290
Logic in Computer Science
General Information
LOCATION AND CLIMATE. Ithaca is located in the finger lakes district
of upstate New York, about 225 miles northwest of New York City and
about 150 miles east-southeast of Buffalo. Founded in 1865, Cornell
is the youngest member of the Ivy League. The main campus has been
acclaimed as one of the most beautiful in the world, with over seven
hundred acres of open lawns, manicured pathways, wooded areas, and
distinctive buildings located on a hill overlooking the city of Ithaca
and Cayuga Lake. The waters that feed the lake have created spectacular
gorges and waterfalls on campus and throughout the area. Summer in
Ithaca is beautiful with warm days and cooler evenings. Casual clothing
is in order with a sweater or light jacket for evening and comfortable
walking shoes during the day. The Finger Lakes area is very scenic,
so you may want to bring a camera. We can expect a rain shower every
few days...do bring an umbrella.
TRAVEL INFORMATION. State highways serving Ithaca include Routes 13,
34, 79, 89, and 96. Interstate 81 comes within 35 miles of Ithaca and
the New York State Thruway (Interstate 90) is less than 50 miles to the
north. Driving from the North: Route 81 South to Exit 12 (Cortland).
Route 13 south to N. Triphammer Road exit. Left onto Triphammer Road.
Proceed through traffic lights to stop sign. Left onto Hanshaw Road.
Proceed 1/8 mile to Sunoco Gas Station (on right), right turn onto Pleasant
Grove Road. Proceed one mile on Pleasant Grove, then turn right onto
George Jessup Road. Follow signs to registration area. Driving from
the south: Route 81 north to Route 17 west to Route 96B (Owego) to Ithaca.
At the foot of the hill in downtown Ithaca bear left onto Seneca Street.
Proceed to Route 13 (Meadow Street), turn right. DO NOT FOLLOW SIGNS
TO CORNELL UNIVERSITY. Proceed on 13 to N. Triphammer Road exit, turn
right onto Triphammer Road. Proceed as if coming from the north. Driving
from the west: Route 90 east to 81 south (Syracuse) and proceed as if
approaching from the north. Driving from the east: Take Route 17 west
to Binghamton and proceed as if coming from the south. A map will be
enclosed with your advance registration confirmation letter.
AIRLINE INFORMATION. Ithaca is served by USAir, Piedmont and Brockway
Airlines. The number of seats into Ithaca is about 900 per day. Airport
limosine service will take you from airport to motels or campus living
units. The campus residence halls are about four miles from the airport.
Hancock International Airport in Syracuse is 55 miles from Ithaca and is
served by numerous airlines. Limited bus service from the Syracuse
Airport is provided by Greyhound.
BUS SERVICE. Bus service to Ithaca is provided by Greyhound Bus Lines.
The ride from New York City to Ithaca takes about five hours. Taxi service
is available from the downtown Greyhound terminal to campus (fare
approximately $5).
PARKING AND LOCAL TRANSPORTATION. Parking on campus is by permit only.
Conference parking permits (in peripheral lots) will be available at
registration for $1.00 per car per day. Campus buses make a circuit
of the campus every fifteen minutes. Maps of the bus routes and stops
will be available at registration. Conference name badges will serve
as your bus pass. Parking in the center of campus is available only
on evenings and weekends. The campus is accessible to the handicapped;
please indicate on the registration form that you need assistance.
REGISTRATION. Arriving conference participants should register at the
Robert Purcell Union, North Campus. Campus maps and further information
will be available at registration.
ON-CAMPUS ACCOMMODATIONS. Conference participants are invited to live
on-campus in our residence halls. There are two classes of residence
hall accommodations: standard residence halls and townhouses.
STANDARD RESIDENCE HALLS. While style and architecture vary, each hall
provides comfortable sleeping rooms and spacious lounge areas for
informal gatherings. Both single and double rooms are available;
single rooms are reserved on a first request basis. Families can be
accommodated in a combination of adjoining singles and doubles.
Accommodations include linen (two sheets, pillow case, pillow, blanket
and bedspread) and supplies (bath towel, wash cloth, small bar of soap,
disposable water glass). Housekeeping service is provided daily.
Wake-up service is not provided; participants should bring an alarm
clock or radio. Rate: single $21.50/person, double $15.75/person,
nonrefundable after 6/1.
TOWNHOUSES. The townhouse residence halls are contemporary in style
and decor, and are located on the north edge of campus. Each unit has
two sleeping rooms sharing a living room area, kitchenette and bathroom.
The townhouses are air-conditioned and can accommodate single or double
occupancy. Townhouse rooms include the complete linen package.
Housekeeping service is provided daily and an amenities package is
included (toothpaste, toothbrush, disposable razor, shampoo, comb and
conditioner) on the day of arrival. The townhouses are fully carpeted
and air-conditioned. Wake-up service is not provided. Rate: single
$38.00/person, double $24.00/person, nonrefundable after 6/1.
OFF-CAMPUS ACCOMMODATIONS. A block of rooms have been reserved at the
Ithaca Holiday Inn for the nights of June 21-25. CONFERENCE PARTICIPANTS
DESIRING OFF-CAMPUS HOUSING MUST MAKE THEIR OWN ARRANGEMENTS. When
making your reservation with the Holiday Inn, be sure to indicate that
you will be attending the 2nd Annual Conference on Logic in Computer
Science in order to receive the special conference rate of $50 single,
$60 double. Be sure to make your hotel reservation early, as the block
of rooms is being held only until May 17. Transportation between the
hotel and the conference will not be provided; taxi service is available.
Holiday Inn of Ithaca
2310 North Triphammer Road
Ithaca, New York 14853
(607) 257-3100
STUDENT ACCOMMODATIONS. Graduate students of the Cornell Computer Science
Department have generously offered to provide limited accommodations to
full-time students attending the conference. These accommodations are
free of charge and are available on a first-come first-served basis.
Please contact Anne Rogers, rogers@svax.cs.cornell.edu, (607) 255-5033.
MEALS. University cafeteria meals provide a choice of 3-5 entrees, cold
foods, salad bar, several types of salads, a variety of fresh fruits,
vegetables, rolls/breads and desserts with unlimited additional servings.
Breakfast and lunch for Monday, June 22 through Thursday, June 25 are
included in the registration fee. There are a number of good restaurants
within walking distance or a short drive from campus.
SOCIAL PROGRAM.
Sunday, June 21, 1987, 7-10 p.m.: An opening mixer, featuring hot and
cold hors d'oeuvres, drinks, wine and soda will be held at the Johnson
Museum of Art. Admission is included in the conference registration fee.
Tuesday, June 23, 1987: A Cornell-style chicken barbecue will be hosted
lakeside at Taughannock Falls State Park.
UNIVERSITY FACILITIES. At registration, conference participants will be
issued an official University name badge and an identification card. These
will allow participants to use the athletic facilities (tennis courts, golf
course, squash courts, swimming pools, locker rooms, etc.) during public
access hours free of charge. Guests using University swimming pools must
bring their own swim suits and a swim cap for long hair. Conference
participants are welcome to use the libraries, student unions, and museums;
visit the Cornell Plantations with their renowned gardens and plant
collections; or drive to the world-famous Laboratory of Ornithology to
walk through Sapsucker Woods Bird Sanctuary or to view the exhibits on display.
OTHER INFORMATION. The organizers gratefully acknowledge the generous
support of the Mathematical Sciences Institute at Cornell and Odyssey
Research Associates Incorporated, Ithaca, New York.
Organizing Committee: K. Barwise, W. Bledsoe, A. Chandra (chair), E. Dijkstra,
E. Engeler, J. Goguen, D. Kozen, Z. Manna, A. Meyer, R. Parikh, G. Plotkin, D.
Scott
Program Committee: S. Brookes, L. Cardelli, R. Constable, M. Fitting,
D. Gries (chair), J. Goguen, Y. Gurevich, D. Harel, J.-P. Jouannaud, R. Ladner,
V. Lifschitz, G. Longo, A. Nerode, G. Plotkin, A. Pnueli, P. Scott
Conference chair: Ashok K. Chandra, IBM Research, Yorktown Heights,
New York 10598, (914) 945-1752, ashok@ibm.com.
Local Arrangements: Dexter Kozen, Computer Science, Upson Hall, Cornell
University, Ithaca, New York 14853, (607) 255-9209, kozen@gvax.cs.cornell.edu.
=========================================================================
Logic in Computer Science
Technical Program
Sunday, 21 June 1987
19:00 Reception
Monday, 22 June 1987
Session 1. Chair: A. Pnueli
09:00 Invited speaker: R. Milner
09:45 Break
Session 2. Chair: L. Cardelli
10:00 Polymorphism is Conservative Over Simple Types. V. Breazu-Tannen, A. Me
yer
10:30 Order-Sorted Algebra Solves the Constructor-Selector Problem. J. Goguen
,
J. Messeguer
11:00 Recursive Types and Type Constraints in Second-Order Lambda Calculus.
N. Mendler
11:30 Complete Type Inference for Simple Objects. M. Wand
12:00 Lunch
Session 3. Chair: D. Harel
13:45 Domain Theory in Logical Form. S. Abramsky
14:15 On the Formal Semantics of Statecharts. D. Harel, A. Pnueli, J. Schmidt
,
R. Sherman
14:45 Modeling Computations: A 2-Categorical Framework. R. Seely
15:15 Partial Order Models of Concurrency and the Computation of Functions.
H. Gaifman, V. Pratt
15:45 Break
Session 4. Chair: Y. Gurevich
16:00 Minimalism Subsumes Default Logic and Circumscription in Stratified
Logic Programming. N. Bidoit, C. Froidevaux
16:30 Hereditary Harrop Formulas and Uniform Proof Systems. D. Miller,
G. Nadathur, A. Scedrov
17:00 Undecidable Optimization Problems for Database Logic Programs.
H. Gaifman, H. Mairson, Y. Sagiv, M. Vardi
21:00 Business meeting
Tuesday, 23 June 1987
Session 5. Chair: P. Scott
09:00 Invited speaker: J. Reynolds
09:45 Break
Session 6. Chair: S. Brookes
10:00 The Power of Temporal Proofs. M. Abadi
10:30 Proving Boolean Combinations of Deterministic Properties. B. Alpern,
F. Schneider
11:00 Reasoning with Many Processes. A. Sistla, S. German
11:30 On the Eventuality Operator in Temporal Logic. A. Sistla, L. Zuck
12:00 Verification of Concurrent Programs: The Automata-Theoretic Framework.
M. Vardi
12:30 Lunch
14:00 Excursion and Barbecue
Wednesday, 24 June 1987
Session 7. Chair: J. Goguen
09:00 Invited speaker: M.H. van Emden
09:45 Break
Session 8. Chair: M. Fitting
10:00 Partial Objects in Constructive Type Theory. R. Constable, S. Smith
10:30 A Framework for Defining Logics. R. Harper, F. Honsell, G. Plotkin
11:00 The Computational Behaviour of Girard's Paradox. D. Howe
11:30 A Non-Type-Theoretic Definition of Martin-Lof's Types. S. Allen
12:00 Lunch
Session 9. Chair: G. Plotkin
13:45 The Hierarchy of Finitely Typed Functional Programs. A. Kfoury,
J. Tiuryn, P. Urzyczyn
14:15 Definability with Bounded Number of Bound Variables. N. Immerman,
D. Kozen
14:45 On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees.
W. Thomas
15:15 Full Abstraction and Expressive Completeness for FP. J. Halpern,
E. Wimmers
15:45 Break
Session 10. Chair: A. Nerode
16:00 A Semantical Approach to Nonmonotonic Logics. Y. Shoham
16:30 I'm OK if You're OK: On the Notion of Trusting Communication. R. Fagin,
J. Halpern
17:00 Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative
Languages. A. Goerdt
Thursday, 25 June 1987
Session 11. Chair: G. Longo
09:00 Kripke-Style Models for Typed Lambda Calculus. J. Mitchell, E. Moggi
09:30 Some Semantic Aspects of Polymorphic Lambda Calculus. P. Freyd, A. Sced
rov
10:00 X-Separability and Left-Invertibility in X-Calculus. C. Bohm, E. Tronci
10:30 Break
Session 12. Chair: J.-P. Jouannaud
10:45 Inference Rules for Rewrite-Based First-Order Theorem Proving. L. Bachm
air
11:15 Theorem Proving Using Rigid E-Unification: Equational Matings. J. Galli
er,
S. Raatz, W. Snyder
11:45 Solving Disequations. C. Kirchner, P. Lescanne
12:15 Decidability of the Confluence of Ground Term Rewriting Systems.
M. Dauchet, T. Heuillard, P. Lescanne, S. Tison
12:45 Lunch