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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E966C7EE51 for ; Wed, 22 May 2013 16:07:54 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of logicprogramming-bounces@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of logicprogramming-bounces@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="logicprogramming-bounces@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logicprogramming-bounces@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArICAPfQnFHBiCcQnGdsb2JhbABbFoMiAYM6uhSFOQ4BAQEBAQgUCTsBgiUGAQELDwYPARMKFQMUAwECBgIkAiIEAgIDAV8BDAUWh3YIqXKRXIEmjDUKhACBEwOXOIEphGITjjI7gSwJFw X-IPAS-Result: ArICAPfQnFHBiCcQnGdsb2JhbABbFoMiAYM6uhSFOQ4BAQEBAQgUCTsBgiUGAQELDwYPARMKFQMUAwECBgIkAiIEAgIDAV8BDAUWh3YIqXKRXIEmjDUKhACBEwOXOIEphGITjjI7gSwJFw X-IronPort-AV: E=Sophos;i="4.87,721,1363129200"; d="scan'208";a="15298463" Received: from mail.dcc.fc.up.pt (HELO smtp.dcc.fc.up.pt) ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 May 2013 16:07:53 +0200 Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 46E551BF984; Wed, 22 May 2013 15:07:47 +0100 (WEST) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 14774-01-7; Wed, 22 May 2013 15:07:47 +0100 (WEST) Received: from servicos.dcc.fc.up.pt (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 2D3EA1BF965; Wed, 22 May 2013 15:07:42 +0100 (WEST) X-Original-To: logicprogramming@dcc.fc.up.pt Delivered-To: logicprogramming@dcc.fc.up.pt Received: from localhost (localhost [127.0.0.1]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id 9FD1C1BF91D for ; Wed, 22 May 2013 15:07:36 +0100 (WEST) Received: from smtp.dcc.fc.up.pt ([127.0.0.1]) by localhost (servicos.dcc.fc.up.pt [127.0.0.1]) (amavisd-new, port 10025) with LMTP id 14771-01-11 for ; Wed, 22 May 2013 15:07:33 +0100 (WEST) Received: from [192.168.50.20] (phobia.dcc.fc.up.pt [192.168.50.20]) by smtp.dcc.fc.up.pt (Postfix) with ESMTP id A22D31BE9B9 for ; Wed, 22 May 2013 15:07:33 +0100 (WEST) Message-ID: <1369231653.2244.187.camel@phobia.dcc.fc.up.pt> From: Ricardo Rocha Date: Wed, 22 May 2013 15:07:33 +0100 Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.4.4 (3.4.4-2.fc17) Mime-Version: 1.0 Content-Transfer-Encoding: 8bit To: undisclosed-recipients: ; X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Spam-Score: 0.802 X-Spam-Level: X-BeenThere: logicprogramming@dcc.fc.up.pt X-Mailman-Version: 2.1.4 List-Id: logicprogramming.dcc.fc.up.pt List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: logicprogramming-bounces@dcc.fc.up.pt Errors-To: logicprogramming-bounces@dcc.fc.up.pt X-Virus-Scanned: by amavisd-new at dcc.fc.up.pt X-Validation-by: ricroc@dcc.fc.up.pt Subject: [Caml-list] CICLOPS 2013 - Last Call For Papers CICLOPS 2013 - Call for Papers ============================== 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems http://akira.ruc.dk/~cth/ciclops13 Istanbul, Turkey, August 24/25, 2013 Co-located with ICLP 2013 Important Dates =============== Abstract Submission: June 1, 2013 Paper Submission: June 8, 2013 Notification: July 1, 2013 Camera-ready: July 13, 2013 Workshop: August 24/25, 2013 Topics of Interest ================== CICLOPS is a well established line of workshops. This will be the 13th edition in a successful series of workshops which is traditionally co-located with ICLP. The CICLOPS workshop aims at discussing and exchanging experience on the design, implementation, and optimization of constraint and logic programming systems, and other systems based on logic as a means of expressing computations. Preference will be given to the description and analysis of real implementations and their evaluation, problems found in their design, steps taken towards the solutions, as well as descriptions of work in progress in that direction. The workshop topics include, but are not limited to: * Design and implementation of sequential, concurrent and distributed constraint and logic programming systems. * Compile-time analysis and balance between compile-time effort and run-time machinery, dynamic compilation. * Interaction between high-level optimizations / transformations / specialization and low-level issues. * Memory management, garbage collection, indexing techniques and optimizations for large size programs. * Implementation of logic engines in functional and object oriented languages. * Embedding of constraint and logic programming engines in multi-paradigm systems. * Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.). * Implementation of theorem provers, proof assistants and logic based natural language processing systems. * Object and module systems. * Design and implementation of declarative I/O concepts for constraint and logic programming languages. * Documenting, debugging, testing, and profiling tools for constraint and logic programming systems. Submission Information ====================== Authors are invited to submit papers in PDF using the Springer LNCS LaTeX format. Submissions must be written in English, not exceed 15 pages, and describe new, original and unpublished research results or work in progress. Submissions will be handled by the EasyChair conference system at: https://www.easychair.org/conferences/?conf=ciclops2013 We plan for the informal workshop proceedings to be available on-line at the Computing Research Repository (CoRR) after the workshop. An electronic copy will also be distributed during the conference. Program Committee ================= * Ricardo Rocha, University of Porto, Portugal (co-chair) * Christian Theil Have, Roskilde University, Denmark (co-chair) * Bart Demoen, Department of Computer Science, KU Leuven, Belgium * Daniel Diaz, University of Paris 1 * Enrico Pontelli, New Mexico State University, USA * Jan Wielemaker, VU University Amsterdam, Netherlands * Jose F. Morales, IMDEA, Spain * Michael Hanus, Christian-Albrechts-Universität zu Kiel, Germany * Neng-Fa Zhou, Brooklyn College, USA * Nicos Angelopoulos, Netherlands Cancer Institute, The Netherlands * Paulo Moura, INESC/CRACS, Portugal * Peter Szeredi, Budapest University of Technology and Economics,Hungary * Salvador Abreu, Universidade de Évora and CENTRIA, Portugal * Terrance Swift, New University of Lisboa, Portugal * Tom Schrijvers, Ghent University, Belgium Contacts ======== For additional information about papers and submissions, please contact the Program Chairs: * Ricardo Rocha University of Porto, Portugal Email: ricroc@dcc.fc.up.pt * Christian Theil Have Roskilde University, Denmark Email: cth@ruc.dk ===================================