11th Logic Programming Workshop Technische Universität Wien 27. - 29. September 1995Logic programming originates from the discovery that a subset of predicate logic can be given a procedural interpretation thus forming the basis for logic programming languages like Prolog, its extensions and successors. The unique features of logic programming make it especially attractive for many applications in artificial intelligence, program development, databases, processing of language, computer aided design, programming with constraints etc.
The program of the Logic Programming Workshop will include presentations of a selection of the submitted papers and demonstrations. Papers are welcome on all aspects of logic programming, including, but not limited to:
We invite you to submit contributions in German or English from all aspects of logic programming. We will consider not only original papers, but also reports of current research and of completed projects. All contributions will be refereed and - if accepted - published in the proceedings of the workshop. Demonstrations can be arranged.
Your submission should be in the form of an extended abstract not exceeding 5 pages, and must clearly identify the name, address, and email address of the responsible author.
Please send your contribution until July 3 by electronic mail (plain ASCII, LaTex or uuencoded postscript) to wlp@mips.complang.tuwien.ac.at, urgent messages to andi@mips.complang.tuwien.ac.at. Your contribution will be forwarded to the members of the program committee. You will be notified of the acceptance or rejection of your contribution by August 4. Final versions of your contribution (LaTex) must be available by September 1 to be included in the proceedings of the workshop.
Submission of contributions July 3 1995 Notification of authors August 4 1995 Final versions of contributions September 1 1995