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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 230007ED25 for ; Fri, 12 Jul 2013 20:51:44 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of peterschueller@sabanciuniv.edu) identity=pra; client-ip=209.85.215.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peterschueller@sabanciuniv.edu"; x-sender="peterschueller@sabanciuniv.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of peterschueller@sabanciuniv.edu designates 209.85.215.181 as permitted sender) identity=mailfrom; client-ip=209.85.215.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peterschueller@sabanciuniv.edu"; x-sender="peterschueller@sabanciuniv.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ea0-f181.google.com) identity=helo; client-ip=209.85.215.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peterschueller@sabanciuniv.edu"; x-sender="postmaster@mail-ea0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkCAPdO4FHRVde1k2dsb2JhbABaFoMksDcBgTWQWWkWDgEBAQEHCwsJFAQkghssS2cbJAEFAUqFYYIZBAiXCIJ+jFCIeYgHjRCFPoERA4FNh1SPZIsBgz4/gn+BPA X-IPAS-Result: AnkCAPdO4FHRVde1k2dsb2JhbABaFoMksDcBgTWQWWkWDgEBAQEHCwsJFAQkghssS2cbJAEFAUqFYYIZBAiXCIJ+jFCIeYgHjRCFPoERA4FNh1SPZIsBgz4/gn+BPA X-IronPort-AV: E=Sophos;i="4.89,654,1367964000"; d="scan'208";a="25835870" Received: from mail-ea0-f181.google.com ([209.85.215.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Jul 2013 20:51:43 +0200 Received: by mail-ea0-f181.google.com with SMTP id a15so6622743eae.40 for ; Fri, 12 Jul 2013 11:51:43 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=from:subject:message-id:date:x-gm-message-state; bh=f4Yk7zyuK9nEzuWCWVILefiT+KpKlR4GxCMgWxNk09U=; b=Sy7feegHZM/A9xjSAr3ssHx7QX120yT0T1wmYQgKyeZenVq27u9rnHN7vDpe/lHuh9 Pqe5hynVlWGYCwUzCBFy0ibMUpxDvzHmlFmb9BA9VKVTe0uoxBmkkh3M6YSVLQ/hL2Fm ALLdRvITM3hnGjCyKKP9Kb031EmBn+1UCGSIFh9EFrx3a9Xk6LQ4ecT75ByNZUV5RQ7+ kkuFYrUz/KwmmlcO9DSLjsM0MG9ZGMy9c2vh8+OxKPf+o7ymVd78rmhG2H/fHsjR68Ck 4qhWXqVwqWW2s9pFM0XbUeyro5p/Cgd+ruoS2tUD3TpspfmSq1+rQbtuuD0q7JA3VXVY MEhw== X-Received: by 10.14.95.69 with SMTP id o45mr48746580eef.48.1373655103224; Fri, 12 Jul 2013 11:51:43 -0700 (PDT) Received: from vonneumann ([193.255.135.254]) by mx.google.com with ESMTPSA id cg12sm80745429eeb.7.2013.07.12.11.51.42 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Fri, 12 Jul 2013 11:51:42 -0700 (PDT) Received: from ps by vonneumann with local (Exim 4.76) (envelope-from ) id 1UxiQs-0001ai-4D for caml-list@inria.fr; Fri, 12 Jul 2013 21:51:06 +0300 From: peterschueller@sabanciuniv.edu Message-Id: Date: Fri, 12 Jul 2013 21:51:06 +0300 X-Gm-Message-State: ALoCoQmhmjfZQ3JpYsN1VeV24hvvakUMCmshOHE1fJwgLDS2cHIYJQVLG0tVVn3gJGMF80YRbPSs X-Validation-by: peterschueller@sabanciuniv.edu Subject: [Caml-list] Call for Participation ICLP 2013: 29th International Conference on Logic Programming, Istanbul, August 24-29 (Apologies for cross-posting.) CALL FOR PARTICIPATION 29th International Conference on Logic Programming (ICLP 2013) Istanbul, Turkey, August 24-29, 2013 http://www.iclp2013.org ACCEPTED PAPERS The list of accepted regular papers and technical communcations is available on the conference home page: http://www.iclp2013.org. INVITED TALKS * Pascal Hitzler (http://www.pascal-hitzler.de) Recent advances concerning OWL and Rules. * Torsten Schaub (http://www.cs.uni-potsdam.de/~torsten) Experiencing Answer Set Programming at Work, Today and Tomorrow. * Hans von Ditmarsch (http://personal.us.es/hvd) Dynamic Epistemic Logic and Lying. * C.R. Ramakrishnan (http://www.cs.sunysb.edu/~cram/) Probabilistic Tabled Logic Programming with Application to Model Checking. * Invited author(s) of the most influencial paper of ICLP/ILPS 1993. * Invited author(s) of the most influencial paper of ICLP 2003. WORKSHOPS, DC, AND CONTEST * 9th ICLP Doctoral Consortium, August 24. * 13th International Colloquium on Implementation of Constraint and LOgic Programming System (CICLOPS): August 24-25. * 23rd Workshop on Logic-based methods in Programming Environments (WPLE): August 24-25. * WG17: August 24-25. * 1st International Workshop on Knowledge Representation and Reasoning in Robotics (KRR): August 25. * 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP): August 25. * Prolog Programming Contest: August 27. See http://www.iclp2013.org/en/Workshops.html for further details. REGISTRATION AND ACCOMODATION Information about registration and accomodation is available at the conference web site: http://www.iclp2013.org. Early registration is until July 18, 2013. SPONSORS The conference is sponsored by the Association for Logic Programming (ALP), Sabanci University, and Artificial Intelligence: An International Journal. ICLP 2013 ORGANIZATION * General Chairs: Esra Erdem (Sabanci University), Joohyung Lee (Arizona State University). * Program Comittee Chairs: Evelina Lamma (University of Ferrara), Terrance Swift (New University of Lisboa). * Workshop Chair: Hans Tompits (Vienna University of Technology). * Doctoral Consortium Chairs: Marco Gavanelli (University of Ferrara), Martin Gebser (University of Potsdam). * Publicity Chair: Peter Schueller (Sabanci University). * Prolog Programming Contest Chair: Bart Demoen (KU Leuven). CONFERENCE VENUE Istanbul is a city of unparalleled social and cultural richness. It is as fascinating and historical as it is dynamic and modern. Serving as the capital of two mighty empires for sixteen centuries, Eastern Roman (or Byzantine) and Ottoman, and set squarely between two continents, Istanbul has cultures and traditions that blend East with West and Mediterranean with Anatolian. Each civilization that has made Istanbul its home has left its mark in sublime and splendid ways, and the result a city that gives one the feeling of universal history at every step. Istanbul has always been a meeting place, a crosspoint and a destination. With the Ataturk Istanbul International Airport, getting to and from Istanbul has never been easier. With a capacity of far over 25 million travelers per year Istanbul is less than a three-hour flight from most European cities. Istanbul has a second airport located on the Asian side of the city, Sabiha Gokcen International Airport, which is an important arrival point especially for low-cost airlines. Overall, Istanbul is served by more than 50 major airlines to hundreds of cities around the world.