Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!cornellcs!newsstand.cit.cornell.edu!news.kei.com!newsfeed.internetmci.com!in1.uu.net!munnari.OZ.AU!cs.mu.OZ.AU!munta.cs.mu.OZ.AU!zs
From: zs@munta.cs.mu.OZ.AU (Zoltan Somogyi)
Subject: Call for participation: ILPS 95 Implementation Workshop
Message-ID: <9533316.12796@mulga.cs.mu.OZ.AU>
Sender: news@cs.mu.OZ.AU (CS-Usenet)
Organization: Computer Science, University of Melbourne, Australia
Date: Wed, 29 Nov 1995 05:33:33 GMT
Lines: 71


                          Workshop on
             Sequential Implementation Technologies
                for Logic Programming Languages

              Workshop W3 held in association with
      the 1995 International Logic Programming Symposium
		http://www.cs.uoregon.edu/ilps95

Portland Marriott, Portland, Oregon, USA
9:00am to 6:00pm, Friday, December 8, 1995

The last few years have seen the appearance of logic programming language
implementations that approach the efficiency of the implementations
of imperative languages, yet there is still room for improvement.
The aim of this workshop is to gather together researchers interested in
implementation technologies for logic programming languages in order to
advance both the state of the art and the state of practice in the area.

------------------------------------------------------------------------------

                      PRELIMINARY PROGRAM

 9:00 to 10:00	"An abstract machine for the compilation of logic programs
		that can guess"
		Clemens Beckstein, Friedrich Schiller University, Jena
		Joachim Klausner, University of Erlangen

10:00 to 10:30	Coffee Break

10:30 to 12:30	"Compiling logic programs to C using GNU C as a
		portable assembler"
		Fergus Henderson, University of Melbourne
		Thomas Conway, University of Melbourne
		Zoltan Somogyi, University of Melbourne

		"Continuation Prolog: a new intermediary language
		for WAM and BinWAM code generation"
		Ulrich Neumerkel, Technical University of Vienna

12:30 to  2:00	Lunch Break

 2:00 to  3:00	"A flexible evaluation method for modularly stratified
		databases"
		Ulrich Zukowski, University of Passau
		Burkhard Freitag, University of Passau

 3:00 to  3:30	Open discussion

 3:30 to  4:00	Coffee Break

 4:00 to  6:00	Open discussion

------------------------------------------------------------------------------

Administrative details:

For people attending ILPS'95:       US$20
For people not attending ILPS'95:   US$60

For the registration form and further information, please refer to
the ILPS 95 WWW page at http://www.cs.uoregon.edu/ilps95.

------------------------------------------------------------------------------

Workshop organizers:

Zoltan Somogyi, University of Melbourne		zs@cs.mu.OZ.AU 
Lee Naish, University of Melbourne		lee@cs.mu.OZ.AU
Fergus Henderson, University of Melbourne	fjh@cs.mu.OZ.AU
Thomas Conway, University of Melbourne		conway@cs.mu.OZ.AU
