[Prev][Next][Index][Thread]
JICSLP'98 -- Second CFP
-
To: compunode@compulog.org, alp-list@intellektik.informatik.th-darmstadt.de, cclp.x@parc.xerox.com, clp@cis.ohio-state.edu, clp@CS.CMU.EDU, compunode@dfki.de, concurrency@cwi.nl, dbworld@cs.wisc.edu, digest@aiva.ed.ac.uk, gulp@di.unipi.it, ikbs@caad.ed.ac.uk, ikbsbb@inf.rl.ac.uk, lics-email@cs.indiana.edu, linear@cs.stanford.edu, logic@cs.cornell.edu, lprolog@central.cis.upenn.edu, nl-kr@cs.rpi.edu, parforce@ecrc.de, quintus-users@quintus.com, sepia_users@ecrc.de, sicstus-users@sics.se, types@dcs.gla.ac.uk, acclaim@sics.se, clpr-users@cis.ohio-state.edu, theorem-provers@ai.mit.edu, prolog-pe@bach.ces.cwru.edu, kr94@mail2.ai.univie.ac.at, ai-ed@sun.com, ail-l@austin.onu.edu, csp-list@saturne.cert.fr, lics@research.att.com, life-users@cs.sfu.ca, ccl@dfki.uni-sb.de, prolog@mch.sni.de, cup@icot.or.jp, compulognet-parimp@dia.fi.upm.es, flprog@informatik.uni-muenchen.de, APPIAr@fct.unl.pt, aiia@di.unito.it, clp@iscs.nus.sg, clpr-users@iscs.nus.sg, csp-list@cert.fr, linear@cs.stanford.edu, jicslp96@informatik.uni-bonn.de, prolog-vendors@sics.se, reliable_computing@interval.usl.ed, rewriting@loria.fr, semantics-list@newton.cam.ac.uk, benelog@cs.kuleuven.ac.be, PROG-logique@irisa.fr, eclipse_users_moderated@ecrc.de, theorynt@listserv.nodak.edu, dma-list@nic.surfnet.nl, reflection@p300.cpl.uiuc.edu, apng-all@apng.org, atp_alias@cs.jcu.edu.au, eapls@mailbase.ac.uk, g-ganzinger@mpi-sb.mpg.de
-
Subject: JICSLP'98 -- Second CFP
-
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
-
Date: Tue, 21 Oct 1997 15:07:14 +0100 (BST)
-
Cc: K.R.Apt@cwi.nl, Philippe.Codognet@inria.fr, catuscia@cse.psu.edu, catuscia@disi.unige.it, cheng@cs.few.eur.nl, debray@cs.arizona.edu, dix@mailhost.uni-koblenz.de, furukawa@sfc.keio.ac.jp, joxan@iscs.nus.edu.sg, jwl@cs.bris.ac.uk, kung-kiu@cs.man.ac.uk, levi@di.unipi.it, matsc@sics.se, maurice@cs.kuleuven.ac.be, mgelfond@cs.utep.edu, nch@research.bell-labs.com, pjs@cs.mu.oz.au, sagiv@cs.huji.ac.il, tarau@info.umoncton.ca, ueda@ueda.info.waseda.ac.jp, veronica@cs.sfu.ca, vs@cs.umd.edu, warren@sbcs.sunysb.edu
-
Delivery-Date: Tue, 21 Oct 1997 09:13:18 -0500
---------------------------------------------------------------
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
---------------------------------------------------------------------