May I request you to post the following announcement on any appropriate email distribution list, news board, newsletter, or journal, which is in your responsibility. I apologize for the rather impersonal nature of this memo, and I hope this will not affect your willingness to assist with LICS93 publicity. Thanks very much in advance Daniel Leivant LICS Publicity Chair LOGIC IN COMPUTER SCIENCE (LICS) ******************************** Eighth Annual IEEE Symposium June 19-23, 1993, Montreal, Canada ADVANCE REGISTRATION AND PROGRAM INFORMATION ============================================ (The conference flyer is accessible via anonymous ftp from cs.indiana.edu, directory /pub/logic, files lics93.tex, lics93.dvi, lics93.ps etc.) CONFERENCE OFFICE. ================= Please address forms, payments and inquiries to: LICS93 Secretariat, Conference Office McGill University 550 Sherbrooke Str. West, West Tower, Suite 490 Montreal, Canada H3A 1B9 Phone: (514) 398-3770 Fax: (514) 398-4854 Email: lics93@cs.mcgill.ca REGISTRATION DESK. ================= A registration and information desk will be located at the Stephen Leacock Building, and the Welcome Reception will take place at Redpath Hall, both on McGill University's main campus. Entering campus through the McTavish Street entrance (below the corner of Dr. Penfield) Leacock will be the second building on your left, and Redpath the first on your right. The registration desk will operate on: The desk will operate on: * Saturday, June 19: 2-6pm * Sunday, June 20: 7:30am-6pm * Monday, June 21: 8am-6pm * Tuesday, June 22: 8am-6pm * Wednesday, June 23: 8-11am REGISTRATION FEES. ================= A table of registration fees can be found on the registration form. The member rate applies to members of a sponsoring organization (IEEE Computer Society, ACM, EATCS, ASL), members of the organizing and program committees, and authors of accepted papers. The student rate applies to full time students. All registration privileges are extended to the reduced rates. In the event of cancellation fees will be refunded, except for a $50 cancelation fee, provided a written request is received by the conference office by April 30. Payment of fees must accompany the registration form. Registrants may use a charge card (Visa, MasterCard, or American Express) by filling out the details and signing the appropriate portion of the registration form. Canadian and US residents may also send a personal check or money order, which must be in their national currency. Other registrants may also send an international money order, which must be in Canadian dollars. Checks and money orders should be payable to "LICS'93-McGill University". Fees include a 7% federal (GST) tax and a 4% provincial (PST) tax, which are refundable (except for residents of Canada for GST and residents of Quebec for PST). Refund forms will be included in the registration package. LODGING. ======= Blocks of rooms have been reserved at the Shangrila Hotel, for a pre-tax rate of $96 per night (single or double), and at the McGill University Royal Victoria College, for a pre-tax rate of $33 per night (single only). Both are a few minute walk from the conference site. To guarantee your reservation a deposit must be made by May 14, either by using a charge card (filling out the appropriate form in the registration form), or by contacting the hotel directly. All accommodation fees should be paid directly to the hotel at check-out time. For further information, please contact: Le Shangrila Hotel 3407 Peel Str. Montreal, Canada H3A 1W7 Phone: 514-288.4141, 800-361.7791 Fax: 514-288.3021 McGill Residences Royal Victoria College 3425 University Street Montreal, Canada, H3A 1X6 Phone: 514-398.6378 Fax: 514-398.4455 Montreal Convention & Tourism Bureau 1555 Peel Street, Room 600 Montreal, Canada H3A 1X6 Phone: 514-844.5400 Fax: 514-844.5757 Additionally, a block of suites has been reserved at Le Monfort at a special eight night rate (June 15th to June 23), ranging from a studio (bed & sofa-bed) at the rate of C$400 to a two bedroom apartment at C$725, all including small kitchen and dining area. This is of particular interest to people attending both RTA (June 16-18) and LICS (for RTA'93 information: rta93@cs.concordia.ca). Le Monfort is a few minute walk from the RTA site, and a short subway ride (or about 20 minute walk) from the LICS site. Reservations must be made directly with the hotel by May 7: Le Monfort (attn. Gisele Gariepy) 1975, de Maisonneuve Ouest Montreal H3H 1K4 Phone: 514-934.0916 Fax 514-939.2552 AIRPORT INFORMATION. =================== Domestic and US flights arrive at Dorval Airport. Buses depart every 20 minutes to the Berri Metro in downtown Montreal, a 20 minute ride, for a fare of $8.50. The taxi fare is about $25. Intercontinental flights arrive at Mirabel Airport, 56 km (35 miles) from downtown. There is a frequent bus service to the Berri Metro, for a fare of $13. Cab fare may reach $50. REGISTRATION AND ACCOMMODATION FORM *********************************** First Name __________________ Last Name ___________________ Affiliation ________________________________________________ Mailing Address _____________________________________________ _______________________________________________________ _______________________________________________________ Phone(s) _______________________ Fax: ______________________ E-mail: ___________________________________________________ RATES. Fees indicated below are in [Canadian dollars/US dollars]. Please indicate the applicable rate (and currency) by circling it on the table, and also writing it in. through 05.14 from 05.15 on site Regular 425/340 500/400 600/480 Member 375/300 450/360 550/440 Student 200/160 250/200 300/240 * Fee: ____________ * Justification: ______________________ HOTEL RESERVATION. Please mark the desired accommodation: * Shangrila single / double * McGill Residences (only single) * Arrival: _____________ * Departure: _________________ * No reservation requested MODE OF PAYMENT (Note: Accomodations must be guaranteed by May 14. See REGISTRATION section above.) Please circle one: Check Money Order VISA MC AmExp Credit Card Information (if applicable): Name on card ________________________________ Card Number _________________________________ Expiration date _____________________________ Signature ___________________________________ Charge card to be used for (please mark the appropriate): registration fees / accommodation guarantee / both CONFERENCE PROGRAM ****************** (All talks at Stephen Leacock Building) SATURDAY, June 19 ================= REGISTRATION (at Stephen Leacock Bldng) (2:00-6:00 pm) WELCOME RECEPTION (at Redpath Hall) (5:00-7:00 pm) SUNDAY, June 20 =============== TUTORIAL (8:30-10:00am) Chair: R. Constable (Cornell) Andrew M. Pitts (Cambridge): Bisimulation and co-induction SESSION 1: TYPES Chair: M. Abadi (DEC-SRC) (10:30-12:30) 10:30 The genericity theorem and the notion of parametricity in the polymorphic lambda-calculus Giuseppe Longo (ENS), Kathleen Milsted (DEC-PRL) & Sergei Soloviev (Russian Academy of Science) 11:00 Standard ML weak polymorphism and imperative constructs, My Hoang (Stanford), John Mitchell (Stanford) & Ramesh Viswanathan (Stanford) 11:30 A lambda calculus of objects and method specialization, John Mitchell (Stanford), Furio Honsell (Udine) & Kathleen Fisher (Stanford) 12:00 Strong normalization for second order classical natural deduction, Michel Parigot (Paris VII) HOSTED LUNCH (at the University Center Cafeteria) (12:30-2:00) SESSION 2: DEDUCTION Chair: N. Shankar (SRI) (2:00-4:00) 2:00 Automated production of traditional proofs for constructive geometry theorems, Shang-Ching Chou (Wichita State), Xiao-Shan Gao (Edinburgh) & Jing-Zhong Zhang (Wichita State) 2:30 On the unification problem for cartesian closed categories, Paliath Narendran (SUNY-Albany), Frank Pfenning (CMU) & Richard Statman (CMU) 3:00 Functional unification of higher-order patterns, Tobias Nipkow (TU Muenchen) 3:30 Set constraints are the monadic class, Leo Bachmair (SUNY-Stony Brook), Harald Ganzinger (Max Planck Inst) & Uwe Waldmann (Max Planck Inst) SESSION 3: SEMANTICS Chair: P.J. Freyd (U. Penn) (4:30-6:00) 4:30 Relational properties of recursively defined domains, Andrew M. Pitts (Cambridge) 5:00 Full abstraction for a shared variable parallel language, Stephen Brookes (CMU) 5:30 A coinduction principle for recursive data types based on bisimulation, Marcelo P. Fiore (Edinburgh) BUSINESS MEETING (at Leacock Building) (8:00-10:00) MONDAY, June 21 =============== TUTORIAL Chair: Y. Moschovakis (UCLA) (8:30-10:00) Phokion G. Kolaitis (UC Santa Cruz): Finite-model theory SESSION 4: MODAL & TEMPORAL LOGICS (10:30-12:30) Chair: M.Y. Vardi (IBM-Almaden) 10:30 In and out of temporal logic, Amir Pnueli (Weizmann Inst) & Lenore Zuck (Yale) 11:00 On completeness of mu-calculus, Igor Walukiewicz (Warsaw) 11:30 On model checking for real-time properties with durations, A. Bouajjani (LGI-IMAG), R. Echahed (LGI-IMAG) & J.Sifakis (LGI-IMAG) 12:00 Verifying programs with unreliable channels, Parosh Abdulla (Uppsala) & Bengt Jonsson (Uppsala) LUNCH BREAK (12:30-2:00) SESSION 5: FINITE-MODEL THEORY (2:00-4:00) Chair: P.G. Kolaitis (UC Santa Cruz) 2:00 y = 2x vs. y = 3x Alexei Stolboushkin (UCLA) & Damian Niwinski (Warsaw) 2:30 Monadic second-order logic and hypergraph orientation, Bruno Courcelle (Bordeaux I) 3:00 Infinitary logics and very sparse random graphs, James F. Lynch (Clarkson) 3:30 Asymptotic probabilities of languages with generalized quantifiers, Guy Fayolle (INRIA), Stephane Grumbach (INRIA) & Christophe Tollu (Paris-Nord) SESSION 6: LOGIC PROGRAMMING (4:30-6:00) Chair: D. Miller (U. Penn) 4:30 Compositional analysis for concurrent constraint programming, Moreno Falaschi (Padova), Maurizio Gabbrielli (Pisa), Kim Marriott (Monash) & Catuscia Palamidessi (Genova) 5:00 Rules of definitional reflection, Peter Schroeder-Heister (Tubingen) 5:30 Encoding the calculus of constructions in a higher-order logic, Amy Felty (Bell Labs) CONFERENCE RECEPTION (at Redpath Hall) (6:00-7:30) EVENING LECTURE (at Leacock Bldg) (8:00-9:00) Chair: M. Okada (Concordia) Jim Lambek (McGill): Programs, grammars and arguments -- a personal view of some connections between computation, language and logic TUESDAY, June 22 ================ INVITED TALK Chair: P. Panangaden (McGill) (9:00-10:00) Jon Barwise (Indiana): Information flow in imperfect channels SESSION 7: LAMBDA CALCULUS (10:30-12:30) Chair: S. Abramsky (Imperial Coll) 10:30 A typed pattern calculus, Val Breazu-Tannen (U.Penn), Delia Kesner (INRIA/Paris-Sud) & Laurence Puel (Paris-Sud) 11:00 Non-determinism in a functional setting, C.-H. Luke Ong (Cambridge/Singapore) 11:30 Adequacy for untyped translations of typed lambda-calculi, Wesley Phoa (U. of New South Wales) 12:00 Local and asynchronous beta-reduction, Vincent Danos (CNRS) & Laurent Regnier (CNRS) LUNCH BREAK (12:30-2:00) SESSION 8: COMPLEXITY & DATABASES (2:00-4:00) Chair: P. Clote (Boston Coll) 2:00 An exponential separation between the matching principle and the pigeonhole principle, Paul Beame (U Washington) & Toniann Pitassi (UC San Diego) 2:30 Some desirable conditions for feasible functionals of type 2, Anil Seth (Tata Institute) 3:00 Database query languages embedded in the typed lambda calculus, Gerd G. Hillebrand (Brown), Paris C. Kanellakis (Brown) & Harry G.Mairson (Brandeis) 3:30 Homomorphic tree embeddings and their applications to recursive program optimization, V.S. Lakshmanan (Concordia), Karima Ashraf (Concordia) & Jiawei Han (Simon Fraser) SESSION 9: REWRITING Chair: P. Lescanne (CRIN) (4:30-6:00) 4:30 The order types of termination orderings on terms, strings and multisets, Ursula Martin (St.Andrews) & Elizabeth Scott (St.Andrews) 5:00 The unifiability problem in ground AC theories, Paliath Narendran (SUNY-Albany) & Michael Rusinowitch (INRIA/CRIN) 5:30 Lambek grammars are context free, Mati Pentus (Moscow U) FREE EVENING WEDNESDAY, June 23 ================== INVITED TALK Chair: M.Abadi (DEC-SRC) (8:45-9:45) Gordon D.Plotkin (Edinburgh): Type theory and recursion SESSION 10: CONCURRENCY Chair: B.Bloom (Cornell) (10:05-12:35) 10:05 Typing and subtyping for mobile processes, Benjamin Pierce (Edinburgh) & Davide Sangiorgi (Edinburgh) 10:35 Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes, Soren Christensen (Edinburgh), Yoram Hirshfeld (Edinburgh) & Faron Moller (Edinburgh) 11:05 A fully abstract denotational model for higher-order processes, M.Hennessy (Sussex) 11:35 Self-synchronization of concurrent processes, Lalita Jategaonkar (MIT) & Albert R. Meyer (MIT) 12:05 Bisimulation and open maps, Andre Joyal (UQAM Montreal), Mogens Nielsen (Aarhus) & Glynn Winskel (Aarhus) END OF CONFERENCE CONFERENCE ORGANIZATION *********************** LICS General Chair: Robert L. Constable 1993 Conference Co-chairs: Mitsuhiro Okada & Prakash Panangaden 1993 Program Chair: Moshe Y. Vardi Publicity Chair: Daniel Leivant PROGRAM COMMITTEE: ================= M. Abadi, S. Abramsky, B. Bloom, P. Clote, P.J. Freyd, D. Harel, K.G. Larsen, P. Lescanne, D. McAllester, J. Meseguer, D. Miller, Y. Moschovakis, N. Shankar, C. Talcott, M.Y. Vardi, and P. Wolper. ORGANIZING COMMITTEE: ==================== M. Abadi, S. Abramsky, S. Artemov, J. Barwise, M. Blum, A. Borodin, A. Bundy, S. Buss, E. Clarke, R. Constable (Chair), E. Engeler, J. Gallier, U. Goltz, Y. Gurevich, S. Hayashi, G. Huet, G. Kahn, D. Kapur, C. Kirchner, R. Kosaraju, J.W. Klop, P. Kolaitis, D. Leivant, A.R. Meyer, G. Mints, J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, A. Pitts, G. Plotkin, S. Ronchi della Rocca, G. Rozenberg, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi, R. de Vrijer. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++