lescanne@loria.crin.fr (Pierre Lescanne) (07/04/90)
Second International Conference on ALGEBRAIC AND LOGIC PROGRAMMING ------------------------------- Nancy (France), October 1st-3rd, 1990 ------------------------------- Organized by CRIN and INRIA-Lorraine Sponsored by CNRS, INRIA and Nancy Universities with the financial support from: Conseil Regional de Lorraine Conseil General de Meurthe et Moselle District de l'Agglomeration Nanceienne Universite de Nancy I Universite de Nancy II Institut National Polytechnique de Lorraine Universite de Wu"rzburg Mairie de Nancy ----------------------------------------------------------------------------- SCIENTIFIC PROGRAM Following the intention of the first conference on Algebraic and Logic Programming, held in Gaussig in 1988, the Program Committee has selected 23 papers from 59 submissions, in order to emphasize the connections between algebraic approaches and logic programming. We hope that these three days will give the opportunity to fruitful exchanges between participants. Monday October 1st, 1990 10:00 Opening Invited talk: Chair: W.Wechler 10:15 Proving second order formulae with term rewriting J. Goguen (U.Oxford, UK) 11:15 Discussion Session 1: Chair: H-D. Ehrich 11:30 Proving correctness w.r.t. specifications with hidden parts J. Farre`s-Casals (U.Edinburgh, UK) 12:00 Hybrid implementations of algebraic specifications H.R. Walters (U.Amsterdam, The Netherlands) 12:30 Lunch Session 2: Chair: J.Goguen 2:30 Multi-modal logic programming using equational and order-sorted logic F. Debart, P. Enjalbert, M. Lescot (U.Caen, France) 3:00 Logic programs with equational type specifications M. Hanus (U.Dortmund, FRG) 3:30 Higher-order order-sorted algebra Z. Qian (U.Bremen, FRG) 4:00 Axiomatization of a functional logic language F. Bronsard, U.S. Reddy (U.Illinois, USA) ------------------------------------------------------------------------ Tuesday October 2nd, 1990 Invited talk: Chair: P.Lescanne 9:00 Fourier revisited J-L. Lassez (IBM Yorktown, USA) 10:00 Discussion 10:15 Coffee Break Session 3: Chair: A. Tarlecki 10:30 Fixpoint techniques for non-monotone maps A. Batarekh (U.Concordia, Canada) 11:00 Domain theory for nonmonotonic functions Y. Zhou, R. Muller (U.Harward, USA) 11:30 On the strong completion of logic programs M. Phanminhdung (A.I.T.Bangkok, Thailand) 12:00 An equivalence preserving first order unfold/fold transformation system T. Sato (E.L.Ibaraki, Japan) 12:30 Lunch Session 4: Chair: H. Comon 2:30 Propositional calculus problems in CHIP H. Simonis, M. Dincbas (E.C.R.C. M\"{u}nchen, FRG) 3:00 Unfolding and fixpoint semantics of concurrent constraint logic programming M. Gabbrielli, G. Levi (U.Pisa, Italy) 3:30 Eliminating negation from normal logic programs K. Kanchanasut, P. Stuckey (U.Melbourne, Australia) 4:00 Coffee break Session 5: Chair: J-L.Lassez 4:30 On logic programming interpretations of Dislog: Programming discontinuities in logic P. Saint-Dizier (U.Toulouse, France) 5:00 Recursive query processing in predicate-goal graph Jia Liang Han (U.C.S.Queensland, Australia) 5:30 Panel discussion --------------------------------------------------------------------------- Wednesday October 3rd,1990 Invited talk: Chair: G.Smolka 9:00 Implementation of completion by transition rules + control: ORME P. Lescanne (CRIN-INRIA-Lorraine, France) 10:00 Discussion 10:15 Coffee break Session 6: Chair: H. Hussmann 10:30 Matching modulo axioms of categories with product. Application to program transformation F. Bellegarde (O.G.I.S.T.Beaverton, USA) 11:00 Equation solving in conditional AC-theories N. Dershowitz (U.Illinois, USA), S. Mitra, G. Sivakumar (U.Delaware, USA) 11:30 Lazy Narrowing in a graph machine J.J. Moreno-Navarro (U.P.Madrid, Spain), H. Kuchen, R. Loogen (U.Aachen, FRG), M. Rodriguez-Artalejo (U.C.Madrid, Spain) 12:00 An abstract machine for concurrent term rewriting N. Dershowitz (U.Urbana, USA), N. Lindenstrauss (Hebrew U., Isra\"{e}l) 12:30 Lunch Session 7: Chair: G. Kucherov 2:30 Applying term rewriting methods to finite groups R. Bu"ndgen (U.T\"{u}bingen, FRG) 3:00 Termination proofs by multiset path orderings imply primitive recursive derivation lengths D. Hofbauer (T.U.Berlin, FRG) 3:30 Optimization of rewriting and complexity of rewriting Ke Li (U.New York, USA) 4:00 AC-Termination of rewrite systems: a modified Knuth-Bendix ordering J. Steinbach (U.Kaiserslautern, FRG) 4:30 Closure -------------------------------------------------------------------------- SYSTEM DEMONSTRATION In addition to technical sessions, we offer the possibility to demonstrate and experiment systems. CLP, OBJ, ORME and REVE are available on SUN-workstations. Participants willing to give a demonstration must contact BEFORE SEPTEMBER 1st, 1990 Miki HERMANN CRIN & INRIA-Lorraine Campus Scientifique BP 239 54506 Vandoeuvre-les-Nancy Cedex FRANCE Phone: (33) 83 59 30 13 E-mail: hermann@loria.crin.fr --------------------------------------------------------------------------- PROGRAM COMMITTEE Jan Bergstra (Amsterdam) Hubert Comon (Orsay) Hans-Dieter Ehrich (Braunschweig) Heinrich Hussmann (Munich) Helene Kirchner (Nancy), Co-chair Gregory Kucherov (Novosibirsk) Gert Smolka (Saarbru"cken) Magnus Steinby (Turku) Andrzej Tarlecki (Warsaw) Wolfgang Wechler (Braunschweig), Co-chair Jia-Huai You (Edmonton) ORGANIZING COMMITTEE Christiane Guyot Miki Hermann Helene Kirchner ------------------------------------------------------------------------------ WELCOME TO NANCY LOCATION: Nancy is located in the North-East of France, 350 kilometers >from Paris and about 100 kilometers from the Vosges. The easiest way to reach Nancy is to fly to Paris and go by train (2h30) >from Gare de l'Est to Nancy. The conference will take place on the Science University Campus, in the INRIA-Lorraine building. The campus can be reached from downtown by bus no 4, 6 or 26. LOCALE: Historical capital of Lorraine, world-famous for its superb Place Stanilas and for the work of the artists of the "Ecole de Nancy", Nancy has a thousand different facets to attract and interest the visitor. With its 100.000 inhabitants (300.000 including vicinities), the town is at the very heart of an important industrial region and has a university that enjoys international renown. CLIMATE: The climate of this region is temperate. This is why, even in Autumn, the weather is often sunny and mild. CONFERENCE EVENTS: Registration desk will be open at INRIA-Lorraine on Sunday September 30th, from 6:00 to 8:00 PM and on Monday October 1st, >from 8:30 to 10:00 AM. A walking tour in the old Nancy and a visit of the Museum of Ecole de Nancy is planned on Sunday afternoon. Participants are invited to meet in front of the Musee des Beaux Arts, Place Stanislas, at 2:00 PM. In addition to the technical program, invited conferences and exhibits, there will be an official reception in the City Hall on Monday evening and a banquet on Tuesday night. REGISTRATION FEE: The regular registration fee amounts to 950FF and covers one copy of the proceedings, attendance of the sessions, lunches, coffee breaks, Monday evening reception and Tuesday night banquet. The student registration fee amounts to 750FF and includes the same things except the banquet. Additional banquet tickets can be purchased at the cost of 200FF. HOTELS: Three categories of rooms are available. Prices for one night are as folllows: Category *** single: 380 FF twin: 420 FF Category ** single: 240 FF twin: 274 FF Category * (dormitories): 3 to 6 persons per room, in an itinerant tourist rest center, near the campus: 37 FF A one-night fee deposit is required for the reservation. ----------------------------- CUT HERE ----------------------------------- ALP 90 REGISTRATION FORM Name : ______________________________________________________________ Affiliation: ________________________________________________________ Address: ____________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ Phone: ______________________________________________________________ E-mail: _____________________________________________________________ In order to facilitate your arrival in Nancy, a map and some information will be sent to you with the registration receipt. Please circle the appropriate answer: I will arrive by : car train plane Expected date and time of arrival:___________________________________ Please circle appropriate fees: Regular registration: 950 FF Student registration: 750 FF Additional banquet ticket: ___ x 200 FF TOTAL enclosed: _____FF ----------------------------- CUT HERE ----------------------------------- HOTEL REGISTRATION FORM Name : ______________________________________________________________ Affiliation: ________________________________________________________ Address: ____________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ _____________________________________________________________________ Phone: ______________________________________________________________ E-mail: _____________________________________________________________ Arrival date:________________________________________________________ Departure date:______________________________________________________ Number of persons: __________________________________________________ Deposit enclosed:____________________________________________________ Please reserve: ____ single room in category ______ ____ twin room in category ________ with M. _________________________ ____ dormitory room with MM. _________________________________________ Signature: ------------------------------------------------------------------------- Send the registration form and the hotel reservation form BEFORE SEPTEMBER 1st, 1990 to: Christiane GUYOT CRIN & INRIA-Lorraine Campus Scientifique Technopole de Nancy-Brabois 615, rue du Jardin Botanique BP 101 54600 Villers-les-Nancy FRANCE Payments will be accepted only in FRENCH FRANCS to the order of ALP 90. Registration without payments will not be taken into account. After September 1st, the hotel reservation will have to be done by the participants directly. For more information, contact: For the conference: Helene KIRCHNER Phone: (33) 83 59 30 12 E-mail: hkirchne@loria.crin.fr For the accomodation: Christiane GUYOT Phone: (33) 83 59 30 09 E-mail: cguyot@loria.crin.fr Fax: (33) 83 27 83 19 For system demonstration: Miki HERMANN Phone: (33) 83 59 30 13 E-mail: hermann@loria.crin.fr