[Prev][Next][Index][Thread]
ICLP 03: Final call for papers. Deadline May 19
The deadline has been postponed by one week!
INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'03)
(in conjunction with FSTTCS'03 and ASIAN'03)
Final Call for Contributions
Mumbai (Bombay), INDIA, 9 - 13 Dec, 2003
http://www.tcs.tifr.res.in/~iclp03
* Conference scope. Contributions (papers and posters)
are sought in all areas of logic programming including:
Theory (semantic foundations, formalisms, non-monotonic reasoning,
knowledge representation, inductive logic programming)
Language issues (constraints, concurrency, objects, coordination,
higher order, types, modes, programming techniques)
Implementation (compilation, memory management, virtual machines,
parallelism)
Environments (program analysis, program transformation, validation
and verification, debugging)
Applications (deductive databases, software engineering, natural
language, web tools, internet agents, artificial intelligence,
molecular biology)
* 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.
Posters provide an excellent forum for presenting late-breaking or
speculative work in an interactive and informal setting. Poster
submissions are explicitly solicited.
Submission details for papers and posters can be found on the
conference webpage.
* Publication. The proceedings of the conference will be published
by Springer-Verlag in the LNCS series.
* Submission deadlines: May 19 (NOTE CHANGE!), 2003 for papers;
June 28, 2003 for posters
* Programme Committee: Bart Demoen, Agostino Dovier, Mireille Ducassé,
Sandro Etalle, Moreno Falaschi, Maria García de la Banda, Andy King,
Kung-Kiu Lau, Catuscia Palamidessi (programme chair), Enrico Pontelli,
German Puebla, Mario Rodriguez Artalejo, Francesca Rossi,
Dietmar Seipel, R.K. Shyamasundar (conference chair), Zoltan Somogyi,
Hudson Turner, Kazunori Ueda, David Scott Warren