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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 88A6EBBC1 for ; Thu, 6 Mar 2008 13:42:32 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGZ1z0fAXQInh2dsb2JhbACBVo8jAQEBCAopgQ2ZRw X-IronPort-AV: E=Sophos;i="4.25,455,1199660400"; d="scan'208";a="23437857" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2008 13:42:32 +0100 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 m26CgVYQ015710 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 6 Mar 2008 13:42:32 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACp1z0eGOigDnmdsb2JhbACBVo8jAQEBAQEGBAYHChiBDZlG X-IronPort-AV: E=Sophos;i="4.25,455,1199660400"; d="scan'208";a="8077407" Received: from mailrelay.cs.kuleuven.be (HELO hermes.cs.kuleuven.be) ([134.58.40.3]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2008 13:42:31 +0100 Received: from dr-zook3.cs.kuleuven.be (dr-zook3.cs.kuleuven.be [134.58.41.22]) by hermes.cs.kuleuven.be with ESMTP id m26CgVmI030428 for ; Thu, 6 Mar 2008 13:42:31 +0100 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 m26CgV1l029272 for ; Thu, 6 Mar 2008 13:42:31 +0100 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 29246-01-4 for ; Thu, 6 Mar 2008 13:42:31 +0100 (CET) Received: from nifl.cs.kuleuven.be (nifl.cs.kuleuven.ac.be [134.58.41.14]) by dr-zook3.cs.kuleuven.be (A_Good_MTA-RX/8.13.4/Debian-3sarge3) with ESMTP id m26Cd3rh028215 for ; Thu, 6 Mar 2008 13:39:03 +0100 Received: from ray.cs.kuleuven.be (ray.cs.kuleuven.ac.be [134.58.43.36]) by nifl.cs.kuleuven.be (A_Good_MTA/8.13.4/Debian-3sarge3) with ESMTP id m26CYGo0023811 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 6 Mar 2008 13:39:03 +0100 Received: from ray.cs.kuleuven.be (localhost [127.0.0.1]) by ray.cs.kuleuven.be (A_Good_MTA/8.13.4/Debian-3sarge3) with ESMTP id m26BbiaB026613 for ; Thu, 6 Mar 2008 12:37:44 +0100 Received: (from marcd@localhost) by ray.cs.kuleuven.be (A_Good_MTA/8.13.4/Submit) id m26BbiSS026612 for caml-list@inria.fr; Thu, 6 Mar 2008 12:37:44 +0100 Date: Thu, 6 Mar 2008 12:37:44 +0100 From: Marc Denecker Message-Id: <200803061137.m26BbiSS026612@ray.cs.kuleuven.be> To: caml-list@inria.fr Subject: LaSh08 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 47CFE6B7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.01; solver:01 aggregates:01 model:01 model:01 genova:01 uppsala:01 frisch:01 genova:01 lash:98 lash:98 enrico:98 kentucky:98 eugenia:98 kentucky:98 enrico:98 LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions 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 -- 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. 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 Committee ================= * Peter Baumgartner, The Australian National University * Francesco Calimeri, University of Calabria * 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 conference 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.