Main Page: Difference between revisions
No edit summary |
No edit summary |
||
| (7 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
<h2>ERCIM Working Group on Constraints</h2> |
|||
<big>'''MediaWiki has been successfully installed.'''</big> |
|||
<h3>The Constraints Working Group was closed in 2015. These pages are maintained for information and archives.</h3> |
|||
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
|||
<p>ERCIM - the [http://www.ercim.org European Research Consortium for Informatics and Mathematics] aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading research institutes from eighteen European countries are members of ERCIM.</p> |
|||
== Getting started == |
|||
<p> |
|||
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. |
|||
</p> |
|||
<p> |
|||
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. |
|||
</p> |
|||
<p> |
|||
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. |
|||
</p> |
|||
<p> |
|||
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. |
|||
</p> |
|||
<h3>Objectives of the Working Group</h3> |
|||
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list] |
|||
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ] |
|||
<p>The ERCIM <b>Constraints</b> working group aims to |
|||
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] |
|||
bring together ERCIM researchers that are involved in research on the subject of constraint programming and related areas. |
|||
Its primary aims are: |
|||
<ul> |
|||
<li> to promote research on this subject within the ERCIM institutions, |
|||
<li> facilitate the exchange of information, |
|||
<li> coordinate efforts in technology transfer, |
|||
<li> facilitate the exchange of researchers for short and long visits. |
|||
</ul> |
|||
</p> |
|||
<h3>Group Coordinators</h3> |
|||
<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], University College Cork, Ireland<br/> |
|||
</p> |
|||
Latest revision as of 10:19, 24 October 2016
ERCIM Working Group on Constraints
The Constraints Working Group was closed in 2015. These pages are maintained for information and archives.
ERCIM - the European Research Consortium for Informatics and Mathematics aims to foster collaborative work within the European research community and to increase co-operation with European industry. Leading research institutes from eighteen European countries are members of ERCIM.
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.
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.
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.
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.
Objectives of the Working Group
The ERCIM Constraints working group aims to bring together ERCIM researchers that are involved in research on the subject of constraint programming and related areas. Its primary aims are:
- to promote research on this subject within the ERCIM institutions,
- facilitate the exchange of information,
- coordinate efforts in technology transfer,
- facilitate the exchange of researchers for short and long visits.
Group Coordinators
Chair: Barry O'Sullivan, University College Cork, Ireland