https://wiki.ercim.eu/wg/Constraints/index.php?title=Special:NewPages&feed=atom&hidebots=1&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=ERCIM Working Group Constraints - New pages [en]2024-03-29T13:10:56ZFrom ERCIM Working Group ConstraintsMediaWiki 1.35.13https://wiki.ercim.eu/wg/Constraints/index.php/ContactContact2009-04-15T16:32:04Z<p>Barry: </p>
<hr />
<div>= Contacting the ERCIM Working Group on Constraints =<br />
<br />
<br />
; '''Chairman:''' Barry O'Sullivan<br />
: Cork Constraint Computation Centre<br />
: Department of Computer Science<br />
: University College Cork, Ireland<br />
: Phone: +353 21 4255402<br />
: E-mail:[mailto:b.osullivan@cs.ucc.ie b.osullivan@cs.ucc.ie]<br /><br /><br /><br />
; '''Secretary:''' Sylvain Soliman<br />
: INRIA Rocquencourt<br />
: Phone: 33 1 39635761<br />
: E-mail:[mailto:Sylvain.Soliman@inria.fr Sylvain.Soliman@inria.fr]</div>Peterhttps://wiki.ercim.eu/wg/Constraints/index.php/WorkshopsWorkshops2009-04-15T16:27:32Z<p>Peter: New page: Please select one of the clickable entries below. The information concerned will then be displayed in this right hand frame. Alternatively you could select one of the other chapters still ...</p>
<hr />
<div>Please select one of the clickable entries below. The information concerned will then be displayed in this right hand frame. Alternatively you could select one of the other chapters still visible in the left frame.<br />
<br />
Selected papers of some of the workshops were published by [http://www.springeronline.com/sgw/search/EasySearchForm/0,11881,5-40109-11-0-0,00.html?searchKey=easySearchKey&searchType=easy&visited=true&propagate=false&resultStart=1&resultCount=10&queryText=ercim constraints&easySearchOption=title Springer].<br />
<br />
==Workshops==<br />
<br />
Ercim CSCLP 2007<br />
:* [http://contraintes.inria.fr/CSCLP07/CSCLP07.htm#themconf CFP]<br />
:* [http://contraintes.inria.fr/CSCLP07/ General Information]<br />
:* [http://www.springer.com/computer/artificial/book/978-3-540-89811-5 Proceedings]<br />
Ercim/CologNet CSCLP 2006<br />
:* [http://centria.di.fct.unl.pt/conferences/csclp06/#cfp CFP]<br />
:* [http://centria.di.fct.unl.pt/conferences/csclp06/ General Information]<br />
:* [http://www.springerlink.com/content/978-3-540-73816-9/ Proceedings ]<br />
Ercim/CologNet CSCLP 2005<br />
:* [http://homes.ieu.edu.tr/~bhnich/csclp2005/ercim05.html#cfp CFP]<br />
:* [http://homes.ieu.edu.tr/~bhnich/csclp2005/ercim05.html General Information]<br />
:* [http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-168961137-0 Proceedings]<br />
Ercim/CologNet CSCLP 2004<br />
:* [http://liawww.epfl.ch/Events/ercim04/CFP.txt CFP]<br />
:* [http://liawww.epfl.ch/Events/ercim04/ General Information]<br />
:* [http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-44478903-0 Proceedings]<br />
Ercim/CologNet 2003<br />
:* [http://ws.ailab.sztaki.hu/CFP.txt CFP]<br />
:* [http://ws.ailab.sztaki.hu/index.html Programme &amp; Papers]<br />
:* [http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-29584782-0 Proceedings]<br />
Ercim/CologNet 2002<br />
:* [http://www.cs.ucc.ie/~osullb/ercim2002/#Submissions CFP]<br />
:* [http://www.cs.ucc.ie/~osullb/ercim2002/#Schedule Programme &amp; Papers]<br />
:* [http://www.springer.com/dal/home/generic/search/results?SGWID=1-40109-22-2321728-0 Proceedings]<br />
Ercim/2001<br />
:* [http://kti.mff.cuni.cz/~bartak/ERCIM2001/ Programme]<br />
:* [http://arXiv.org/html/cs/0110012 Proceedings]<br />
Ercim/CompulogNet00<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop5/CFP/index.html CFP]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop5/Program/index.html Programme &amp; Papers]<br />
<br /> Ercim/CompulogNet99<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop4/CFP/index.html CFP]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop4/Program/index.html Programme &amp; Papers]<br />
<br /> Ercim/CompulogNet98<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop3/CFP/index.html CFP]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop3/Program/index.html Programme &amp; Papers]<br />
<br /> Ercim/CompulogNet97<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop2/CFP/index.html CFP]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop2/Program/index.html Programme]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop2/Doc/index.html Documents]<br />
<br /><br /> Kick-off Meeting<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop1/CFP/index.html Information]<br />
:* [http://www-rocq.inria.fr/~soliman/ercim/Workshop1/Doc/index.html Documents]</div>Peterhttps://wiki.ercim.eu/wg/Constraints/index.php/BackgroundBackground2009-04-15T16:18:37Z<p>Peter: New page: [http://www.cs.unh.edu/ccc/archive/ Constraints] have recently emerged as a research area that combines researchers from a number of fields, including Artificial Intelligence, Programming ...</p>
<hr />
<div>[http://www.cs.unh.edu/ccc/archive/ Constraints] have recently emerged as a research area that combines researchers from a number of fields, including Artificial Intelligence, Programming Languages, Symbolic Computing and Computational Logic.<br />
<br />
Constraint networks and constraint satisfaction problems have been studied in Artificial Intelligence starting from the seventies. Systematic use of constraints in programming has started in the eighties. In constraint programming the programming process consists of a generation of requirements (constraints) and solution of these requirements, by specialised constraint solvers.<br />
<br />
Constraint programming has been successfully applied in numerous domains. Recent applications include computer graphics (to express geometric coherence in the case of scene analysis), natural language processing (construction of efficient parsers), database systems (to ensure and/or restore consistency of the data), operations research problems (like optimization problems), molecular biology (DNA sequencing), business applications (option trading), electrical engineering (to locate faults), circuit design (to compute layouts), etc.<br />
<br />
Current research in this area deals with various foundational issues, with implementation aspects and with new applications of constraint programming. The concept of constraint solving forms the central aspect of this research.</div>Peter