[Prev][Next][Index][Thread]

ICLP97 call for papers




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

You may receive this message multiple times.
We apologize for the inconvenience.

CALL FOR PAPERS: ICLP'97
Fourteenth International Conference on Logic Programming

Leuven, Belgium, 8-12 July 1997

-------------------------------------------------------------------------=
---

ICLP'97, The Fourteenth International Conference on Logic Programming, an=
d
its associated workshops will be held in Leuven, Belgium in 1997. The mai=
n
conference will be from July 8 (Tuesday) to 11 (Friday), and the associat=
ed
workshops on Friday and Saturday. LoPSTr (International Workshop on Logic
Program Synthesis and Transformation) will also be held on the Friday and
Saturday at the same location and some joint events are planned. The
conference is sponsored by the Association for Logic Programming.

Since the very early days of logic programming Leuven has been an active
research centre. Leuven is a very pleasant small town 25 km from Brussels.
It is well known for it's university, which is one of the oldest in Europ=
e,
and for it's many cosy pubs and restaurants.

TOPICS

Since the first ICLP, held in Marseilles in 1982, ICLP has been the premi=
er
international conference for presenting research into logic programming.
Original papers are sought in all areas of logic programming including (b=
ut
not restricted to):

   * Theory
        o Semantics
        o Formalisms
   * Language Issues
        o Constraints
        o Concurrency
        o Objects
        o Functions
        o Higher Order
        o Types
        o Modes
        o Programming Techniques
   * Implementation
        o Compilation
        o Memory Management
        o Parallelism
   * Environments
        o Program Analysis
        o Debugging
   * Applications
        o Deductive Databases
        o Software Engineering
        o Artificial Intelligence
        o Natural Language

The technical program will include several invited talks and advanced
tutorials in addition to the presentations of the accepted papers. The
conference proceedings will be published by MIT Press. Members of the
Association for Logic Programming will receive a registration discount an=
d
the ALP has some funds to assist financially disadvantaged participants.

PAPER SUBMISSIONS

Authors are invited to send five copies of their manuscripts to ICLP'97,
Melbourne University, at the address mentioned below. Papers must describ=
e
original, previously unpublished research, be written and presented in
English, not exceed 14 pages (A4 or letter format, up to 5,000 words), an=
d
not be simultaneously submitted for publication elsewhere. The cover page
should include a return mailing address. If possible, an electronic mail
address and a fax number should be included and an e-mail message contain=
ing
the paper title and abstract, authors, keywords and address information
should be sent to iclp97@cs.mu.oz.au. If you don't mind your home page be=
ing
referred to from ICLP-related pages on the WWW please include your URL al=
so.

ELECTRONIC SUBMISSIONS

Information on electronic submission of papers will be made available
through the WWW page: http://www.cs.kuleuven.ac.be/~iclp97

Programme Committee, etc.

Program Chair
     Lee Naish (Australia)
Conference Chairs
     Gerda Janssens (Belgium)
     Bart Demoen (Belgium)
Publicity Chair
     Danny De Schreye (Belgium)
Programme Comittee
     Krzysztof Apt (Netherlands)
     Bart Demoen (Belgium)
     Mireille Ducass=E9 (France)
     Koichi Furukawa (Japan)
     James Harland (Australia)
     Manuel Hermenegildo (Spain)
     Joxan Jaffar (Singapore)
     Sverker Janson (Sweden)
     Gerda Janssens (Belgium)
     John Lloyd (England)
     Michael Maher (Australia)
     Kim Marriott (Australia)
     Dale Miller (USA)
     Catuscia Palamidessi (Italy)
     Zoltan Somogyi (Australia)
     Harald S=F8ndergaard (Australia)
     Philip Wadler (USA)

Important Addresses

WWW
     http://www.cs.kuleuven.ac.be/~iclp97
E-mail (technical programme)
     iclp97@cs.mu.oz.au
Surface mail
     ICLP'97
     Department of Computer Science
     Melbourne University
     Parkville 3052
     Australia
Phone
     +61 3 9344 9101
Fax
     +61 3 9348 1184
Local arrangements e-mail
     iclp97@cs.kuleuven.ac.be

Important Dates

Deadline for submissions
     December 1, 1996
"Real" submission deadline
     Dec. 2, 14:00 local time
Notification of acceptance/rejection
     February 15, 1997
Deadline for final text
     April 11, 1997
Conference
     July 8-12, 1997

-------------------------------------------------------------------------=
---