call for papers, previous message
From: kusalik@skribe.usask.ca (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.
Organizers:
Markus Fromherz (Xerox PARC, USA)
Anthony J. Kusalik (U Saskatchewan, Canada)
Oeystein Nytroe (U Trondheim, Norway)
Steven Prestwich (ECRC, Germany)
Contact:
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
email: kusalik@cs.usask.ca
--------------------------------------------------------------------------
PROGRAM:
--------
8.45 - 9.00: OPENING
9.00 - 10.30: SESSION 1: USER INTERFACES
* J. P. Leal. "Visualization and Interaction in Logic Program-
ming".
* 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
INFORMATION ACCESS:
------------------
Public information (the Program above and eventually
the Workshop proceedings) is (will be) available by anonymous ftp at
idt.unit.no
in the directory
pub/iclp-wlpe .
Interested parties can also use a WWW interface to access the information
through the URL
ftp://idt.unit.no/pub/iclp-wlpe/wlpe.html .
COSTS
-----
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.
OVERALL CONFERENCE ORGANIZATION:
--------------------------------
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
Email: ponta@infmge.ge.infn.it
Phone: +39 10 6514000
Fax: +39 10 6512981, 6503801
LOCATION:
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).
TRAVEL INFORMATION:
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
kusalik@cs.usask.ca Department of Computational Science
kusalik@skribe.usask.ca University of Saskatchewan
kusalik@sask.usask.ca Saskatoon, Saskatchewan
Tony.Kusalik@usask.ca S7N 0W0 Canada
tel: (306)966-4904 fax: (306) 966-4884