[TYPES/announce] [ICLP'06] Deadlines EXTENDED
A Serebrenik
aserebre at win.tue.nl
Tue Feb 14 01:42:05 EST 2006
Submission deadlines extended!!
abstract registration: Feb 21, 2006
papers due: March 2, 2006
CALL FOR PAPERS
22nd International Conference on Logic Programming
ICLP'06
Seattle, Washington, USA, 17-20 August, 2006
http://www.cs.uky.edu/iclp06/
Part of Fourth Federated Logic Conference, FLoC 2006
http://research.microsoft.com/floc06/
SUBMISSION SITE http://www.easychair.org/ICLP06/
WE INVITE YOU TO SUBMIT PAPERS AND POSTERS!!!}
CONFERENCE SCOPE
Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all areas
of logic programming including but not restricted to:
* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines,
Parallelism.
* Environments: Program Analysis, Program Transformation, Validation
and Verification, Debugging, Profiling.
* Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
Order, Types, Modes, Programming Techniques.
* Alternative Paradigms: Constraint Logic Programming, Abductive Logic
Programming, Inductive Logic Programming, Answer Set Programming.
* Applications: Deductive Databases, Data Integration, Software
Engineering, Natural Language, Web Tools, Internet Agents, Artificial
Intelligence.
The three broad categories for submissions are: (1) technical papers,
where specific attention will be given to work providing novel integrations
of the areas listed above, (2) application papers, where the emphasis
will be on their impact on the application domain as opposed to the
advancement of the the state-of-the-art of logic programming, and (3)
posters, ideal for presenting and discussing current work not yet ready
for publication, for PhD thesis summaries and research project overviews.
In addition to papers and posters, the technical program will include
a plenary talk in association with other FLoC conferences, two ICLP invited
talks, an advanced tutorial, Doctoral Consortium and several workshops. The
workshops will be held on August 16 and August 21, 2006.
PAPERS AND POSTERS
Papers and posters must describe original, previously unpublished
research, and must not be simultaneously submitted for publication
elsewhere. They must be written in English. Technical papers and
application papers must not exceed 15 pages in the Springer LNCS
format (cf. http://www.springer.de/comp/lncs/index.html). The
limit for posters is 2 pages in that format.
The primary means of submission will be electronic. Papers and posters
must be submitted at http://www.easychair.org/ICLP06/submit/
PUBLICATION
The proceedings of the conference will be published by Springer-Verlag
in the LNCS series. The proceedings will include the accepted papers
and the abstracts of accepted posters.
SUPPORT, SPONSORING AND AWARDS
The conference is sponsored by the Association for Logic Programming.
The ALP has funds to assist financially disadvantaged participants.
The ALP is planning to sponsor two awards for ICLP'06: for the best
technical paper and for the best student paper.
IMPORTANT DATES
Papers Posters
Abstract submission deadline 14 February
Submission deadline 21 February 14 March
Notification of authors 7 April 14 April
Camera-ready copy due 2 May 2 May
ICLP'2006 ORGANIZATION
General Chair:
Manuel Hermenegildo (herme at fi.upm.es)
Program Co-Chairs:
Sandro Etalle (s.etalle at utwente.nl)
Mirek Truszczynski (mirek at cs.uky.edu)
Workshop Chair:
Christian Schulte (schulte at imit.kth.se)
Doctoral Student Consortium:
Enrico Pontelli (epontell at cs.nmsu.edu)
Publicity Chair:
Alexander Serebrenik (a.serebrenik at tue.nl)
PROGRAM COMMITTEE
Maria Alpuente
Krzysztof Apt
Annalisa Bossi
Veronica Dahl
Giorgio Delzanno
Pierre Deransart
Agostino Dovier
Thomas Eiter
Sandro Etalle, co-chair
John Gallagher
Michael Gelfond
Hai-Feng Guo
Manuel Hermenegildo
Tomi Janhunen
Fangzhen Lin
Michael Maher
Victor Marek
Eric Monfroy
Stephen Muggleton
Brigitte Pientka
Maurizio Proietti
I.V. Ramakrishnan
Peter van Roy
Harald Sondergaard
Mirek Truszczynski, co-chair
German Vidal
Andrei Voronkov
Roland Yap
DOCTORAL CONSORTIUM
The ICLP Doctoral Consortium (DC) is the second doctoral consortium to
be offered as part of ICLP-06. The DC builds on the experience of the 1st
Doctoral Consortium on Logic Programming, held at ICLP-05. It is designed
for doctoral students working in areas related to logic and constraint
programming, who are planning to pursue a career in academia. The Doctoral
Consortium aims to provide students with an opportunity to present and
discuss their research directions and to obtain feedbacks from peers as
well as world-renown experts in the field. The Doctoral Consortium
will also offer invited speakers and panels discussions. More information
can be found at http://www.cs.nmsu.edu/~epontell/DC2006/ .
WORKSHOPS
The ICLP-06 program will include several workshops. They provide a
platform for the presentation of preliminary work and novel ideas in a
less formal way than the conference itself. They also are an opportunity
to disseminate work in progress, particularly for new researchers.
Workshops also provide a venue for presenting more specialized topics
and opportunities for more intensive discussions, exchange of ideas, and
project collaboration. The following workshops will be held in
association with the ICLP-06 conference (please, refer to the conference
website for links to workshop pages):
* International Workshop on Applications of Logic Programming in the
Semantic Web and Semantic Web Services, ALPSWS2006,
http://www.deri.at/events/workshops/alpsws2006/
* Colloquium on Implementation of Constraint and LOgic Programming
Systems, CICLOPS,
http://www.cs.nmsu.edu/lldap/CICLOPS06/
* International Workshop on Software Verification and Validation
SVV 2006,
http://www.comp.nus.edu.sg/~abhik/svv06/
* Preferences and Their Applications in Logic Programming Systems,
http://www.cs.nmsu.edu/lldap/Prefs06/
* Search and Logic: Answer Set Programming and SAT,
http://www.cs.sfu.ca/%7ESearchAndLogic/
* 16th Workshop on Logic-Based Programming Environments, WLPE 2006,
http://lml.ls.fi.upm.es/%7Esusana/Conferences/WLPE06/
* MVLP'06: International Workshop on Multi-Valued Logic and Logic
Programming
website to be announced soon
CONFERENCE VENUE
The conference will be a part of the fourth Federated Logic Conference
(FLoC'06) to be held August 10-21, 2006, in Seattle, Washington
(http://research.microsoft.com/floc06/). Other participating
conferences are: Computer-Aided Verification (CAV), Rewriting Techniques
and Applications (RTA), Logic in Computer Science (LICS), Theory and
Applications of Satisfiability Testing (SAT), and Int'l Joint Conference
on Automated Reasoning (IJCAR). Plenary events involving multiple
conferences are planned.
More information about the Types-announce
mailing list