call for papers, previous message

From: (Tony Kusalik)
Subject:  6WLPE Call for Participation
Date:     16 May 1994 20:53:30 GMT

                        Call for Participation


                 ICLP'94 Post-Conference Workshop:

         The Sixth Workshop on Logic Programming Environments

                      Friday, June 17, 1994
                   Santa Margherita Ligure, Italy


  Logic programming environments have come a long way from the
original text-based paradigm.  Much work has been done on the creation
of better logic programming environments.  Furthermore, the characteristics
of logic programming languages often motivate innovative approaches
and techniques in the areas of user environments and programming tools.

  The Sixth Workshop on Logic Programming Environments will provide
a forum for researchers and logic programming system developers to 
exchange ideas and results on all aspects of environments for logic 
programming.  This includes work related to design issues, new 
techniques and tools, and the solution of noteworthy problems arising, 
for example, from new logic programming languages or interesting 
application areas.

	Markus Fromherz (Xerox PARC, USA)
	Anthony J. Kusalik (U Saskatchewan, Canada)
	Oeystein Nytroe (U Trondheim, Norway)
	Steven Prestwich (ECRC, Germany)

        Dr. Anthony J. Kusalik
        Department of Computational Science
        University of Saskatchewan
        Saskatoon, Saskatchewan
        S7N 0W0 Canada
        tel:    (+1)(306) 966 4904      fax:    (+1)(306) 966 4884



     8.45 - 9.00: OPENING

     9.00 - 10.30: SESSION 1: USER INTERFACES

          * J. P. Leal.  "Visualization and Interaction in Logic Program-

          * B. Lula, Jr., E. Chouraqui, H. de Menezes Silva.  "Automatic
            Generation of Graphical Interfaces in an Object-Logic Program-
            ming Environment".

          * P. Tarau, B. Demoen. "Language Embedding by Dual Compila-
            tion and State Mirroring".

     10.30 - 11.00: COFFEE BREAK

     11.00 - 12.30: SESSION 2: TOOLS AND METHODS

          * U. Geske, M. Lenz. "A Type Based Debugging Tool for Untyped
            Logic Languages".

          * S. Renault, P. Deransart. "A Proof Manager for Verification of
            Logic Programs".

          * L.-V. Ciortuz, M. Petrea. "LOGOS: An Object-Oriented Scheme
            to Implement Logic Programming Languages".

     12.30 - 13.00: DISCUSSION


Public information (the Program above and eventually
the Workshop proceedings) is (will be) available by anonymous ftp at
in the directory
        pub/iclp-wlpe .
Interested parties can also use a WWW interface to access the information
through the URL .


For people attending ICLP'94:       $US25
For people *not* attending ICLP'94: $US65

The registration fee covers conference costs (refreshments during coffee
breaks, room rental, etc.).  Paper copies of the Workshop proceedings
will be available for an additional fee during ICLP '94.


The workshop will be held in conjunction with ICLP'94.
ICLP'94 is the eleventh international conference on logic programming
and is one of the two major annual international conferences reporting
recent research results in logic programming. The technical program for
the conference will include tutorials, invited lectures, and
presentations of refereed papers and posters. For general information
about attending ICLP'94 and this workshop (registration,
accommodation), please contact the ICLP'94 conference secretariat:

  Piera Ponta
  Consorzio Genova Ricerche
  via dell'Acciaio 139
  16152 Genova, Italy
  Phone: +39 10 6514000
  Fax: +39 10 6512981, 6503801


The workshop will be held at the Grand Hotel Miramare in Santa
Margherita Ligure, a lovely small town near Genova (about 30 Km),
renowned for the beautiful natural scenarios and the many tourist
facilities. Santa Margherita is also the only access to the worldwide
famous villages of Paraggi and Portofino, pearls of the Mediterranean
Sea and marine natural park. Not far from Santa Margherita is also the
pleasant resort area of ``Cinque Terre'', consisting of five
picturesque villages on the rocky coast which can be reached  by train
or boat only.

The Grand Hotel Miramare a classic-style building, conveniently
situated at one end of the Santa Margherita gulf, with private beach,
private garden, private swimming pool, and at a walking distance from
Paraggi (Km. 2) and Portofino (Km. 4).


The Grand Hotel Miramare is in walking distance (20 minutes - 1/2 hour)
from the Santa Margherita railway station. Santa Margherita is easily
reachable by train or bus ( 1/2 hour) from Genova, in turn easily
reachable by train, car and plane. The airoport of Genova is daily
connected with London, Zurich, Munich, Bruxelles, Frankfurt, Rome and
Naples. From the airport of Genova it is possible to reach the railways
stations of Genova (Brignole and Principe) by bus. The cost of the ticket
is Lit. 4000.


=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=		Tony Kusalik		Department of Computational Science	University of Saskatchewan		Saskatoon, Saskatchewan 		S7N 0W0 Canada
				tel: (306)966-4904	fax: (306) 966-4884