[bp-users]CFP: BeyondFD 2005
Neng-Fa Zhou
nzhou@acm.org
Fri, 13 May 2005 08:25:56 -0700
This is a multi-part message in MIME format.
------=_NextPart_000_0042_01C55795.629EE010
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Call For Papers
1st International Workshop on=20
Constraint Programming Beyond Finite Integer Domains
(BeyondFD 2005)
http://centria.di.fct.unl.pt/conferences/BeyondFD05
To be held in conjunction with=20
International Conference on=20
Principles and Practice of Constraint Programming
October 1st, 2005
Sitges, Spain
Workshop Description
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
This workshop focuses on constraint programming over countable
structured domains such as sets, multisets, sequences, lists,
or others that go beyond traditional finite domains (namely
over integers or other simple terms).
The workshop aims at covering issues regarding such domains,
mainly including (but not limited to):
- Domain representation
- Consistency techniques
- Theoretical frameworks
- Novel CSP models
- Propagation algorithms
- Integration and hybridisation of solvers
- Implementation
- Applications
The objective is to promote discussion and presentation of
novel ideas relating to systems and applications built upon
such constraint domains. This will be achieved by
presentations of current work both in terms of language and
application developments.
Workshop Motivation
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Since the Alice language, developed by Lauriere in the 70s,
much research has been devoted and many constraint systems
built upon sets and its extensions. The applicability of such
systems has been demonstrated in areas as diverse as theorem
proving, software prototyping, combinatorial design problems,
circuit and network design, as well as sport tournament
scheduling. Most of these problems involve a natural set-based
setting and encompass many symmetries.
Recent advances have shown challenging results that improve=20
the effectiveness of set-based models, e.g. new global=20
constraints, integration of different solvers, evaluation=20
of new data structures. Multiset constraints are a natural
extension allowing an easier modeling of some problems such=20
as template design.
The current successes and potentials of such constraint
domains aim at combining natural modeling with effective=20
solving. The CP 2004 conference held in Toronto was prolific
in this regard.
Workshop Format
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
This workshop is open to all members of the CP and ICLP
communities.
The workshop will emphasize discussion and cross-fertilization,=20
so presentations will be balanced with discussion time.=20
In this direction, the workshop is seeking high quality papers
that address cutting-edge research in this field, and that can
contribute to the discussion.
The agenda will include paper presentations, and possibly an
invited speaker.
At least one author of each accepted submission must attend the=20
workshop, and all participants must pay the workshop fee
(which covers both CP'05 and ICLP'05 workshops).
Important Dates
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submission Deadline: June 30th
Notifications to Authors: July 22nd
Final Version Deadline: August 15th
BeyondFD 2005 Workshop: October 1st
Submission Guidelines
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Participants should submit a paper (maximum 15 pages, PDF=20
format), describing their work in topics relevant to the=20
workshop.
Accepted papers will be presented during the workshop. At=20
least one author of an accepted contribution is expected to
register for the workshop, and present the paper.
All submissions should include the author's name(s),=20
affiliation, complete mailing address, and email address.
Authors are requested to prepare their submissions, following=20
the LNCS/LNAI Springer format. Please see:
http://www.springer.de/comp/lncs/authors.html=20
for further details.=20
The submission should be sent via email, in PDF format, to
Francisco Azevedo (fa@di.fct.unl.pt)
The deadline for receipt of submissions is June 30, 2005.=20
Papers received after this date may not be reviewed.
Eligible papers will be peer-reviewed by at least three
members of the Program Committee.
Authors will be notified via email of the results by July 22,
2005. Authors of accepted papers are expected to improve
their paper based on reviewers' comments and to send a camera
ready version of their manuscripts by August 15, 2005.
Accepted papers will be included in the workshop proceedings,
which will be distributed to the participants.
Questions about submissions may be directed to=20
fa@di.fct.unl.pt.
Organizing Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Francisco Azevedo (Universidade Nova de Lisboa)
Carmen Gervet (IC-Parc)
Enrico Pontelli (New Mexico State University)
Program Committee
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Pedro Barahona (Universidade Nova de Lisboa)
Pascal Brisset (ENAC)
Agostino Dovier (University of Udine)
Zeynep Kiziltan (University of Bologna)
Joao Marques-Silva (Universidade Tecnica de Lisboa)
Enrico Pontelli (New Mexico State University)
Jean-Francois Puget (ILOG)
Jean-Charles Regin (ILOG)
Andrew Sadler (IC-Parc)
Toby Walsh (University of New South Wales)
Contact Information
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Francisco Azevedo,
CENTRIA, FCT/UNL
Departamento de Informatica
Quinta da Torre
2829-516 Caparica
Portugal
fa@di.fct.unl.pt
------=_NextPart_000_0042_01C55795.629EE010
Content-Type: text/html;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2900.2627" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>
<DIV><FONT face=3DArial size=3D2><FONT face=3D"Times New Roman"=20
size=3D3> &nbs=
p; =20
Call For=20
Papers<BR> &nb=
sp; 1st=20
International Workshop on <BR> Constraint Programming Beyond =
Finite=20
Integer=20
Domains<BR> &n=
bsp; =20
(BeyondFD 2005)<BR> </FONT><A href=3D""><FONT face=3D"Times New =
Roman"=20
size=3D3>http://centria.di.fct.unl.pt/conferences/BeyondFD05</FONT></A><B=
R><BR><FONT=20
face=3D"Times New Roman"=20
size=3D3> &nbs=
p; =20
To be held in conjunction with=20
<BR> &nb=
sp; =20
International Conference on <BR> Principles and =
Practice=20
of Constraint=20
Programming<BR> &nbs=
p; =20
October 1st,=20
2005<BR>  =
; =20
Sitges, Spain<BR><BR><BR><BR>Workshop=20
Description<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<BR> This workshop focuses on=20
constraint programming over countable<BR> structured domains such =
as sets,=20
multisets, sequences, lists,<BR> or others that go =
beyond=20
traditional finite domains (namely<BR> over integers =
or other=20
simple terms).<BR><BR> The workshop aims at covering =
issues =20
regarding such domains,<BR> mainly including (but not limited=20
to):<BR> - Domain representation<BR> =
-=20
Consistency techniques<BR> - Theoretical=20
frameworks<BR> - Novel CSP =
models<BR> -=20
Propagation algorithms<BR> - Integration and =
hybridisation of=20
solvers<BR> - Implementation<BR> -=20
Applications<BR><BR> The objective is to promote =
discussion=20
and presentation of<BR> novel ideas relating =
to =20
systems and applications built upon<BR> such =20
constraint domains. This =
will =20
be achieved by<BR> presentations of =
current=20
work both in terms of language and<BR> application=20
developments.<BR><BR>Workshop =
Motivation<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<B=
R> =20
Since the Alice language, developed by Lauriere in the =
70s,<BR> much research has been devoted and =
many =20
constraint systems<BR> built upon sets and its extensions. =
The=20
applicability of such<BR> systems has been =
demonstrated in=20
areas as diverse as theorem<BR> proving, software =
prototyping,=20
combinatorial design problems,<BR> circuit and =
network =20
design, as well as sport tournament<BR> =20
scheduling. Most of these problems involve a natural set-based<BR> =
setting=20
and encompass many symmetries.<BR><BR> Recent advances have=20
shown challenging results that improve <BR> the =20
effectiveness of set-based models, =
e.g. =20
new global <BR> constraints, integration =
of =20
different solvers, evaluation <BR> of new =
data=20
structures. Multiset constraints are a natural<BR> =20
extension allowing an easier modeling of some problems =
such=20
<BR> as template design.<BR><BR> The current =20
successes and potentials of such =20
constraint<BR> domains aim at combining =
natural=20
modeling with effective <BR> solving. The CP =
2004=20
conference held in Toronto was prolific<BR> in this=20
regard.<BR><BR><BR>Workshop =
Format<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<BR>This =20
workshop is open to all members of =
the =20
CP and ICLP<BR>communities.<BR>The workshop will =
emphasize =20
discussion and cross-fertilization, <BR>so presentations will be =
balanced with=20
discussion time. <BR>In this direction, the workshop is =
seeking high=20
quality papers<BR>that address cutting-edge research in this =
field, =20
and that can<BR>contribute to the discussion.<BR>The agenda will=20
include paper presentations, and possibly =
an<BR>invited=20
speaker.<BR>At least one author of each accepted submission must =
attend=20
the <BR>workshop, and all participants =
must =20
pay the workshop fee<BR>(which covers both CP'05 and =
ICLP'05=20
workshops).<BR><BR><BR>Important =
Dates<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<BR> =20
Submission Deadline: June=20
30th<BR> Notifications to Authors: July =
22nd<BR> =20
Final Version Deadline: August 15th<BR> =
BeyondFD=20
2005 Workshop: October 1st<BR><BR>Submission=20
Guidelines<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<BR> Participants =20
should submit a paper (maximum 15 pages, PDF =
<BR> =20
format), describing their work in topics =
relevant =20
to the <BR> workshop.<BR> Accepted papers =
will be=20
presented during the workshop. At <BR> =
least one=20
author of an accepted contribution is expected =
to<BR> =20
register for the workshop, and present the paper.<BR><BR> =
All =20
submissions should include the =
author's name(s), <BR> affiliation, complete mailing =
address,=20
and email address.<BR><BR> Authors are requested to prepare =
their=20
submissions, following <BR> the LNCS/LNAI Springer format. =
Please=20
see:<BR> </FONT><A href=3D""><FONT=20
face=3D"Times New Roman"=20
size=3D3>http://www.springer.de/comp/lncs/authors.html</FONT></A><FONT=20
face=3D"Times New Roman" size=3D3> <BR> for further details. =
<BR><BR> The submission should be sent via =
email, =20
in PDF format,=20
to<BR><BR> &nb=
sp;=20
Francisco Azevedo (</FONT><A href=3D""><FONT face=3D"Times New Roman"=20
size=3D3>fa@di.fct.unl.pt</FONT></A><FONT face=3D"Times New Roman"=20
size=3D3>)<BR><BR> The deadline for receipt of submissions =
is June 30,=20
2005. <BR> Papers received after this date may not be=20
reviewed.<BR> Eligible papers will =
be =20
peer-reviewed by at least three<BR> members of =
the=20
Program Committee.<BR> Authors will be notified via email of =
the=20
results by July 22,<BR> 2005. Authors of =
accepted=20
papers are expected to improve<BR> their paper =
based on=20
reviewers' comments and to send a camera<BR> ready version =
of their=20
manuscripts by August 15, 2005.<BR><BR> Accepted papers will =
be=20
included in the workshop proceedings,<BR> which will be =
distributed=20
to the participants.<BR><BR> Questions about submissions may =
be=20
directed to=20
<BR> =
</FONT><A=20
href=3D""><FONT face=3D"Times New Roman" =
size=3D3>fa@di.fct.unl.pt</FONT></A><FONT=20
face=3D"Times New Roman" size=3D3>.<BR><BR>Organizing=20
Committee<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<BR=
> Francisco Azevedo =20
(Universidade Nova de Lisboa)<BR> Carmen=20
Gervet (IC-Parc)<BR> Enrico=20
Pontelli (New Mexico State =
University)<BR><BR>Program=20
Committee<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<BR> =
; Pedro=20
Barahona (Universidade Nova de =
Lisboa)<BR> =20
Pascal Brisset (ENAC)<BR> Agostino=20
Dovier (University of Udine)<BR> Zeynep=20
Kiziltan (University of Bologna)<BR> Joao=20
Marques-Silva (Universidade Tecnica de Lisboa)<BR> Enrico=20
Pontelli (New Mexico State University)<BR> =
Jean-Francois Puget (ILOG)<BR> Jean-Charles Regin =
(ILOG)<BR> =20
Andrew Sadler (IC-Parc)<BR> =
Toby=20
Walsh (University =
of New=20
South Wales)<BR><BR>Contact=20
Information<BR>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<=
BR> Francisco=20
Azevedo,<BR> CENTRIA,=20
FCT/UNL<BR> Departamento de=20
Informatica<BR> Quinta da=20
Torre<BR> 2829-516 =
Caparica<BR> =20
Portugal<BR> </FONT><A href=3D""><FONT=20
face=3D"Times New Roman"=20
size=3D3>fa@di.fct.unl.pt</FONT></A><BR></FONT></DIV></FONT></DIV></BODY>=
</HTML>
------=_NextPart_000_0042_01C55795.629EE010--