Second Call for Papers ============================================== JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING JICSLP'96 Bonn, Germany, 2-6 September, 1996 ============================================== Sponsored by the Association of Logic Programming The Joint Conference and Symposium combines the two major annual international conferences reporting research results in logic programming. It will be the main logic programming forum in 1996. The technical program for the conference will include tutorials, invited lectures, and presentations of refereed papers and posters. A series of workshops will be scheduled in conjunction with the conference. Papers are welcome on all aspects of logic programming, including, but not limited to: Analysis and optimization Meta-programming Applications Natural language processing Architecture Non-monotonic reasoning Concurrency Parallelism Constraints Programming environments Databases Programming language design Experimental evaluation Programming methodology Higher-order programming Semantics and foundations Implementation Theorem proving Induction Transformation Integration with other paradigms Papers must be written in English and must not exceed 15 pages (including references and figures). Papers that exceed this limit risk rejection. Each submission must contain a cover page including the following: a 200 word abstract, keywords, and postal and electronic mailing addresses as well as phone numbers and fax numbers of the responsible author. This information should also be sent in a text file to jicslp96@cit.gu.edu.au. Submitted papers should not have been previously published or submitted to any journals or refereed conferences. Accepted papers must be presented at the conference. Send six (6) copies of your submission by February 9, 1996 to PROGRAM CHAIR: -------------- Michael Maher JICSLP'96 Program Chair School of Computing and Information Technology Griffith University Nathan, Queensland 4111 Australia Email: jicslp96@cit.gu.edu.au PROGRAM COMMITTEE: ------------------ Annalisa Bossi Italy Philippe Codognet France Saumya Debray USA Bart Demoen Belgium Juergen Dix Germany Mireille Ducasse France Steve Gregory UK Gopal Gupta USA Sverker Janson Sweden Paris Kanellakis USA Helene Kirchner France Jean-Louis Lassez USA Giorgio Levi Italy Rainer Manthey Germany Wiktor Marek USA Kim Marriott Australia Dale Miller USA Lutz Pluemer Germany Peter Reintjes USA Mario Rodriguez-Artalejo Spain Taisuke Sato Japan Divesh Srivastava USA Peter Stuckey Australia Paul Tarau Canada Kazunori Ueda Japan Mark Wallace UK GENERAL CHAIRS: --------------- Rainer Manthey (Germany) Lutz Pluemer (Germany) PUBLICITY CHAIR: ---------------- Thomas H. Kolbe (Germany) LOCAL ORGANIZATION: ------------------- Christine Harms (Germany) Authors will be notified of the acceptance or rejection of their papers in late April, 1996. Final versions of the accepted papers must be received in camera-ready form by May 24, 1996. The proceedings will be published by MIT Press. Further information can be obtained from the conference WWW home page at http://www.informatik.uni-bonn.de/~jicslp96/ or on request via Email to jicslp96@informatik.uni-bonn.de ------------------------------------------------------------------------------- Thomas H. Kolbe email: tk@informatik.uni-bonn.de Computer Science Department III voice: +49 228 550276 University of Bonn fax : +49 228 550382 Roemerstr. 164 53117 Bonn, Germany No brain - no pain ! -------------------------------------------------------------------------------