Version française
Home     About     Download     Resources     Contact us    
Browse thread
FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: iclp2010-announce@c...
Subject: FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7

	  [Apologies in case of receiving multiple copies.]

  Please note the following important changes:
  - Deadline extension
  - Format of submissions
  - Technical Communications (10 pages)

----------------------------------------------------------------------
			FINAL CALL FOR PAPERS
    26th International Conference on Logic Programming (ICLP 2010)
	       Theory and Practice of Logic Programming
  
	     Edinburgh, Scotland, U.K., July 16-19, 2010
		ICLP 2010 will be held as part of the
	     Fifth Federated Logic Conference (FLoC 2010)

	   *Extended* deadline: ** Jan 31 / Feb 7, 2010 ***

	    http://www.floc-conference.org/ICLP-home.html
----------------------------------------------------------------------

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, Non-monotonic  Reasoning,
    Knowledge Representation.
Implementation:  Compilation,  Memory  Management,  Virtual  Machines,
    Parallelism.
Environments:    Program    Analysis,   Transformation,    Validation,
    Verification, Debugging, Profiling, Testing.
Language Issues: Concurrency,  Objects, Coordination, Mobility, Higher
    Order, Types, Modes, Assertions, Programming Techniques.
Related  Paradigms:  Abductive   Logic  Programming,  Inductive  Logic
    Programming, Constraint Logic Programming, Answer-Set Programming.
Applications:  Databases, Data  Integration  and Federation,  Software
    Engineering,  Natural Language Processing,  Web and  Semantic Web,
    Agents, Artificial Intelligence, Bioinformatics.

In  addition to the  presentations of  accepted papers,  the technical
program will  include plenary invited talks in  association with other
FLoC conferences,  as well as ICLP invited  talks, advanced tutorials,
the doctoral consortium, and several workshops.

SUBMISSION DETAILS

The four  broad categories for  submissions are: (1)  technical papers
for describing  technically sound,  innovative ideas that  can advance
the state  of the  art of logic  programming; (2)  application papers,
where the emphasis will be  on their impact on the application domain;
(3) system and tool papers, where the emphasis will be on the novelty,
practicality, usability  and general  availability of the  systems and
tools described; and (4) technical communications, aimed at describing
recent developments,  new projects, and  other materials that  are not
ready for main publication as standard papers.

All  papers must describe  original, previously  unpublished research,
and must  not simultaneously  be submitted for  publication elsewhere.
They  must  be  written  in English.   Technical  papers,  application
papers,  and system  and tool  papers must  not exceed  15  pages plus
bibliography.   The limit  for technical  communications is  10 pages.
Submissions      must      be       made      in      TPLP      format
(ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/)   via
the      Easychair      submission      system,      available      at
http://www.easychair.org/conferences/?conf=iclp2010

IMPORTANT DATES  (All midnight, Samoa time)
 Paper registration deadline:      January 31, 2010 [extended]
 Submission deadline:              February 7, 2010 [extended]
 Notification to authors:          March   20, 2010
 Camera-ready copy due:            April   21, 2010
 Conference:                       July 16-19, 2010

PAPER PUBLICATION

All accepted  regular papers will  be published in the  journal Theory
and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in
one or  more special issues.   In order to  ensure the quality  of the
final  version,  papers may  be  subject to  more  than  one round  of
refereeing  (within the  decision period)  and/or  "shepherding."  The
program committee  may also recommend standard papers  to be published
as technical communications.

At the time of the conference CUP will make the web page for this(ese)
TPLP issue(s)  available including volume and issue  numbers, table of
contents,  page numbers,  and the  papers themselves.   All registered
attendants at the conference will get a password for on-line access to
this  web page  during the  conference and  indefinitely from  then on
("lifetime  access"),  which can  be  used  to  read papers  on  line,
download them,  or print them  for personal use. Attendants  will also
receive all the papers in a memory stick at the conference.

The collection of technical communications  will appear as a volume of
the LIPIcs (Leibniz  International Proceedings in Informatics) series,
and published online through  the Dagstuhl Research Online Publication
Server (DROPS).   All technical communications will also  get space in
the program for presentation.   The journal issue(s) will also include
a  listing  of the  technical  communications,  with  pointers to  the
LIPIcs/DROPS volume.


ICLP'2010 ORGANIZATION

General Chair:
Veronica Dahl                        (Simon Fraser University, Canada)
Program Co-chairs:
Manuel Hermenegildo                       (IMDEA Soft. and UPM, Spain)
Torsten Schaub                        (University of Potsdam, Germany)
Workshops Chair:
Veronica Dahl                        (Simon Fraser University, Canada)
Doctoral Consortium:
Marcello Balduccini                         (Kodak Research Labs, USA)
Alessandro Dal Palu'          (Universita degli Studi di Parma, Italy)
Prolog Programming Contest:
Tom Schrijvers                                  (K.U. Leuven, Belgium)

PROGRAM COMMITTEE

Maria Alpuente                       (Technical U. of Valencia, Spain)
Pedro Cabalar                              (Corunya University, Spain)
Manuel Carro                           (Technical U. of Madrid, Spain)
Luc De Raedt                                    (K.U. Leuven, Belgium)
Marina De Vos                                 (University of Bath, UK)
James Delgrande                      (Simon Fraser University, Canada)
Marc Denecker                                     (KU Leuven, Belgium)
Agostino Dovier                           (University of Udine, Italy)
Esra Erdem                      (Sabanci University, Istanbul, Turkey)
Wolfgang Faber                         (University of Calabria, Italy)
Thom Fruehwirth                           (University of Ulm, Germany)
Maurizio Gabbrielli                     (University of Bologna, Italy)
John Gallagher                          (Roskilde University, Denmark)
Samir Genaim                           (Complutense University, Spain)
Haifeng Guo                     (University of Nebraska at Omaha, USA)
Joxan Jaffar                     (National U. of Singapore, Singapore)
Tomi Janhunen                     (Helsinki U. of Technology, Finland)
Michael Leuschel                          (U. of Duesseldorf, Germany)
Alan Mycroft                                     (U. of Cambridge, UK)
Gopalan Nadathur                        (University of Minnesota, USA)
Lee Naish                            (Melbourne University, Australia)
Enrico Pontelli                     (New Mexico State University, USA)
Vitor Santos Costa                     (University of Porto, Portugal)
Tom Schrijvers                                  (K.U. Leuven, Belgium)
Tran Cao Son                        (New Mexico State University, USA)
Peter J. Stuckey                     (Melbourne University, Australia)
Terrance Swift                                     (CENTRIA, Portugal)
Peter Szeredi                   (Budapest U. of Tech. and E., Hungary)
Frank Valencia                           (Ecole Polytechnique, France)
Wim Vanhoof                             (University of Namur, Belgium)
Kewen Wang                            (Griffith University, Australia)
Stefan Woltran                      (Vienna U. of Technology, Austria)
Neng-Fa Zhou                        (City University of New York, USA)

SPONSOR

The conference is sponsored by the Association for Logic Programming.

FINANCIAL ASSISTANCE

The Association for Logic  Programming has funds to assist financially
disadvantaged  participants and,  specially, students  in order  to be
able to attend the conference.

WORKSHOPS

The ICLP  2010 program  will include several  workshops, held  also as
part of FLoC. They are perhaps the best places for the presentation of
preliminary work, undeveloped novel ideas,  and new open problems to a
wide  and   interested  audience  with   opportunities  for  intensive
discussions and project collaboration.

DOCTORAL CONSORTIUM

The  6th  Doctoral  Consortium  (DC)  on  Logic  Programming  provides
research students  with the opportunity  to present and  discuss their
research  directions,  and to  obtain  feedback  from  both peers  and
world-renown experts in the  field. Accepted participants will receive
partial  financial   support  to  attend   the  event  and   the  main
conference. The best paper and  presentation from the DC will be given
the  opportunity to  present in  a special  session of  the  main ICLP
conference.

CONFERENCE VENUE / CO-LOCATION

In 2010  (as in the previous two  FLoC editions) ICLP will  be held as
part of the Fifth Federated  Logic Conference, FLoC 2010 in Edinburgh,
Scotland,  U.K., July  16-19,  2010.  FLoC is  held  every four  years
bringing  together   several  international  conferences   related  to
mathematical   logic  and   computer   science.  Other   participating
conferences are:

   - Computer-Aided Verification (CAV),
   - Int'l Joint Conference on Automated Reasoning (IJCAR),
   - Interactive Theorem Proving (ITP),
   - Logic in Computer Science (LICS),
   - Rewriting Techniques and Applications (RTA), and
   - Theory and Applications of Satisfiability Testing (SAT).

Plenary events involving multiple conferences are planned.
----------------------------------------------------------------------