From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4QBXjqR028190 for ; Thu, 26 May 2011 13:33:45 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwAAF863k2eKvkJmWdsb2JhbABVG5dJjkgUAQEBAQEICwsHFCbGQ4YcBJA5hCuKZw X-IronPort-AV: E=Sophos;i="4.65,272,1304287200"; d="scan'208";a="109612625" Received: from marfik.cc.upv.es ([158.42.249.9]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 May 2011 13:33:40 +0200 Received: from smtpx.upv.es (smtpxv.cc.upv.es [158.42.249.46]) by marfik.cc.upv.es (8.13.6/8.13.6) with ESMTP id p4QBXdHm008362 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 26 May 2011 13:33:39 +0200 Received: from smtp.upv.es (celaeno.cc.upv.es [158.42.249.55]) by smtpx.upv.es (8.14.3/8.14.3) with ESMTP id p4QBXddQ025316 for ; Thu, 26 May 2011 13:33:39 +0200 Received: from mailhost.dsic.upv.es (postfix.dsic.upv.es [158.42.184.12]) by smtp.upv.es (8.13.6/8.13.6) with ESMTP id p4QBXcI4002908 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 26 May 2011 13:33:38 +0200 Received: from burton.dsic.upv.es (burton.dsic.upv.es [158.42.186.44]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mailhost.dsic.upv.es (Postfix) with ESMTPSA id 8B43177DB8; Thu, 26 May 2011 13:33:38 +0200 (CEST) Message-Id: <6BCF6023-2177-4E23-A1E5-82897EC8D230@dsic.upv.es> From: German Vidal To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Mime-Version: 1.0 (Apple Message framework v936) Date: Thu, 26 May 2011 13:33:38 +0200 References: <50E811D6-00B9-4A4C-BB63-CBBE50A4F707@dsic.upv.es> X-Mailer: Apple Mail (2.936) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4QBXjqR028190 X-Validation-by: gvidal@dsic.upv.es Subject: [Caml-list] LOPSTR 2011 - call for participation (our apologies if you receive multiple copies of this message) ============================================================ CALL FOR PARTICIPATION 21th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011 http://users.dsic.upv.es/~lopstr11/ Odense, Denmark, July 18-20, 2011 (co-located with PPDP 2011, AAIP 2011 and WFLP 2011) ============================================================ ONLINE REGISTRATION IS OPEN: http://www.imada.sdu.dk/~petersk/OLP/registration.html EARLY REGISTRATION DEADLINE: May 30, 2011 (next Monday!) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. SYMPOSIUM PROGRAM (tentative): Monday, July 18, 2011: 14:00 - 15:00: Session 1 * Thomas Stroeder, Peter Schneider-Kamp, Jürgen Giesl, Fabian Emmes and Carsten Fuhs. A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog * Olivier Namet, Maribel Fernandez and Helene Kirchner. A Strategy Language for Graph Rewriting Coffee break 15:30 - 17:30: Session 2 * Paulo Moura. Meta-Predicate Semantics * Jose F. Morales, Manuel Hermenegildo and Rémy Haemmerlé. Modular Extensions for Modular (Logic) Languages * Nik Sultana. A prototype refactoring tool based on a mechanically-verified core * Céline Dandois and Wim Vanhoof. Clones in logic programs and how to detect them Tuesday, July 19, 2011: 09:00 - 10:00: LOPSTR Invited Talk * John Gallagher. Coffee break 10:30 - 12:30: Session 3 * Wim Vanhoof. On the partial deduction of non-ground meta-interpreters * Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni. Using Real Relaxations During Program Specialization * Hirohisa Seki. Proving Properties of Co-logic Programs by Unfold/Fold Transformations * Rafael Caballero, Adrian Riesco, Alberto Verdejo and Narciso Marti- Oliet. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees Lunch break 14:00 - 15:00: Session 4 * Giovanni Bacci, Marco Comini, Marco A. Feliú and Alicia Villanueva. Automatic Synthesis of Specifications for Curry Programs * Jesus Almendros-Jimenez, Rafael Caballero, Yolanda García-Ruiz and Fernando Saenz-Perez. A Declarative Embedding of XQuery in a Functional-Logic Language Coffee break 15:30 - 17:30: Session 5 * Elvira Albert, Miguel Gomez-Zamalloa and José Miguel Rojas Siles. Resource-driven CLP-based Test Case Generation * Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano. Marker-directed optimization of UnCAL graph transformations * Sneyers and Daniel De Schreye. Probabilistic Termination of CHRiSM Programs * Paolo Pilozzi and Daniel De Schreye. Improved termination analysis of CHR using self-sustainability analysis Wednesday, July 20, 2011: 9:00 - 10:00: PPDP/LOPSTR Invited Talk * Fritz Henglein. Coffee break 10:30 - 11:30: PPDP/LOPSTR Invited Talk * Vitaly Lagoon. The Challenges of Constraint-Based Test Generation Coffee break 11:30 - 12:30: Session 6: * Pedro Cabalar and Stephane Demri. Automata-based Computation of Temporal Equilibrium Models * Demeyer and Wim Vanhoof. Proper Granularity for Atomic Sections in Concurrent Programs Lunch and Excursion ============================================================