From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E9DC1BB84 for ; Tue, 15 Jul 2008 15:28:50 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYDAHJDfEiGOigDX2dsb2JhbACSLhcFCBmbaA X-IronPort-AV: E=Sophos;i="4.30,366,1212357600"; d="scan'208";a="13130196" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jul 2008 15:28:50 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6FDSomO002796 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 15 Jul 2008 15:28:50 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtYDAHJDfEiGOigDX2dsb2JhbACSLhcFCBmbaA X-IronPort-AV: E=Sophos;i="4.30,366,1212357600"; d="scan'208";a="13130192" Received: from hermes.cs.kuleuven.be ([134.58.40.3]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jul 2008 15:28:50 +0200 Received: from dr-zook3.cs.kuleuven.be (dr-zook3.cs.kuleuven.be [134.58.41.22]) by hermes.cs.kuleuven.be with ESMTP id m6FDSnaT030270 for ; Tue, 15 Jul 2008 15:28:49 +0200 Received: from localhost (localhost [127.0.0.1]) by dr-zook3.cs.kuleuven.be (A_Good_MTA/8.13.4/Debian-3sarge3) with ESMTP id m6FDSnOs008361 for ; Tue, 15 Jul 2008 15:28:49 +0200 Received: from dr-zook3.cs.kuleuven.be ([127.0.0.1]) by localhost (dr-zook3 [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 08354-01 for ; Tue, 15 Jul 2008 15:28:40 +0200 (CEST) Received: from nifl.cs.kuleuven.be (nifl.cs.kuleuven.be [134.58.41.14]) by dr-zook3.cs.kuleuven.be (A_Good_MTA-RX/8.13.4/Debian-3sarge3) with ESMTP id m6FDJt4W005481 for ; Tue, 15 Jul 2008 15:19:55 +0200 Received: from dizz.cs.kuleuven.be (dizz.cs.kuleuven.be [134.58.43.51]) by nifl.cs.kuleuven.be (A_Good_MTA/8.13.4/Debian-3sarge3) with ESMTP id m6FD8Yib017690 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Tue, 15 Jul 2008 15:19:55 +0200 Received: from dizz.cs.kuleuven.be (localhost [127.0.0.1]) by dizz.cs.kuleuven.be (A_Good_MTA/8.13.4/Debian-3sarge3) with ESMTP id m6F9tfCD007404 for ; Tue, 15 Jul 2008 11:55:41 +0200 Received: (from joost@localhost) by dizz.cs.kuleuven.be (A_Good_MTA/8.13.4/Submit) id m6F9tfXv007403 for caml-list@inria.fr; Tue, 15 Jul 2008 11:55:41 +0200 Date: Tue, 15 Jul 2008 11:55:41 +0200 From: Joost Vennekens Message-Id: <200807150955.m6F9tfXv007403@dizz.cs.kuleuven.be> To: caml-list@inria.fr Subject: LaSh08: Last Call for Papers Reply-To: lash08@cs.kuleuven.be X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.kuleuven.be X-Miltered: at concorde with ID 487CA612.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; solver:01 aggregates:01 model:01 model:01 genova:01 claessen:01 uppsala:01 frisch:01 genova:01 lash:98 lash:98 enrico:98 kentucky:98 eugenia:98 kentucky:98 LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Final Call For Papers Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 ................................................................ IMPORTANT DATES: Submission: August 15, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: In many real-life problems, we search for objects of complex nature -- plans, schedules, assignments. Such objects are often represented as (finite) structures, which are implicitly specified by means of theories in some logic. Thus, languages are needed to describe structures, and algorithms to extract them from these implicit descriptions. Propositional Satisfiability (SAT), Constraint Programming (CP), and Answer Set Programming (ASP) are arguably the three most prominent areas that develop such languages and techniques. Each of these areas has been proposed as a declarative programming approach to solving NP-complete combinatorial problems. Such problems abound in computer science, engineering, operations research computational biology and other fields. In many cases, progress is limited by the difficulty of designing implicit representations of structures (modeling), which hinders common acceptance of the aproach, and the inability to solve sufficiently large instances of the problems in practical time bounds (search algorithms). Therefore, these three areas have as a major goal the development of practical modeling languages and methodologies that support the modeling, and algorithms and tools for efficient problem solving. Despite the similar goals of these areas, in many respects SAT, ASP and CP develop as three independent disciplines, focusing on rather different particular problems or questions. There are few, if any, researchers who are experts in all three areas. To date, we are not aware of any meeting which specifically aims at bringing these three areas together. Objectives ========== LaSh08 aims to offer a discussion forum for research in SAT, ASP and CP that focuses on the computation of structures from declarative descriptions. We invite contributions on modeling languages, methodologies, theoretical analysis, techniques, algorithms and systems. The forum is an occasion to exchange ideas on the state-of-the-art; to discuss specific technical problems; to formulate challenges and opportunities ahead; to analyse differences and simularities between the different areas; to study opportunities for synergy and integration. In particular, we would like to foster exchange at least on the following topics: -- integrations of SAT, ASP and/or CP technologies -- comparisons of modeling languages -- criteria for choice of modeling languages (for modeling convenience or efficiency) -- new algorithm directions -- efficient modeling strategies -- new applications -- complexity results, tractable subsets -- completeness results (e.g. capturing complexity classes) -- methods for taking advantage of tractability results -- SAT modulo theories -- solver implementation techniques, -- algorithms for grounding -- modeling languages and constructs (aggregates, global constraints,..) -- search control and heuristics in the context of model generation -- symmetry breaking in model construction -- optimisation problems in model construction: -- languages for optimality criteria; -- algorithms for computing optimal models Systems and Tools: =================== LaSh08 will also provide an opportunity for presentation of implemented systems and tools at a demo session. Thus, we invite submissions of systems and tools that reflect the above ideas, and aim at facilitating declarative problem solving, and making it practical and used. Workshop format: ================ The workshops objective is to create an informal, stimulating atmosphere for exchange of ideas. We invite also reports of work in progress. There will be informal proceedings. Invited speakers ================= * Pascal Van Hentenryck, Brown University, "Constraint Programming at Work ". * Robert Nieuwenhuis, Technical University of Catalonia, "The Barcelogic approach to search: fast and robust but expressive". Organizing Committee ==================== * Enrico Giunchiglia, University of Genova * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Eugenia Ternovska Simon Fraser University * Mirek Truzczynski, University of Kentucky * Marc Denecker, K.U.Leuven Program Chair ============= * Marc Denecker, K.U.Leuven Program Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * Koen Claessen, Chalmers University of Technology * Thomas Eiter, Vienna University of Technology * Wolfgang Faber, University of Calabria * Pierre Flener, Uppsala University * Alan Frisch, University of York * Enrico Giunchiglia, University of Genova * Daniel LeBerre, Universite d'Artois * Fangzen Lin, Hong kong University of Science and Technology * Ines Lynce, Universidade Tecnica de Lisboa * Tony Mancini, Sapienza Universita di Roma * Victor Marek, University of Kentucky * David Mitchell, Simon Fraser University * Pierre Marquis, Universite d'Artois * Ilkka Niemela, Helsinki University of Technology * Karem Sakallah, University of Michigan * Torsten Schaub, University of Potsdam * Barry O'Sullivan, University College Cork * Eugenia Ternovska Simon Fraser University * Mirek Truszcznski, University of Kentucky * Pascal Van Hentenryck, Brown University * Toby Walsh, University of New South Wales Local organisation ==================== * Marc Denecker, K.U.Leuven * Joost Vennekens, K.U.Leuven Location ========= The workshop will take place in the Beguinage of Leuven, Belgium. Leuven is an old flemish town, hosting the oldest university of the lower countries. The Beguinage is a medieval city in the city, where the beguines lived together to form a religious community. The Beguinage is recognized as a Unesco World Heritage site.