From - Tue Dec 2 01:43:26 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.7) with ESMTP id WAA02956 for ; Sun, 2 Nov 1997 22:32:01 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.7/8.8.7) with ESMTP id WAA15211; Sun, 2 Nov 1997 22:32:35 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.D0D65A40@listserv.nodak.edu>; Mon, 3 Nov 1997 0:31:25 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1152986 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 3 Nov 1997 00:30:10 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.65BE94C0@listserv.nodak.edu>; Mon, 3 Nov 1997 0:28:25 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 1152147 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 3 Nov 1997 00:28:24 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.0864E7A0@listserv.nodak.edu>; Mon, 3 Nov 1997 0:04:19 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id WAA29959 for theory-a@listserv.nodak.edu; Sun, 2 Nov 1997 22:04:16 -0800 (PST) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199710211407.PAA01082@rdf004.cs.man.ac.uk> Date: Sun, 2 Nov 1997 22:04:16 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Kung-Kiu Lau Sender: TheoryNet List From: Kung-Kiu Lau Subject: JICSLP'98 -- Second CFP Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: RO X-Status: --------------------------------------------------------------- Apologies for multiple copies. Please note *revised* deadlines. --------------------------------------------------------------- Second Call for Papers ---------------------------------------------------------------------- 1998 Joint International Conference and Symposium on Logic Programming ---------------------------------------------------------------------- 15-19 June 1998, Manchester, UK The 1998 Joint International Conference and Symposium on Logic Programming JICSLP'98 will be held on 15-19 June 1998 at the University of Manchester, UK. The conference is the fourth joint event for the International Conference on Logic Programming and the International Logic Programming Symposium, and is the fifteenth conference in each of the two series of premier international conferences on Logic Programming, both sponsored by the Association for Logic Programming. The aim of JICSLP'98 is to present and discuss new theoretical foundations and practical applications for logic programming, as well as new research directions and the fundamental relations between logic programming and other fields of computer science. We solicit original papers on all aspects of logic programming. Topics of interest include, but are not restricted to, the following: Theoretical foundations Programming methodology/tools Language issues Integration with other paradigms New applications Constraint logic programming Inductive logic programming The technical programme will include invited talks and advanced tutorials, in addition to the accepted papers. The conference proceedings will be published by the MIT Press. Submission Guidelines --------------------- Papers must describe original, previously unpublished work, and must not be simultaneously submitted for publication elsewhere. They must be written in English, prepared using the MIT Press proceedings format and must not exceed 15 pages. The LaTeX guidelines can be found on the conference home page (see below). Electronic submissions are encouraged, and may be sent as one e-mail message to jicslp98@iscs.nus.edu.sg (MIME attachments are allowed). The message should contain (i) the abstract in ASCII and (ii) the whole paper in Postscript. The Postscript form must be interpretable by Ghostscript, and must use standard fonts, or include the necessary fonts, and must be prepared for USLetter (8.5"x11") or A4 page sizes. Authors who cannot meet these requirements should submit hard copies by post instead. Hard-copy submissions should be sent in 5 copies to Joxan Jaffar Department of Information Systems and Computer Science National University of Singapore S16, Lower Kent Ridge Crescent Singapore 119260 Republic of Singapore All submissions must be received by 0900 hrs EST, 12 December 1997. At least one author of every accepted paper must present the paper at the conference. In exceptional circumstances, authors may seek financial assistance from the ALP for this purpose. Co-located Events and Conferences --------------------------------- JICSLP'98 will coincide with the 50th Anniversary of the world's First Stored-program Computer, built in the Department of Computer Science at the University of Manchester in 1948. All JICSLP98 participants will be invited to the official Golden Anniversary Party at Bridgewater Hall, Manchester's international concert hall, JICSLP98 will be co-located with several other conferences, including LOPSTR'98, the Eighth International Workshop on Logic-based Program Synthesis and Transformation, and an Industrial Day organised by PAP/PACT and Compulog Net. Conference Organisation ----------------------- Conference Chair: Kung-Kiu Lau, Manchester, UK (kung-kiu@cs.man.ac.uk) Programme Chair: Joxan Jaffar, Singapore (joxan@iscs.nus.edu.sg) Tutorial and Workshop Chair: Pat Hill, Leeds, UK Local Arrangements Chair: Ian Pratt, Manchester, UK Programme Committee: Krzysztof Apt, Netherlands Maurice Bruynooghe, Belgium Mats Carlsson, Sweden Philippe Codognet, France Veronica Dahl, Canada Saumya Debray, USA Juergen Dix, Germany Koichi Furukawa, Japan Michael Gelfond, USA Nevin Heintze, USA Joxan Jaffar, Singapore Kung-Kiu Lau, UK Giorgio Levi, Italy John Lloyd, UK Shan-Hwei Nienhuys-Cheng, Netherlands Catuscia Palamidessi, Italy Shuky Sagiv, Israel Peter Stuckey, Australia V.S. Subrahmanian, USA Paul Tarau, Canada Kazunori Ueda, Japan David S. Warren, USA Organising Committee: Maurice Bruynooghe, Belgium Jacques Cohen, USA Alain Colmerauer, France Veronica Dahl, Canada Maarten van Emden, Canada Herve Gallaire, France Robert Kowalski, UK Jack Minker, USA Fernando Pereira, USA Luis Moniz Pereira, Portugal Ray Reiter, Canada Alan Robinson, USA Peter Szeredi, Hungary David H.D. Warren, UK Deadlines --------- Submission by: 12 December 1997 Notification by: 22 February 1998 Camera Ready Copies by: 16 March 1998 --------------------------------------------------------------------- Conference home page: http://www.cs.man.ac.uk/~kung-kiu/jicslp98.html ---------------------------------------------------------------------