Main Page - Revision history

Peter at 10:19, 24 October 2016

2016-10-24T10:19:26Z

← Older revision		Revision as of 10:19, 24 October 2016
Line 1:		Line 1:
	<h2>ERCIM Working Group on Constraints</h2>		<h2>ERCIM Working Group on Constraints</h2>

			<h3>The Constraints Working Group was closed in 2015. These pages are maintained for information and archives.</h3>

	<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>		<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>

Barry at 17:58, 15 April 2009

2009-04-15T17:58:44Z

← Older revision		Revision as of 17:58, 15 April 2009
Line 30:		Line 30:

	<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], University College Cork, Ireland<br/>		<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], University College Cork, Ireland<br/>
	Secretary General: <br/>
	</p>		</p>

Barry at 17:58, 15 April 2009

2009-04-15T17:58:19Z

← Older revision		Revision as of 17:58, 15 April 2009
Line 26:		Line 26:
	<li> facilitate the exchange of researchers for short and long visits.		<li> facilitate the exchange of researchers for short and long visits.
	</ul>		</ul>
			</p>

	<h3>Group Coordinators</h3>		<h3>Group Coordinators</h3>

	<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan],		<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], University College Cork, Ireland<br/>
		⚫	Secretary General: <br/>
	University College Cork, Ireland<br/>
			</p>
⚫	Secretary General: </p>

Barry at 17:55, 15 April 2009

2009-04-15T17:55:39Z

← Older revision		Revision as of 17:55, 15 April 2009
Line 27:		Line 27:
	</ul>		</ul>

	<h3>Group ~~Coordinator~~</h3>		<h3>Group Coordinators</h3>

	<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], ~~University College Cork, Ireland<br/>~~		<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan],
			University College Cork, Ireland<br/>
	Secretary: </p>		Secretary General: </p>

Barry at 17:53, 15 April 2009

2009-04-15T17:53:36Z

← Older revision		Revision as of 17:53, 15 April 2009
Line 29:		Line 29:
	<h3>Group Coordinator</h3>		<h3>Group Coordinator</h3>

	<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan, University College Cork, Ireland<br/>		<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan], University College Cork, Ireland<br/>
	Secretary: </p>		Secretary: </p>

Barry at 17:53, 15 April 2009

2009-04-15T17:53:01Z

← Older revision		Revision as of 17:53, 15 April 2009
Line 1:		Line 1:
			<h2>ERCIM Working Group on Constraints</h2>
	== Topics of study ==

			<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>
	*Constraint solvers
		⚫	<p>
	*Constraint programming languages and systems
			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.
	*Modeling with constraints
			</p>
	*Applications in combinatorial optimization
			<p>
	*Applications in bioinformatics
			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>
⚫	<hr>

			<p>The ERCIM <b>Constraints</b> 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:
			<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>

			<h3>Group Coordinator</h3>

			<p>Chair: [http://www.cs.ucc.ie/~osullb Barry O'Sullivan, University College Cork, Ireland<br/>
			Secretary: </p>

Barry at 17:47, 15 April 2009

2009-04-15T17:47:06Z

← Older revision		Revision as of 17:47, 15 April 2009
Line 1:		Line 1:

	== Topics of study ==		== Topics of study ==

Line 7:		Line 6:
	*Applications in combinatorial optimization		*Applications in combinatorial optimization
	*Applications in bioinformatics		*Applications in bioinformatics

			<hr>

Peter at 16:15, 15 April 2009

2009-04-15T16:15:49Z

← Older revision		Revision as of 16:15, 15 April 2009
Line 1:		Line 1:
	<big>'''MediaWiki has been successfully installed.'''</big>

			== Topics of study ==
	Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

			*Constraint solvers
	== Getting started ==
			*Constraint programming languages and systems

			*Modeling with constraints
	* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
			*Applications in combinatorial optimization
	* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
			*Applications in bioinformatics
	* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]

MediaWiki default at 17:06, 8 April 2008

2008-04-08T17:06:00Z

New page

<big>'''MediaWiki has been successfully installed.'''</big>

Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software.

== Getting started ==

* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list]
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ]
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list]