chris jefferson ixligyrqfpwknzcomlaboxacuk call extended abstracts international symmetry conference httpiscdcsstandacuk held thistle hotel edinburgh 14th 17th january 2007 conference description conference focuses current symmetry research areas constraint programming boolean satisiability group theory model checking planning combinatorial research area objective promote discussion presentation novel ideas relating symmetry within areas foster new collaboration opportunities areas achieved presentations current work individual areas collaborative nature conference format conference open members combinatorial research communities conference emphasize discussion crossfertilization presentations balanced discussion time tutorials invited talks direction conference seeking high quality papers address cuttingedge research field contribute discussion agenda include tutorial time start introduce area role symmetry plays within general audience invited speaker area talk recent research topic choice presentations posters accepted extended abstracts competition allow different techniques tackle one problem doctoral program best abstracts invited presentation remaining abstracts allocated poster also mentoring session doctoral students paired senior researcher different area important dates submission deadline october 16th 2006 notifications authors november 6th 2006 final version deadline december 11th 2006 early registration deadline tba conference january 14th january 17th 2007 submission guidelines authors submit extended abstract maximum 5 pages describing work topics relevant conference accepted papers presented conference either full talk poster least one author accepted contribution expected register conference present paper submissions include authors names affiliation complete mailing address email address authors requested prepare submissions following lncslnai springer format please see httpwwwspringerdecomplncsauthorshtml details extended abstracts submitted website found httpiscdcsstandacuksubmissions deadline receipt submissions october 16 2006 extended abstracts received date may reviewed eligible papers peerreviewed members program committee authors notified via email results authors accepted extended abstracts expected improve extended abstract based reviewers comments send camera ready version manuscripts accepted papers included conference proceedings distributed participants questions submissions may directed baddcsstandacuk post conference publication 10 12 best contributions based upon quality extended abstract contents presentation asked submit longer paper undergoing thorough peer review process published within annals ai maths program chairs ian gent university st andrews steve linton university st andrews organizing chair karen petrie university reading area chairs constraint programming chris jefferson university oxford boolean satisfiability ines lynce universidade tecnica de lisoa group theory colva roneydougal university st andrews model checking alastair donaldson university glasgow planning maria fox university strathclyde thu 07 aug 2008 084330 0100 uai call extended abstracts international symmetry conference