Call for Papers: International Symmetry Conference

[Ines Lynce]

CALL FOR EXTENDED ABSTRACTS

International Symmetry Conference
http://isc.dcs.st-and.ac.uk

To be held in the Thistle Hotel, Edinburgh 14th to the 17th of January, 2007

Conference Description

This conference focuses on current symmetry research in the areas of
Constraint Programming, Boolean Satisiability, Group Theory, Model
Checking, Planning, and any other combinatorial research area.

The objective is to promote discussion and presentation of novel ideas
relating to symmetry within the above areas, and to foster new
collaboration opportunities between areas. This will be achieved by
presentations of current work both in individual areas and of a
collaborative nature.

Conference Format

This conference is open to all members of the combinatorial research
communities. The conference will emphasize discussion and
cross-fertilization, so presentations will be balanced with discussion
time, tutorials and invited talks. In this direction, the conference is
seeking high quality papers that address cutting-edge research in this
field, and that can contribute to the discussion.

The agenda will include:

     * Tutorial time at the start, to introduce each area and the role
symmetry plays within it to a general audience.
     * An invited speaker from each area of to talk about recent
research on a topic of their choice.
     * Presentations and posters of the accepted Extended Abstracts.
     * A competition which will allow different techniques to tackle one
problem.
     * A doctoral program, where the best abstracts will be invited for
presentation and the remaining abstracts will be allocated a poster.
There will also be a mentoring session where Doctoral students will be
paired with a more senior researcher from a different area.

Important Dates

Submission Deadline: October 16th, 2006
Notifications to Authors: November 6th, 2006
Final Version Deadline: December 11th, 2006
Early Registration Deadline: TBA
Conference: January 14th to January 17th, 2007

Submission Guidelines

Authors should submit an extended abstract (maximum 5 pages), describing
their work in topics relevant to the conference. Accepted papers will be
presented during the conference either as a full talk or as a poster. At
least one author of an accepted contribution is expected to register for
the conference, and present the paper.

All submissions should include the author's name(s), affiliation,
complete mailing address, and email address.

Authors are requested to prepare their submissions, following the
LNCS/LNAI Springer format. Please see:
http://www.springer.de/comp/lncs/authors.html for further details.

Extended abstracts should be submitted through a website, which will be
found at: http://isc.dcs.st-and.ac.uk/

The deadline for receipt of submissions is October 16, 2006. Extended
abstracts received after this date may not be reviewed. Eligible papers
will be peer-reviewed by members of the Program Committee.

Authors will be notified via email of the results. Authors of accepted
extended abstracts are expected to improve their extended abstract based
on reviewers' comments and to send a camera ready version of their
manuscripts.

Accepted papers will be included in the conference proceedings, which
will be distributed to the participants.

Questions about submissions may be directed to: isc at dcs.st-and.ac.uk

Post Conference Publication

The 10 to 12 best contributions, based upon both the quality of the
extended abstract and the contents of the presentation, will be asked to
submit a longer paper. After undergoing a thorough peer review process
these will be published within the Annals of AI and Maths.

Program Chairs

Ian Gent, University of St Andrews
Steve Linton, University of St Andrews

Organizing Chair

Karen Petrie, University of Reading

Area Chairs

Constraint Programming - Chris Jefferson, University of Oxford
Boolean Satisfiability - Ines Lynce, Universidade Tecnica de Lisoa
Group Theory - Colva Roney-Dougal, University of St Andrews
Model Checking - Alastair Donaldson, University of Glasgow
Planning - Maria Fox, University of Strathclyde