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

ICLP'04 -- Call For Workshops Proposals

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

PLEASE ACCEPT MY APOLOGIES IF YOU RECEIVE THIS MESSASE MORE THAN ONCE.

                           ICLP'04

              Twentieth International Conference
                    on Logic Programming
      URL: http://www.irisa.fr/manifestations/2004/ICLP04/

              *** CALL FOR WORKSHOP PROPOSALS ***

ICLP'04, the 20th International Conference on Logic Programming, will
be held in Saint-Malo, France, from September 6 to September 10, 2004.
We plan to have several workshops in parallel with the conference.

Workshops have a key role in Logic Programming Conferences. They
provide an ideal platform for the presentation of preliminary work or
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 topics of the
workshops can cover any areas related to logic programming, including
cross-disciplinary areas.  Topics related to applications of logic
programming to software verification and computational biology are
particularly welcome.


To encourage active participation and exchange of ideas, the
workshops will be kept small, preferably under 40 participants.
The format of the workshop will be determined by the organizer(s)
proposing the workshop, but ample time must be allowed for general
discussion. Workshops can vary in length, but the optimal duration
will be half a day or a full day. Having two or three co-organizers
for a workshop is strongly advised.

Workshop Proposal:
==================

The persons intending to organize a workshop at ICLP'04 are invited
to submit a workshop proposal. Proposals should be in English and
about two pages in length. They should contain:

  * the title of the workshop
  * a brief technical description of the topics covered by the workshop
  * a discussion of the timeliness and relevance of the workshop
  * the names, affiliation and contact details (email, web page, phone,
    fax) of the workshop organizing committee together with a
    designated contact person as the workshop coordinator
  * a preliminary plan/schedule for organizing the workshop, including
    the required number of half-days allotted to the workshop
  * a list of previously-organized related workshops by any of the
    workshop organizing committee. Although previous experience with
    organizing similar workshops is not required, this information will
    be helpful to the Workshop Chair
  * an estimated number of attendants to the workshop

Proposals are expected in ASCII or LaTeX format. All proposals should be
submitted to the Workshop Chair by email by January 11, 2004.

Workshop Organizers' Tasks:
===========================

  * Producing a "Call for Papers" for the workshop and posting it
    on the net and/or other means. Please provide a web page URL which
    can be linked into the ICLP'04 home page.
  * Providing a brief description of the workshop for the conference
    program.
  * Reviewing/accepting submitted papers.
  * Scheduling workshop activities in collaboration with the local
    organizers and the workshop chair.
  * Sending workshop proceedings in LaTeX format to the workshop
    chair for printing, by June 13, 2004 (if the proceedings are to be
    printed by the local organizers)

Reviewing Process:
==================

Each submitted proposal is reviewed by the Workshops Chair and the
Conference Program Chairs. Proposals that appear well-organized and
that fit the goals and scope of ICLP will be selected.  The decision
will be notified by email to the responsible organizer by January 25,
2004. 

The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
place and can print the workshop proceedings, whose LaTeX preparation
is however in charge to the workshop organizers. The workshop
registration fees will be handled together with the conference fees.

Workshop Location:
==================

The workshops will be held in parallel with the 20th International
Conference on Logic Programming (ICLP04). ICLP04 will be held in
Saint-Malo, France. The conference will be held at the Palais du Grand
Large located in front of the sea, near the ramparts of the city.
Saint-Malo is a historical town on the northern coast of French
Brittany. After its mythical foundation during the Middle Ages it
became the city of the brave-hearted corsairs who ran the British
canal and acquired impressive wealth. The city was totally destroyed
during the Second World War, and then reconstructed in its original
style.  Beautiful beaches surround the city, and small islands. One of
them, the Grand-Bé, host the tomb of French writer Chateaubriand.

Important Dates:
================

Proposals due: January 11, 2004
Notification of acceptance: January 25, 2004
Camera-ready due: June 13, 2004

Workshop Chair:
=====================

Fausto Spoto (Dipartimento di Informatica, Verona, Italy)

Email: fausto.spoto@univr.it
Phone: +39 3204352527
Fax: +39 0458027068