From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q35C56jl018176 for ; Thu, 5 Apr 2012 14:05:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoBAGKJfU+AHgKVkWdsb2JhbABDuHkiAQEBAQkLCwcUBSKCCyJLED0WGAMCAQIBSw0IAQEVh3ULniyYGIEdBIsZhUEElWuTHYFT X-IronPort-AV: E=Sophos;i="4.75,375,1330902000"; d="scan'208";a="139182128" Received: from outgoing.csail.mit.edu ([128.30.2.149]) by mail4-smtp-sop.national.inria.fr with ESMTP; 05 Apr 2012 14:05:01 +0200 Received: from swlap.informatik.uni-freiburg.de ([132.230.153.74]) by outgoing.csail.mit.edu with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.72) (envelope-from ) id 1SFlPc-0005Cd-DS; Thu, 05 Apr 2012 08:03:36 -0400 Message-ID: <4F7D8A0A.6070308@csail.mit.edu> Date: Thu, 05 Apr 2012 14:03:22 +0200 From: Sebastian Will User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 To: Sebastian Will X-Enigmail-Version: 1.3.5 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Validation-by: swill@csail.mit.edu Subject: [Caml-list] [CFP] Call for Papers WCB12 [Please apologize multiple copies and crossposting.] Dear colleagues, we would like to invite you to submit a paper to WCB12 - Workshop on Constraint Based Methods for Bioinformatics 2012 -------------------------------------------------------------------- September, 8th, 2012 Budapest, Hungary Collocated with ICLP 2012 Submission: May, 18th, 2012 OVERVIEW AND SCOPE Bioinformatics is a challenging and fast growing area of research, which is of utmost importance for our understanding of life. Major contributions to this discipline can have thousands of positive effects in medicine, agriculture, or industry. To pick out only a few examples, Bioinformatics tackles problems related to * Recognition, analysis, and organization of DNA sequences. For instance, Haplotype/Pedigree inference, Phylogenetic reconstruction, Motif localization, and Alignments * Biological systems simulations (for metabolic or regulatory networks) * Prediction of the spatial conformation of a bio-polymer, given its sequence of monomers (in particular for proteins and RNA). The main aim of this workshop is twofold. On the one hand, to share recent results in this area (new ideas, systems and solvers that rely on constraints, but also on Logic Programming, Answer Set Programming, Linear Programming, Mixed Integer Linear Programming, Local Search, and any other AI techniques, possibly combining some of them). On the other hand, to present new challenging problems recently formalized but still beyond current computing capabilities. MANUSCRIPT SUBMISSION We welcome submissions of * Extended Abstracts of new results * Abstract of ongoing works * Systems presentations (with demos at the workshop) * Summaries of already accepted or recently published results in the topics above. Manuscripts should be formatted in the standard llncs style and submitted as PDF. The page limit is 6 pages. Submission is handled by Easychair https://www.easychair.org/conferences/?conf=wcb12 IMPORTANT DATES Submission Deadline: May 18th, 2012 Notification to Authors: June 18th, 2012 Camera-ready: July 13th, 2012 Workshop: September 8th, 2012 The final submission must include latex sources. We are going to use Computing Research Repository (CoRR) for the workshop proceedings. At least one author is required to participate in the workshop and present the work. PROGRAM CHAIRS Rolf Backofen, Freiburg, Germany Sebastian Will, Freiburg, Germany