CP News, vol 0, no 2

From: Toby Walsh (tw_at_4c.ucc.ie)
Date: 07/10/04 

Date: Sat, 10 Jul 2004 20:36:42 GMT

Constraint Programming News
                  volume 0, number 2, 2004

   Full version at http://www.math.unipd.it/cp-online/newsletter
     Subscribe at http://www.math.unipd.it/cp-online/register

Editors: Jimmy Lee (events, career news), Eric Monfroy
         (profiles, publications), Toby Walsh (news, reports).

CONTENTS
- news: CP elections, CP online, CP AI OR, AFPC
- publications: PhD theses, recent books, special issues,
        web resources
- events: conferences and workshops
- career news: PhD positions
- reports: FLAIRS 2004
- profiles: DEIS group, Bologna

NEWS

Welcome to the second number of CP News, an initiative of
the CP organizing committee. We aim to provide a comprehensive
summary of important news in the area of constraint programming.
The newsletter will be published quarterly in January, April,
July, and October. Please email the relevant editor with any
news, event, report or profile you want published. To subscribe,
please visit http://www.math.unipd.it/cp-online/register

Each year, the CP community elects two new members to serve
on the CP organizing committe. The committee consists of 10
members: 6 elected members, and 4 members drawn from the current
and past local and program chairs. The committee decides the
venue of the annual CP conference, program and conference chairs.
It also supports activities like the doctoral programme,
summer schools, this newsletter, etc. This year, the terms
of Jean Francois Puget and Peter Stuckey end. The six
candidates standing for these positions in alphabetical
order are: Michela Milano, Patrick Prosser, Jean-Francois Puget,
Barbara Smith, Peter Stuckey and Edward Tsang. If you have
attended at least one CP conference, you are allowed to vote.
Voting can be performed online between now and 1st Sept at
http://cpoc-election.math.unipd.it/2004/

One of the initiatives supported by the CP organizing
committee is a new web portal, CP online. This is designed
to be a single place for information about constraint programming.
Please visit this site, and add your news, conferences
announcements, online resources, etc. See
http://www.math.unipd.it/cp-online/

After a successful series of five CP-AI-OR international
workshops (Ferrara, Paderborn, Ashford, Le Croisic, and
Montreal) devoted to integration of Constraint Programming,
Artificial Intelligence, and Operations Research techniques,
CP-AI-OR-2004 became a conference with the first meeting held
in Nice (France) with more than 100 participants. In 2005,
the Second CP-AI-OR Conference will be organized by Roman Bartak
and Michela Milano in Prague (Czech Republic) in early June.
Like previous years, CP-AI-OR 2005 will be co-located with a
Master Class for PhD students, researchers, and practitioners
on Meta-heuristics and CP organized by Gilles Pesant. More
information about CP-AI-OR 2005 will be available soon at
http://cpaior05.mff.cuni.cz.

The French constraint programming community is happy to
announce the formation of a unique association: the AFPC
(Association Francaise pour la Programmation par Contraintes -
French Association for Constraint Programming). With around
100 members, the new association, among other activities,
will steer a new annual conference - JFPC (Journees Francophones
de Programmation par Contraintes - French speaking Constraint
Programming Days) - that unites the two JFPLC and JNPC conferences.
A 17 member administration board has been elected for one year.
The current secretariat of the association is constituted of:
Narendra Jussien (president), Francois Fages (vice-president),
Pierre Deransart (general secretary), Laurent Simon (secretary),
and Michel Adam (treasurer).
 
PUBLICATIONS

PhD theses:

Olli Kamarainen, "Local Probing - A New Framework for Combining Local
Search with Backtrack Search", IC-Parc, Imperial College London, 2004.
http://www.icparc.ic.ac.uk/~ok1/

Neil Yorke-Smith, "Reliable Constraint Reasoning with Uncertain Data",
IC-Parc, Imperial College London, 2004. http://www.icparc.ic.ac.uk/~nys

Recent books:

New slides and errata for the book:
 Essentials of Constraint Programming
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/pisa/index.html

Combinatorial Optimization
  Polyhedra and Efficiency
Series: Algorithms and Combinatorics, Vol. 24
Schrijver, Alexander
2003, Vol. A: XXXVIII, 648 S. Vol. B: XXXIV, 570 S. Vol. C: XXXIV, 664 S.
(3 volume-set, not available separately)., Hardcover ISBN: 3-540-44389-4

Programming Constraint Services
  High-Level Programming of Standard and New Constraint Services
LNAI Vol. 2302, Christian Schulte, 2002, XII, 176 pp., Softcover
ISBN: 3-540-43371-6

Special issues:

SAT 2005. Special issue of the Journal of Automated Reasoning
devoted to recent progress in propositional satisfiability.
Guest Editors: Enrico Giunchiglia and Toby Walsh. Submission
deadline, 1st Nov 2005. More details at http://www.4c.ucc.ie/~tw/sat2005.txt

Recent Advances in Constraints (LNAI volume), based on the CSCLP '04 workshop
held in Lausanne, June 23-25, 2004. The annual workshop on Constraint Solving
and Constraint Logic Programming, jointly sponsored by ERCIM and Colognet,
attracted 20 paper presentations. Many of the papers are of interest to a
wider audience and the intention of this book is to make them more widely
accessible. Authors of papers presented at the workshop are therefore invited
to submit final versions that take into account the discussion at the workshop.
In addition, we give an opportunity for other papers of good quality to appear
in this volume, even when they have not been presented at the workshop.
All submissions will be peer-reviewed. Submission of a paper implies implicit
agreement to review several other submissions. Papers are due Sept 10th, 2004
and should be formatted in Sprinter LNCS style and not exceed 15 pages. Please
submit papers in .pdf format by e-mail to: adrian.petcu@epfl.ch
http://liawww.epfl.ch/Events/ercim04/

Web resources:

The Constraint Handling Rules (CHR) programming language web pages
have been redesigned, updated and extended:
http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/chr.html
There is also a link to the minutes and proceedings of the First
Workshop on Constraint Handling Rules that took place in May.

EVENTS

AAAI 2004, The Nineteenth National Conference on Artificial Intelligence.
July 25 - 29, 2004, San Jose, California, USA.
http://www.aaai.org/Conferences/National/2004/aaai04.html

PATAT 2004, The 5th international conference on the Practice And Theory of
Automated Timetabling. 18th August - 20th August 2004, Pittsburgh, USA.
http://mat.gsia.cmu.edu/PATAT04/

ECAI 2004 workshop on "Modelling and Solving Problems with Constraints",
22 August 2004, Valencia, Spain. http://4c.ucc.ie/~brahim/ecai04ws/

ECAI 2004 workshop on "Constraint Satisfaction Techniques for Planning
and Scheduling Problems", 23 August 2004, Valencia, Spain.
http://www.dsic.upv.es/~msalido/workshop-ecai04/index.html

ECAI 2004 workshop on "Configuration", 23-24 August 2004, Valencia, Spain.
http://www.ifi.uni-klu.ac.at/Conferences/ECAI04-Configuration-Workshop

ECAI 2004 tutorial on "Constraint Processing", Pedro Meseguer, Thomas Schiex
24 August 2004, Valencia, Spain.

International Workshop on Constraint Solving and Language Processing. 1-3
September 2004, Copenhagen Business School, Copenhagen, Denmark.
Contributions submission deadline: 9 July, 2004.
http://control.ruc.dk/CSLP2004.html

CICLOPS'04, Colloquium on Implementation of Constraint and LOgic
Programming Systems (held in conjunction with ICLP'04). 6-10 September,
2004, Saint-Malo, France. http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/

COLOPS'04, 2nd International Workshop on COnstraint & LOgic Programming in
Security (held in conjunction with ICLP'04). 6-10 September,
2004, Saint-Malo, France. Workshop Coordination: Frank Valencia
(Frank.Valencia@it.uu.se)

MultiCPL 2004, 3rd International Workshop on Multiparadigm Constraint
Programming Languages (held in conjunction with ICLP'04). 6-10 September,
2004, Saint-Malo, France. http://uebb.cs.tu-berlin.de/MultiCPL04

ICLP'04, Twentieth International Conference on Logic Programming. 6-10
September, 2004, Saint-Malo, France.
http://www.irisa.fr/manifestations/2004/ICLP04/

KI2004, 27th GERMAN CONFERENCE ON ARTIFICIAL INTELLIGENCE. September
20-24, Ulm, Germany. http://ki2004.uni-ulm.de/

AISC 2004, 7th International Conference on ARTIFICIAL INTELLIGENCE AND
SYMBOLIC COMPUTATION. September 22-24, 2004, RISC (Research Institute for
Symbolic Computation), Castle of Hagenberg, Austria.
http://www.risc.uni-linz.ac.at/conferences/aisc2004/

CP 2004, Tenth International Conference on Principles and Practice of
Constraint Programming, 27 September - 1 October 2004, Toronto, Canada
http://ai.uwaterloo.ca/~cp2004/ (Call for Demos, dealine: July 11, 2004)
  
Third International Workshop On MODELLING AND REFORMULATING CONSTRAINT
SATISFACTION PROBLEMS: Towards Systematisation and Automation (held in
conjunction with CP 2004). 27 September 2004, Toronto, Canada. Paper
submission deadline: July 9, 2004.
http://www.cs.york.ac.uk/~frisch/Reformulation/

Soft 2003, 6th International Workshop on Soft Constraints and Preferences
(held in conjunction with CP 2004). 27 September 2004, Toronto, Canada.
Paper submission deadline: July 9, 2004.
http://www.sci.unich.it/~bista/organizing/soft-2003/

SymCon'04, The Fourth International Workshop on Symmetry and Constraint
Satisfaction Problems (held in conjunction with CP 2004). 27 September
2004, Toronto, Canada. http://www.dis.uu.se/SymCon04

First International Workshop on Constraint Propagation and Implementation
(held in conjunction with CP 2004). 27 September 2004, Toronto, Canada.
http://csweb.ucc.ie/~dongen/CPAI/CPAI.html

COSOLV'2004, Fourth Workshop on Cooperative Solvers in Constraint
Programming (held in conjunction with CP 2004). 27 September 2004,
Toronto, Canada. Paper submission deadline: July 5, 2004.
http://www.sciences.univ-nantes.fr/lina/cosolv2004/

Workshop on CSP Techniques with Immediate Application (held in
conjunction with CP 2004). 27 September 2004, Toronto, Canada. Paper
submission deadline: July 26, 2004.
http://www.ifi.uni-klu.ac.at/Conferences/cp04cspia/

LSCS'04, 1st International Workshop on Local Search Techniques in
Constraint Satisfaction (held in conjunction with CP 2004). 27 September
2004, Toronto, Canada. Paper submission deadline: July 21, 2004.
http://www.it.uu.se/research/group/astra/LSCS04/
 
CLIMA V, Fifth International Workshop on Computational Logic in Multi-Agent
Systems (co-located with JELIA'04). September 29 and 30, 2004, Lisbon,
Portugal. http://centria.di.fct.unl.pt/~jleite/climaV/index.htm

MOZ 2004, Second International Mozart/Oz Conference (MOZ 2004). 7-8 Oct,
2004, Charleroi, Belgium. Paper submission deadline: 16 July, 2004.
http://www.cetic.be/moz2004.

Fourth EU/ME Workshop DESIGN AND EVALUATION OF ADVANCED HYBRID
META-HEURISTICS. 3,4 November 2004, Nottingham, UK. Paper submission
deadline: 27 August 2004. Send submissions (3-5 pages extended abstracts)
to Nysret Musliu at musliu@dbai.tuwien.ac.at.

CSP 2005: Track on Constraint Solving and Programming
part of the 20th Annual ACM Symposium on Applied Computing SAC'2005
Santa Fe, New Mexico, March 13 -17, 2005. Deadline: August 31, 2004
http://www.sci.unich.it/%7Ebista/organizing/constraint-sac2005/

ICAPS 2005, International Conference on Automated Planning &
Scheduling, June 5 - 10, 2005, Monterey, California, USA. Papers dues
on 15 November, 2004. Workshop proposals due on 1 October, 2004
Tutorial proposals due on 15 December, 2004 Software demos due on 21
March, 2005. http://icaps05.uni-ulm.de/ (Competition in Knowledge
Engineering for Planning, http://scom.hud.ac.uk/scomtlm/competition/)

CP 2005, 11th International Conference on Principles and Practice of
Constraint Programming, October 1-5 2005, Sitges, Spain. Co-located
with ICLP and an annular eclipse. Program chair: Peter van Beek.
Conference chairs: Pedro Meseguer and Javier Larrosa.

CP 2006, 12th International Conference on Principles and Practice of
Constraint Programming, Fall 2006, Nantes, France. Program chair:
Frederic Benhamou. Conference chairs: Eric Monfroy and Frederic Benhamou.

CAREER NEWS

PhD position in Grobner Bases Theory

I intend to write a book on Grobner bases theory using the Theorema
System currently developed in my Theorema Working Group. I would also
like to organize a special semester on Grobner bases in the frame of
the newly created Radon Institute for Computational and Applied
Mathematics (RICAM, Linz, Austria) and to build up a Grobner bases web
site with a papers repository etc. I invite students who want to do
their PhD work on Grobner bases under my personal advice and who also
would like to help me with the preparation of the book and the web
site. Prerequisites: good background in mathematics and software,
practice in formal proving.

The PhD study will be in the frame of the RISC PhD study. The research
assistantship will be approx. 1000 Euro net per month, which is well
sufficient to cover living expenses in Austria.

Applications should be sent by e-mail to the address below.

Bruno Buchberger
Professor of Computer Mathematics
Research Institute for Symbolic Computation
Johannes Kepler University, A4232 Castle of Hagenberg, Austria
Phone office: ++43 732 2468 9921
Mobile Phone: ++43 664 4211646
Fax: ++43 732 2468 9930
E-mail: Buchberger@RISC.Uni-Linz.ac.at
WWW: http://www.risc.uni-linz.ac.at/people/buchberg/

REPORTS

Flairs 2004. http://uhaweb.hartford.edu/flairs04/
The conference had both a constraints track and a distributed CSP track.
Rich Wallace has provided a report describing the presentations
which is available in the online newsletter at
http://www.math.unipd.it/cp-online/newsletter

PROFILES

The DEIS groups at Bologna involved in Constraint Programming and
Operations Research collaborate closely. These groups include the
following members: Alberto Caprara, Andrea Lodi, Zeynep Kiziltan,
Silvano Martello, Michela Milano, Paola Mello, Michele Monaci, Paolo
Torroni, Paolo Toth, Daniele Vigo and 8 PhD students. A full profile
of the activities taking place in Bologna can be found in the
online newsletter at http://www.math.unipd.it/cp-online/newsletter

[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]

Quantcast