<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1400" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial
size=2>*********************************************************************</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>proposed title:<BR>---------------<BR>Constraint
Solving and Programming</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>Aims and topics:<BR>----------------<BR>Constraints
have emerged as the basis of a representational and<BR>computational paradigm
that draws from many disciplines and can be<BR>brought to bear on many problem
domains. The track is concerned<BR>with all aspects of computing with
constraints including<BR>algorithms, applications, environments, languages,
models, and<BR>systems. Contributions are welcome from any discipline
concerned<BR>with constraints, including artificial intelligence,
combinatorial<BR>algorithms, computational logic, concurrent
computation,<BR>databases, discrete mathematics, operations research,
programming<BR>languages, and symbolic computation. We also solicit papers
from<BR>any domain employing constraints, including
computational<BR>linguistics, configuration, decision support, design,
diagnosis,<BR>graphics, hardware verification, molecular biology,
planning,<BR>qualitative reasoning, real-time systems, resource
allocation,<BR>robotics, scheduling, software engineering, temporal
reasoning,<BR>vision, visualization, and user interfaces. Papers that
bridge<BR>disciplines or combine theory and practice or discuss
novel<BR>reasoning methods are especially welcome. A special attention
is<BR>focused around the use of constraint technologies in the<BR>networking,
wireless and internet fields.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>Rationale for having such a track in
SAC:<BR>-----------------------------------------<BR>The constraint solving and
programming area deal with a specific<BR>way to model and solve a large number
of problems in many fields.<BR>This peculiarity made constraint solving and
programming<BR>techniques neither too general nor overly specialized, but
also<BR>enough wide to be able to attract a wide audience of people<BR>sharing
constraint interests.<BR>Moreover, many emerging areas (mobility, networking,
protocols, <BR>security, web) are starting to use constraint techniques and
<BR>formalism to express problems and solve them.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>In addition to this motivation, the main conference
dealing<BR>with such techniques (CP) is helt each year around the month
of<BR>october, and a track in SAC in march will be welcomed by the
CP<BR>researchers. In this sense the track on CP will complement the
CP<BR>conference.<BR>The community of constraints usually participates also to
IJCAI and to<BR>PACT, but these two conferences are too general and the second
one focuses too<BR>much on industrail application.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>Organizers<BR>--------------------</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2> - Stefano
Bistarelli<BR> Dipartimento di Scienze,
<BR> Universita' degli Studi "G. D'Annunzio" di
Chieti-Pescara, Italy<BR> <A
href="mailto:bista@sci.unich.it">bista@sci.unich.it</A><BR>
<A
href="http://www.sci.unich.it/~bista/">http://www.sci.unich.it/~bista/</A><BR>
and<BR> Istituto per l'Informatica e la
Telematica, <BR> C.N.R. Pisa,
Italy<BR> <A
href="mailto:stefano.Bistarelli@iit.cnr.it">stefano.Bistarelli@iit.cnr.it</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2>- Eric Monfroy<BR> LINA<BR> University
of Nantes<BR> <A
href="mailto:Eric.Monfroy@lina.univ-nantes.fr">Eric.Monfroy@lina.univ-nantes.fr</A><BR>
<A
href="http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/">http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2> - Barry O'Sullivan<BR> Barry
O'Sullivan<BR> Cork Constraint Computation Centre<BR>
Department of Computer Science<BR> University College Cork,
Ireland<BR> Email: <A
href="mailto:b.osullivan@cs.ucc.ie">b.osullivan@cs.ucc.ie</A><BR>
Tel: +353 21 4903085<BR> Fax: +353 21 4903113<BR> Web:
<A
href="http://www.cs.ucc.ie/~osullb/">http://www.cs.ucc.ie/~osullb/</A></FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV> </DIV><FONT face=Arial size=2>
<DIV><BR>Activities:<BR>-----------<BR>To disseminate the call-for-papers we
will use a set of mailing<BR>lists we already used for many CP related
conferences and workshops.<BR>A web page describing the track will be publicized
by such a list and<BR>inserted in the search engines and in the conferences'
specialized<BR>web sites. Moreover, in October we will give call
for<BR>participation to all the people attending the CP conference. To manage
the<BR>review process we will sent papers to the most influential and
knowledgeable<BR>peoples of the Constraint technologies area we are already in
contact with. <BR>The possibility for the publication<BR>of a selected number of
papers in a special issue of some<BR>Journal will be considered.</DIV>
<DIV> </DIV>
<DIV><BR>Experience of the organizers<BR>------------------------------</DIV>
<DIV> </DIV>
<DIV> - Stefano Bistarelli<BR> CP98: Publicity
Chair<BR> SAC2002--2004: AI and computational logic Track
co-chair<BR> AGP2002: PC member<BR> CP2002: RCORP
workshop PC member<BR> CP2002--2003: Soft workshop
co-chair<BR> FLAIR2003--2004 - constraint solving and programming
track co-chair<BR> FLAIR2004 - Secure Multiparty Computations and
Distributed Constraint Reasoning track PC member</DIV>
<DIV> </DIV>
<DIV><BR> - Eric Monfroy<BR> Conference PC member:
<BR> AISC'02, AISC'04, <BR> ADVIS'02, ADVIS'04,
<BR> PPAM'01, PPAM'03, <BR> JFPLC'01, JFPLC'03,
JFPLC'04<BR> <BR> Workshops: (co-)organization, (co-)chair, or
pc member<BR> CoSolv at CP'2001, CP'2002, CP'2003<BR>
RCorrp at CP'2000, CP'2001, CP'2002 and 2003<BR>
PU'03<BR> TRICS at CP'2000, CP'2002<BR> ERCIM workshop
on COnstraint: 1997, 1998, 1999, 2000, 2001<BR> ATAI'03</DIV>
<DIV> </DIV>
<DIV><BR> - Barry O'Sullivan<BR> Conference PC/OC member
(Recent):<BR> AI-2004 - The Twenty-fourth SGAI International
Conference on Innovative Techniques and Applications of AI <BR>
CP-2004 - Principles and Practice of Constraint Programming <BR>
AAAI-2004 - National Conference on Artificial Intelligence <BR>
DCC-2004 - International Conference on Design Computing and Cognition
<BR> FLAIRS 2004 - Special Track on Constraint Solving and
Programming <BR> FLAIRS 2004 - Special Track on Secure Multiparty
Computations and Distributed Constraint Reasoning </DIV>
<DIV> </DIV>
<DIV> Workshops PC/OC member (Recent):<BR> Workshop on
Configuration at ECAI-04, IJCAI-03, ECAI-02<BR> User-Interaction in
Constraint Satisfaction at CP-01, CP-02, CP-03<BR> ERCIM/CologNet
Workshop on Constraints 2002</DIV>
<DIV> </DIV>
<DIV><BR>Stefano Bistarelli's CV:<BR>------------------------<BR>check <A
href="http://www.sci.unich.it/~bista/">http://www.sci.unich.it/~bista/</A></DIV>
<DIV> </DIV>
<DIV>Barry O'Sullivan's CV:<BR>------------------------<BR>check <A
href="http://www.cs.ucc.ie/~osullb/">http://www.cs.ucc.ie/~osullb/</A></DIV>
<DIV> </DIV>
<DIV>Eric Monfroy's CV:<BR>------------------------<BR>check <A
href="http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/">http://www.sciences.univ-nantes.fr/info/perso/permanents/monfroy/</A></DIV>
<DIV> </DIV>
<DIV></FONT> </DIV></BODY></HTML>