<!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>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>proposed title:<BR>---------------<BR>Constraint 
Solving and Programming</FONT></DIV>
<DIV>&nbsp;</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>&nbsp;</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>&nbsp;</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>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>Organizers<BR>--------------------</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>&nbsp;- Stefano 
Bistarelli<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Dipartimento di Scienze, 
<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Universita' degli Studi "G. D'Annunzio" di 
Chieti-Pescara, Italy<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <A 
href="mailto:bista@sci.unich.it">bista@sci.unich.it</A><BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<A 
href="http://www.sci.unich.it/~bista/">http://www.sci.unich.it/~bista/</A><BR>&nbsp;&nbsp; 
and<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Istituto per l'Informatica e la 
Telematica, <BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; C.N.R. Pisa, 
Italy<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <A 
href="mailto:stefano.Bistarelli@iit.cnr.it">stefano.Bistarelli@iit.cnr.it</A></FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>- Eric Monfroy<BR>&nbsp; LINA<BR>&nbsp; University 
of Nantes<BR>&nbsp; <A 
href="mailto:Eric.Monfroy@lina.univ-nantes.fr">Eric.Monfroy@lina.univ-nantes.fr</A><BR>&nbsp; 
<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>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>&nbsp;- Barry O'Sullivan<BR>&nbsp;&nbsp; Barry 
O'Sullivan<BR>&nbsp;&nbsp; Cork Constraint Computation Centre<BR>&nbsp;&nbsp; 
Department of Computer Science<BR>&nbsp;&nbsp; University College Cork, 
Ireland<BR>&nbsp;&nbsp; Email: <A 
href="mailto:b.osullivan@cs.ucc.ie">b.osullivan@cs.ucc.ie</A><BR>&nbsp;&nbsp; 
Tel: +353 21 4903085<BR>&nbsp;&nbsp; Fax: +353 21 4903113<BR>&nbsp;&nbsp; Web: 
<A 
href="http://www.cs.ucc.ie/~osullb/">http://www.cs.ucc.ie/~osullb/</A></FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV>&nbsp;</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>&nbsp;</DIV>
<DIV><BR>Experience of the organizers<BR>------------------------------</DIV>
<DIV>&nbsp;</DIV>
<DIV>&nbsp;- Stefano Bistarelli<BR>&nbsp;&nbsp; CP98: Publicity 
Chair<BR>&nbsp;&nbsp; SAC2002--2004: AI and computational logic Track 
co-chair<BR>&nbsp;&nbsp; AGP2002: PC member<BR>&nbsp;&nbsp; CP2002: RCORP 
workshop PC member<BR>&nbsp;&nbsp; CP2002--2003: Soft workshop 
co-chair<BR>&nbsp;&nbsp; FLAIR2003--2004 - constraint solving and programming 
track co-chair<BR>&nbsp;&nbsp; FLAIR2004 - Secure Multiparty Computations and 
Distributed Constraint Reasoning track PC member</DIV>
<DIV>&nbsp;</DIV>
<DIV><BR>&nbsp;- Eric Monfroy<BR>&nbsp;&nbsp; Conference PC member: 
<BR>&nbsp;&nbsp; AISC'02, AISC'04, <BR>&nbsp;&nbsp; ADVIS'02, ADVIS'04, 
<BR>&nbsp;&nbsp; PPAM'01, PPAM'03, <BR>&nbsp;&nbsp; JFPLC'01, JFPLC'03, 
JFPLC'04<BR>&nbsp;<BR>&nbsp;&nbsp; Workshops: (co-)organization, (co-)chair, or 
pc member<BR>&nbsp;&nbsp; CoSolv at CP'2001, CP'2002, CP'2003<BR>&nbsp;&nbsp; 
RCorrp at CP'2000, CP'2001, CP'2002 and 2003<BR>&nbsp;&nbsp; 
PU'03<BR>&nbsp;&nbsp; TRICS at CP'2000, CP'2002<BR>&nbsp;&nbsp; ERCIM workshop 
on COnstraint: 1997, 1998, 1999, 2000, 2001<BR>&nbsp;&nbsp; ATAI'03</DIV>
<DIV>&nbsp;</DIV>
<DIV><BR>&nbsp;- Barry O'Sullivan<BR>&nbsp;&nbsp; Conference PC/OC member 
(Recent):<BR>&nbsp;&nbsp; AI-2004 - The Twenty-fourth SGAI International 
Conference on Innovative Techniques and Applications of AI <BR>&nbsp;&nbsp; 
CP-2004 - Principles and Practice of Constraint Programming <BR>&nbsp;&nbsp; 
AAAI-2004 - National Conference on Artificial Intelligence <BR>&nbsp;&nbsp; 
DCC-2004 - International Conference on Design Computing and Cognition 
<BR>&nbsp;&nbsp; FLAIRS 2004 - Special Track on Constraint Solving and 
Programming <BR>&nbsp;&nbsp; FLAIRS 2004 - Special Track on Secure Multiparty 
Computations and Distributed Constraint Reasoning </DIV>
<DIV>&nbsp;</DIV>
<DIV>&nbsp;&nbsp; Workshops PC/OC member (Recent):<BR>&nbsp;&nbsp; Workshop on 
Configuration at ECAI-04, IJCAI-03, ECAI-02<BR>&nbsp;&nbsp; User-Interaction in 
Constraint Satisfaction at CP-01, CP-02, CP-03<BR>&nbsp;&nbsp; ERCIM/CologNet 
Workshop on Constraints 2002</DIV>
<DIV>&nbsp;</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>&nbsp;</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>&nbsp;</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>&nbsp;</DIV>
<DIV></FONT>&nbsp;</DIV></BODY></HTML>