[Prev][Next][Index][Thread]
JICSLP'98 -- First 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, 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
-
Subject: JICSLP'98 -- First CFP
-
From: Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
-
Date: Tue, 16 Sep 1997 10:07:42 +0100 (BST)
-
Delivery-Date: Tue, 16 Sep 1997 04:27:39 -0500
-----------------------------------------------------------------
Apology if you receive multiple copies. Thanks for passing it on.
-----------------------------------------------------------------
First 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 third
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 publicaton elsewhere.
They must be written in English, prepared using the MIT Press
proceedings format and must not exceed 15 pages.
Electronic submissions are encouraged, and should be sent to
jicslp98@iscs.nus.edu.sg
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 1 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 a celebration 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 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
Michael Gelfond, USA
Nevin Heintze, USA
Joxan Jaffar, Singapore
Kung-Kiu Lau, UK
Giorgio Levi, Italy
John Lloyd, UK
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: 1 December 1997
Notification by: 15 February 1998
Camera Ready Copies by: 1 April 1998
---------------------------------------------------------------------
Conference home page: http://www.cs.man.ac.uk/~kung-kiu/jicslp98.html
---------------------------------------------------------------------