|
From: Joachim S. <jsc...@co...> - 2013-06-05 12:18:15
|
-------- Original Message --------
Subject: [constraints] TRICS 2013 Workshop Call for Papers
Date: Wed, 29 May 2013 21:07:17 +0100
From: Peter Nightingale <pw...@st...>
Reply-To: con...@ya...
To: constraints <con...@ya...>
Call for Papers
TRICS 2013 - Techniques foR Implementing Constraint programming Systems
Constraint programming systems are software systems that support the modeling and solving of
problems using constraint programming. Such systems include constraint programming libraries and
runtime systems for constraint programming languages. The workshop will focus on design and
implementation of such systems.
Possible topics include the following:
* software design aspects of CP systems
* data structures and algorithms for constraint solving
* parallelization approaches
* design and implementation of programming/modeling/solving environments for constraint programming
* surveys of often-used but undocumented folklore techniques
* solvers employing techniques other than standard search and propagation, such as
conflict-driven learning or multi-valued decision diagrams
* hybrid solvers integrating methods such as local search, mathematical programming, SAT solving,
or AI techniques
The workshop
After three very successful workshops in 2000 (Singapore), 2002 (Ithaca), and 2010 (St Andrews),
this fourth iteration will again provide a forum for research in implementation of constraint
programming systems.
This workshop encourages submissions and participation from all members of the CP community and all
people interested in the implementation of constraint programming systems. It will provide a place
at CP where useful results, practical tricks and preliminary work can be presented, which by itself
may not be sufficent for a submission to the full conference but is still of interest to other CP
practitioners.
Contributing
Contributions to the workshop can include paper presentations and system demonstrations. In
addition, there will be a lightning track where people get five minutes to present preliminary
results, implementation tricks, or system advertisements.
To ensure high quality of the workshop, at least one author of each accepted submission must attend
the workshop. Workshop participants need to register through the main conference registration site
and pay the workshop registration fee.
Proceedings will be made available electronically during the workshop.
Submission procedure
Submissions of *papers and extended abstracts* must be made electronically through Easychair
<https://www.easychair.org/conferences/?conf=trics2013>.
*Papers and extended abstracts* must be submitted as a PDF file in the Lecture Notes in Computer
Science (LNCS) style. The page limit is 15 pages plus any number of pages for references. Shorter
papers are explicitly welcomed, as are extended abstracts with only a few pages.
Paper submissions will be reviewed by the program committee. Those that are well written and make a
worthwhile contribution to the workshop topic will be accepted for publication in the workshop
proceedings, and their authors will be able to present their work at the workshop.
For *lightning talks and system demonstrations*, please email the organising committee at the
following address: tri...@gm... <mailto:tri...@gm...>.
Important dates
* Paper and extended abstract submission deadline: July 8, 2013
* Notification of acceptance/rejection: August 9, 2013
* Camera-ready version: August 23, 2013
* Submission deadline for lightning talks and system demonstrations: September 6, 2013
* Workshop: September 16, 2010
Organising committee
* Christopher Jefferson <http://www.cs.st-andrews.ac.uk/%7Ecaj/>, University of St. Andrews
* Peter Nightingale <http://www.cs.st-andrews.ac.uk/%7Epn/>, University of St. Andrews
* Guido Tack <http://www.csse.monash.edu/%7Eguidot/>, Monash University
Program committee
* Mats Carlsson <http://www.sics.se/%7Ematsc/>, Swedish Institute of Computer Science, Sweden
* Ian Gent <http://www.cs.st-andrews.ac.uk/%7Eipg/>, University of St Andrews, UK
* Willem-Jan van Hoeve <http://www.andrew.cmu.edu/user/vanhoeve/>, Carnegie Mellon University, USA
* Xavier Lorca <http://www.emn.fr/z-info/xlorca/>, Ecole des Mines de Nantes, France
* Laurent Michel <http://ash.engr.uconn.edu/%7Eldm/work/>, University of Connecticut, USA
* Radoslaw Szymanek, Vistula University, Warsaw, Poland and Crossing-Tech, Lausanne, Switzerland
__._,_.___
Reply via web post
<http://groups.yahoo.com/group/constraints/post;_ylc=X3oDMTJxZXZxbm9yBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRtc2dJZAMxMDM2BHNlYwNmdHIEc2xrA3JwbHkEc3RpbWUDMTM2OTg1ODA1OA--?act=reply&messageNum=1036>
Reply to sender
<mailto:pw...@st...?subject=Re%3A%20TRICS%202013%20Workshop%20Call%20for%20Papers> Reply
to group
<mailto:con...@ya...?subject=Re%3A%20TRICS%202013%20Workshop%20Call%20for%20Papers> Start
a New Topic
<http://groups.yahoo.com/group/constraints/post;_ylc=X3oDMTJmcTRkdDR1BF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDZnRyBHNsawNudHBjBHN0aW1lAzEzNjk4NTgwNTg->
Messages in this topic
<http://groups.yahoo.com/group/constraints/message/1036;_ylc=X3oDMTM1NGlqcTcxBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRtc2dJZAMxMDM2BHNlYwNmdHIEc2xrA3Z0cGMEc3RpbWUDMTM2OTg1ODA1OAR0cGNJZAMxMDM2>
(1)
Recent Activity:
* New Members
<http://groups.yahoo.com/group/constraints/members;_ylc=X3oDMTJna3ZrcjhrBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2bWJycwRzdGltZQMxMzY5ODU4MDU4?o=6>
1
* New Links
<http://groups.yahoo.com/group/constraints/links;_ylc=X3oDMTJoa21oOThtBF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2bGlua3MEc3RpbWUDMTM2OTg1ODA1OA-->
1
Visit Your Group
<http://groups.yahoo.com/group/constraints;_ylc=X3oDMTJmZTNqdXY4BF9TAzk3MzU5NzE0BGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDdnRsBHNsawN2Z2hwBHN0aW1lAzEzNjk4NTgwNTg->
Yahoo! Groups
<http://groups.yahoo.com/;_ylc=X3oDMTJlcDdlZmtvBF9TAzk3NDc2NTkwBGdycElkAzE3MzAxOTQzBGdycHNwSWQDMTcwNTk0ODkyMwRzZWMDZnRyBHNsawNnZnAEc3RpbWUDMTM2OTg1ODA1OA-->
Switch to: Text-Only
<mailto:con...@ya...?subject=Change%20Delivery%20Format:%20Traditional>,
Daily Digest <mailto:con...@ya...?subject=Email%20Delivery:%20Digest> .
Unsubscribe <mailto:con...@ya...?subject=Unsubscribe> . Terms of Use
<http://docs.yahoo.com/info/terms/> . Send us Feedback
<mailto:ygr...@ya...?subject=Feedback%20on%20the%20redesigned%20individual%20mail%20v1>
.
__,_._,___
|