Apologises if you recieve multiple copies of this mail.
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:
* A tutorial day at the start, to introduce each area and the
role symmetry plays within it to a general audience.
* An invited speaker from each area to talk about recent
research on a topic of their choice:
Boolean Satisfiability
Karem Sakallah, University of Michigan, USA
Constraint Programming
Dave Cohen, Royal Holloway, University of London, UK and
Peter Jeavons, University of Oxford, UK.
Group Theory
Peter Cameron, Queen Mary, University of London, UK
Model Checking
Dragan Bosnacki, Eidenhoven University of Technology,
Netherlands
Planning
Jacqueline Vauzeilles, University Paris 13, France
* A call for extended abstracts (5 pages Springer LNCS) and
after peer review papers will be accepted for presentation (deadline
October 16th 2006).
* The best 10 papers will then be invited to submit extended
versions, which subject to review will be published in the Annals of
AI and Mathematics.
* A competition which will allow different techniques to tackle
one problem, chaired by Dr Tom Kelsey, University of St Andrews, UK.
* A doctoral program, where the best abstract will be invited
for presentations, and the rest of standard 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: [EMAIL PROTECTED]
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 St Andrews
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
Program Committee
-----------------
Anton Betten, Colorado State University, USA
Dragan Bosnacki, Eidenhoven University of Technology, Netherlands
Alastair Donaldson, University of Glasgow, UK
Stefan Edelkamp, University of Dortmund, Germany
E. Allen Emerson, University of Texas at Austin, USA
Maria Fox, University of Strathclyde,UK
Ian Gent, University of St Andrews, UK
Christopher Jefferson, University of Oxford, UK
Tom Kelsey, University of St Andrews, UK
Zeynep Kiziltan, University of Bologna, Italy
Steve Linton, University of St Andrews, UK
Derek Long, University of Strathclyde, UK
Ines Lynce, Universidade Tecnica de Lisboa, Portugal
Igor Markov, University of Michigan, USA
Pedro Meseguer, Consejo Superior de Investigaciones Cientificas, Spain
Ian Miguel, University of St Andrews, UK
Alice Miller, University of Glasgow, UK
Max Neunhoffer, RWTH Aachen, Germany
Karen Petrie, University of St Andrews, UK
Steve Prestwich, University College Cork, Ireland
Jean-Francois Puget, ILOG, France
Martyn Quick, University of St Andrews, UK
Jussi Rintanen, National ICT, Australia
Colva Roney-Dougal, University of St. Andrews
Amitabha Roy, Boston College, USA
Ashish Sabharwal, Cornell University, USA
Lakhdar Sais, Universite d'Artois, France
Csaba Schneider, Hungarian Academy of Sciences, Hungry
Meinolf Sellmann, Brown University, USA
A. Prasad Sistia, University of Illinois at Chicago, USA
Barbara Smith, 4C, University College Cork, Ireland
Leonard Soicher, Queen Mary, University of London, UK
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
