[apologies if you receive this mail more than once]
Call for Contributions
----------------------------------------------------------
Nineteenth International Conference on Logic Programming
ICLP'03
9-13 Dec, 2003
Mumbai (Bombay), INDIA
URL: http://www.tcs.tifr.res.in/~iclp03
----------------------------------------------------------
In conjunction with FSTTCS'03 and ASIAN'03.
Conference scope
----------------
Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research into
logic programming.
Contributions (papers and posters) are sought in all areas of logic
programming including but not restricted to:
Theory Language Issues
Semantic foundations Constraints
Formalisms Concurrency
Non-monotonic reasoning Objects
Knowledge representation Coordination
Inductive logic programming Mobility
Higher Order
Implementation Types
Modes
Compilation Programming techniques
Memory management
Virtual machines
Parallelism Applications
Environments Deductive databases
Software engineering
Program analysis Natural language
Program transformation Web tools
Validation and verification Internet agents
Debugging Artificial intelligence
Molecular biology
Specific attention will be given to work providing novel integrations
of these different areas, and to new applications of logic programming
in general. Contributions on applications will be assessed with an
emphasis on criteria such as impact and synergy with other areas, as
opposed to technical maturity.
The technical programme will include several invited talks and advanced
tutorials in addition to the presentations of the accepted papers and
posters.
The ICLP Posters provide an excellent forum for authors to present
their work in an informal and interactive setting. Posters are ideal
for presenting speculative, late-breaking results or for giving an
introduction to interesting, innovative work. Posters provide authors
with a unique opportunity to make their work highly visible during the
conference and get feedback from the community on the ongoing work.
Submission details for papers
-----------------------------
Papers must describe original, previously unpublished research, and
not be simultaneously submitted for publication elsewhere. They must
be written in English and not exceed 15 pages in Springer LNCS format.
The authors are encouraged, although not obliged, to submit their
papers already in Springer LNCS format. General information about the
Springer LNCS series and the LNCS authors' instructions are available
at the Springer LNCS/LNAI home page
(http://www.springer.de/comp/lncs/index.html).
Papers should clearly express the contribution, both in general and
technical terms. It is essential to identify what was accomplished,
describe its significance, and explain how the paper compares with and
advances previous work. Authors should make every effort to make the
technical content understandable to a broad audience.
The primary means of submission will be electronic, in postscript
format. If electronic submission is not possible, five hard copies
should be sent to the programme chair. Regardless of the submission
method, a letter or e-mail message accompanying the paper must contain
a plain text abstract of about 200 words and the names, e-mail
addresses if possible, and postal addresses of all authors.
Submission details for posters
------------------------------
Poster submissions focusing on the following are specifically
encouraged: Tools, applications, current work not yet ready for
publication, PhD thesis summaries (submitted recently or to be
submitted in the next 6 months), research project overviews.
Posters must be submitted electronically. A submission should consist
of one email to the Poster Chair with subject "ICLP Poster
submission", containing:
1. the poster in sketch/outline form, ideally a thumbnail version
occupying a single page in PDF or postscript format;
2. an abstract of one up to three pages explaining the content of
the presentation;
3. an accompanying message containing the title of the contribution,
contact information (address and email), names and affiliations of the
authors (as you would like them listed in a program), and an
indication of whether you require a table, chair, and power for your
laptop.
1 and 2 should be attached, 3 should be the main body of the message.
Publication
-----------
The proceedings of the conference will be published by Springer-Verlag
in the LNCS series. The proceedings will include the accepted papers
and posters.
Sponsoring and prizes
---------------------
The conference is sponsored by the Association for Logic
Programming. The ALP has some funds to assist financially
disadvantaged participants.
The ALP is planning to sponsor two prizes for ICLP'03: One for the
best student paper and one for the best application paper selected for
presentation at the conference.
Important dates
---------------
PAPERS POSTERS
Submission deadline: May 12, 2003 June 28, 2003
Notification of authors: July 12, 2003 July 26, 2003
Camera-ready copy due: September 1, 2003 September 1, 2003
Workshops and other conference-related events
---------------------------------------------
- Workshops: We plan to have several pre- and post-conference
workshops. A call for workshops proposals will be distributed soon.
- Programming Contest: It is a tradition, but it remains fun - at
ICLP'03 you are welcome to take part in the 9th Prolog Programming
Contest. For more information, see
http://www.cs.kuleuven.ac.be/~bmd/PrologProgrammingContests/Contest2003.html
Conference venue
----------------
The conference will be held at the Tata Institute of Fundamental
Research (TIFR) campus located at the southern tip of Mumbai facing
the Arabian Ocean. Mumbai formerly known as Bombay is the financial
and commercial capital of India. TIFR (established in 1945) is a
premier research institute (recently it has been conferred the status
of Deemed University) in India carrying out research in various areas
of physics, chemistry, biology, computer science, technology, and
science education. The picturesque campus has well equipped conference
and lecture halls and the large modern Homi Bhabha Auditorium which will
be used for plenary sessions of the conference.
Organisation
------------
Conference Chair: R.K. Shyamasundar (TIFR, India)
Programme Chair: Catuscia Palamidessi (INRIA Futurs, France)
Poster Chair: M.R.K. Krishna Rao (King Fahd University of Petroleum and
Minerals, Saudi Arabia)
Workshop Chairs: N. Raja (TIFR, India) and
Vitor Santos Costa (Federal University of Rio de Janeiro, Brazil)
Publicity Chair: Jan-Georg Smaus (Universität Freiburg, Germany)
Programming Contest Chair: Bart Demoen (Catholic University of Leuven,
Belgium)
Programme Committee:
Bart Demoen (Catholic University of Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
Mireille Ducassé (IRISA/INSA, France)
Sandro Etalle (University of Twente and CWI, The Netherlands)
Moreno Falaschi (University of Udine, Italy)
Maria García de la Banda (Monash University, Australia)
Andy King (University of Kent, UK)
Kung-Kiu Lau (University of Manchester, UK)
Catuscia Palamidessi (INRIA Futurs, France)
Enrico Pontelli (New Mexico State University, USA)
German Puebla (Technical University of Madrid, Spain)
Mario Rodriguez Artalejo (Universidad Complutense de Madrid, Spain)
Francesca Rossi (University of Padova, Italy)
Dietmar Seipel (University of Würzburg, Germany)
R.K. Shyamasundar (TIFR, India)
Zoltan Somogyi (The University of Melbourne, Australia)
Hudson Turner (University of Minnesota Duluth, USA)
Kazunori Ueda (Waseda University, Japan)
David Scott Warren (University of Stony Brook and XSB, Inc., USA)
-----------------------------------------------------------------------
|