[Eclipse-clp-publicity] Fwd: [constraints] TRICS 2013 Workshop Call for Papers

[Joachim S. <jsc...@co...>]

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

__,_._,___