[Prev][Next][Index][Thread]

ALGEBRAIC AND LOGIC PROGRAMMING



Date: Wed, 4 Jul 90 17:53:33 +0200

      	          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