______________________ Call for Participation _______________________
CP 2008
14th International Conference
on
Principles and Practice of Constraint Programming
Sydney, Australia 14-18 September 2008
http://www.csse.unimelb.edu.au/cp2008/
Co-located with:
Int'l Conference on Automated Planning and Scheduling (ICAPS)
Int'l Conference on Knowledge Representation and Reasoning (KR)
Int'l Workshop on Nonmonotonic Reasoning (NMR)
____ CP 2008 in Sydney ____
The CP conference is the annual international conference on
Constraint Programming. It is concerned with all aspects of
computing with constraints, including theory, algorithms,
applications, environments, languages, models, and systems.
This year, 27 research papers and 6 application papers will be
presented in conference talks, and an additional 23 short papers
will be presented in a poster session. For a list of these papers
see http://www.csse.unimelb.edu.au/cp2008/accepted-papers.html .
Two days of workshops and tutorials, listed below, as well as the
doctoral program will precede the conference.
Early Registration deadline: Thursday 31 July 2008
The registration fee includes all CP, ICAPS and KR conference
sessions, invited talks, tutorials and workshops, doctoral
programs, daily morning and afternoon teas, a conference bag, the
conference banquet, and one copy of the CP conference proceedings.
Student registration is at half price.
____ Invited Speakers ____
Alain Colmerauer (France)
Adnan Darwiche (USA)
John Hooker (USA)
____ Tutorials ____
Current issues on Max-SAT, by Javier Larrosa
ILOG CP Optimizer Software Tutorial: An Automatic Search and
Modeling Framework for Detailed Scheduling, by Didier Vidal
____ Workshops ____
Constraint Satisfaction Techniques for Planning and
Scheduling Problems (COPLAS'08)
Counting Problems in CSP and SAT, and Other Neighbouring Problems
(Counting'08)
Local Search Techniques in Constraint Satisfaction (LSCS'08)
Constraint Modelling and Reformulation (ModRef'08)
Search in ManyCore
Preferences and Soft Constraints (SofT'08)
Symmetry and Constraint Satisfaction Problems (SymCon'08)
Quantification in Constraint Programming (QiCP'08)
CSP Solver Competition
_____________________________________________________________________
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
