Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP - International Symmetry Conference


CALL FOR PARTICIPATION

International Symmetry Conference

http://isc.dcs.st-and.ac.uk

registration is now available at http://isc.cs.st-and.ac.uk/registration.php

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

Conference Description

This conference focuses on current symmetry research in the areas of
Constraint Programming, Boolean Satisfiability, 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 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
presentation, 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.

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, Hungary
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


В избранное