From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id E43B77ED1A; Sat, 19 May 2012 17:33:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsYBAKS8t0+AHgKVkWdsb2JhbABFDoMPiBKoXCIBAQEBCQsLBxQFIoIWAQEEHRUBNRARLBYPCQMCAQIBRQYNCAEBFYd1BAezFYkIiwUUhTkDlRuSIDuBVQ X-IronPort-AV: E=Sophos;i="4.75,621,1330902000"; d="scan'208";a="144326466" Received: from outgoing.csail.mit.edu ([128.30.2.149]) by mail4-smtp-sop.national.inria.fr with ESMTP; 19 May 2012 17:33:52 +0200 Received: from f051196199.adsl.alicedsl.de ([78.51.196.199] helo=[192.168.1.29]) by outgoing.csail.mit.edu with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.72) (envelope-from ) id 1SVldv-0000Pw-Ie; Sat, 19 May 2012 11:32:31 -0400 Message-ID: <4FB7BCFF.1040508@csail.mit.edu> Date: Sat, 19 May 2012 17:32:15 +0200 From: Sebastian Will User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:12.0) Gecko/20120430 Thunderbird/12.0.1 MIME-Version: 1.0 To: Sebastian Will References: <4FB7BB30.5040701@csail.mit.edu> In-Reply-To: <4FB7BB30.5040701@csail.mit.edu> X-Enigmail-Version: 1.5pre X-Forwarded-Message-Id: <4FB7BB30.5040701@csail.mit.edu> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Validation-by: swill@csail.mit.edu Subject: [Caml-list] [CFP] Deadline Extension WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics Dear colleague, we invite you to submit to WCB12, the Workshop on Constraint Based Methods for Bioinformatics 2012; we extended the submission deadline. Please apologize multiple copies. Rolf and Sebastian +-------------------------------------------------------------------------+ CALL FOR PAPERS --- DEADLINE EXTENSION WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics 2012 Budapest, Hungary, September, 8th, 2012 Collocated with ICLP 2012 http://www.bioinf.uni-freiburg.de/Events/WCB12/ Submission: June, 1st, 2012 (EXTENDED) +-------------------------------------------------------------------------+ 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: June 1st, 2012 (EXTENSION) Notification to Authors: July 2nd, 2012 Camera-ready: July 27th, 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 COMMITTEE ----------------- Nicos Angelopoulos Netherlands Cancer Institute Rolf Backofen (chair) Freiburg Univ., Germany Pedro Barahona Univ. Nova de Lisbona, Portugal Alexander Bockmayr Freie Universität Berlin, Germany Alessandro Dal Palù Parma Univ., Italy Agostino Dovier Udine Univ., Italy Esra Erdem Sabanci Univ., Turkey Francois Fages INRIA Rocquencourt, France Andrea Formisano University of Perugia, Italy Ines Lynce, INESC-ID Lisboa, Portugal Enrico Pontelli NMSU, USA Sven Thiele Univ. of Potsdam, Germany Pascal Van Hentenryck Brown University, USA Sebastian Will (chair) Freiburg Univ., Germany