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 E68878015D for ; Fri, 26 May 2017 09:55:31 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dario.dellamonica@uniud.it; spf=Pass smtp.mailfrom=dario.dellamonica@uniud.it; spf=Pass smtp.helo=postmaster@EUR03-DB5-obe.outbound.protection.outlook.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dario.dellamonica@uniud.it) identity=pra; client-ip=40.107.4.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.dellamonica@uniud.it"; x-sender="dario.dellamonica@uniud.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dario.dellamonica@uniud.it designates 40.107.4.84 as permitted sender) identity=mailfrom; client-ip=40.107.4.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.dellamonica@uniud.it"; x-sender="dario.dellamonica@uniud.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@EUR03-DB5-obe.outbound.protection.outlook.com designates 40.107.4.84 as permitted sender) identity=helo; client-ip=40.107.4.84; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dario.dellamonica@uniud.it"; x-sender="postmaster@EUR03-DB5-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AUtXDRhZl1VbS5/s8Gbqk6+r/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsy7Yx7h7PlgxGXEQZ/co6odzbGH7ea9BiRAuc/H6yFdNsQUFlcsso?= =?us-ascii?q?Y/oU8JOI2/NQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFsJ6s1yxbFuHtFdu?= =?us-ascii?q?ZLzm9sOV6fggzw68m08ZNh6Shcp+4t+8tdWqjmYqo0SqBVAzshP20p/sPnsgXN?= =?us-ascii?q?QxWS7XUGSGUWlRRIAwnB7B7kW5r6rzX3uOlg1iSEJMP6Vb87Vyis4KdtUx/olT?= =?us-ascii?q?wINyUl/2HNi8x/l7xUrRS8rBFi2YHUYYWVNP1jfqPBeN4RWGRMUtpNWyFHH4i8?= =?us-ascii?q?aooPD/EaPeZZqYn9qEYFowWnCwKxCuPvyyFHhnvr0qYn1+gsHx3K0AkmEtkTsn?= =?us-ascii?q?rbsc/1Ob8SX+6oz6fGwzvMYPxK1jny6YjFaQwhrPKWUL5sbcbcx0siGgXYhVuQ?= =?us-ascii?q?s4zlODaV2/wDvWeB9epgVOWvgHMppQ5vpjivwt0jgZTOiIISzFDE9Dl2z5woLt?= =?us-ascii?q?C/VUF0e8SkEJpXty2AKoR5XMciQ2VytyY/zb0Gv5+7czQQx5k82h7fbf2Hc5WV?= =?us-ascii?q?7R75VeaRPS51iXR4c7yxgBay9FKvyuz6VsSszVZKqCtFkt/WuXwX1hzT9tCLSu?= =?us-ascii?q?Nn/kem1jaPzRrc6uRBIU8ulKvbKpkhwrgumZoXtkTDES72l1nsg6OMd0Uk5vCk?= =?us-ascii?q?5Pr9bbX9pp6TK490hRv/MqQ0gMC/Bv44MgcWU2eH5+u8yafj8VT3QbVRlPE2lb?= =?us-ascii?q?PZsJ/cKM8GpaC5GxdY34k/5xqlEjuqzNYVkWMIIV5fex+KgJDlN0zKLf32F/uz?= =?us-ascii?q?nlehnTRxy/3JPLDtGJrAI3vFnbz8Z7hy8VRcxxA2zd1H55JbFLUBIPXrV0H+ut?= =?us-ascii?q?PWEgM1PgKtz+jpFdhw1poSWWWUDaCHKq/StkKI5v40LOmLeY8VvivyJ+I95/70?= =?us-ascii?q?in85hUEScrW13ZsWb3C4GO5qI0KEYXrwhtcBFmAKvgkkQOP2j12CVCZfZ3e0X6?= =?us-ascii?q?0i+jE2EI2rAZvZSoywnLCM3j23E5JMam1FBV2ACXLoeJ+FW/cIZiKSOMhhkjkc?= =?us-ascii?q?WLe8UYAhzxCutAjgx7V6MOXU/ikYuojm1Nhy4e3TlA09+iZvAsSA1WGNTnx0kX?= =?us-ascii?q?4SSz83wKBzuVZ9xUub0ahkn/xYEsRe6O9TXQc/MZ7Q1uh6C9HpWgLdZdqJU1an?= =?us-ascii?q?QtC+AT4rVN4xwtkOY1x8G9q4lBzD0TCqUPc7jbuOUbA96KPbl1T8I8J0g1PB0q?= =?us-ascii?q?gqhhFyTsJVNGrgiqN78wHWAIjImEyxiqCraKha3TKbpzTL9naHoEwNCF04aq7C?= =?us-ascii?q?R31KPRPb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CKAAAO3idZh1QEayhdRwEXAQYBgnMoZ?= =?us-ascii?q?X8OB4NoiwuQToETjDmFPIMSgg8sgkKDNiiDHRgBAQEBAQEBAQEBARIBAQEIDQk?= =?us-ascii?q?IKC+CMwyCUSwGDwEFCAEBBx8RATQCJgJJIwEFAgEBhW6EIAMYAQyeewKLBWqCJ?= =?us-ascii?q?oMJAQEFhCUYhAYBAQEBAQEEAQEBAQEBGggJAYEBhzEBKwuCMoFwgWiBEwsEAwG?= =?us-ascii?q?DLhOCTYlMlFyBG4YFjAiCW4gwhmyTEQGBPB+BNwswIYFvD4QCDAQMgWV0AYZLA?= =?us-ascii?q?g0XB4EDAYEMAQEF?= X-IPAS-Result: =?us-ascii?q?A0CKAAAO3idZh1QEayhdRwEXAQYBgnMoZX8OB4NoiwuQToE?= =?us-ascii?q?TjDmFPIMSgg8sgkKDNiiDHRgBAQEBAQEBAQEBARIBAQEIDQkIKC+CMwyCUSwGD?= =?us-ascii?q?wEFCAEBBx8RATQCJgJJIwEFAgEBhW6EIAMYAQyeewKLBWqCJoMJAQEFhCUYhAY?= =?us-ascii?q?BAQEBAQEEAQEBAQEBGggJAYEBhzEBKwuCMoFwgWiBEwsEAwGDLhOCTYlMlFyBG?= =?us-ascii?q?4YFjAiCW4gwhmyTEQGBPB+BNwswIYFvD4QCDAQMgWV0AYZLAg0XB4EDAYEMAQE?= =?us-ascii?q?F?= X-IronPort-AV: E=Sophos;i="5.38,395,1491256800"; d="scan'208";a="225197054" Received: from mail-eopbgr40084.outbound.protection.outlook.com (HELO EUR03-DB5-obe.outbound.protection.outlook.com) ([40.107.4.84]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA256; 26 May 2017 09:55:30 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniudamce.onmicrosoft.com; s=selector1-uniud-it; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version; bh=TkYNT0uo2rXZKr0iSEB2QDefIQJ2y2/evyJG8BIe/Wg=; b=lytOIwdcvAE9e9X55xXUuWQt6wU+jjeOHQoODewGuQ1tY+Q9GRasEbePZP5ry0us2t46n+w1QI39gT3h+pF3/3FHX6vmUzTIvt+AZRP7TEyFkN3MnyhMS1cAnXFnTbzDiHY5bcpTcqO7hTAGw5gV5rOELHVVBAbNTzvaCcxXFnY= Received: from [10.68.106.168] (193.188.47.48) by DB5PR0301MB1992.eurprd03.prod.outlook.com (2603:10a6:0:35::28) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256_P256) id 15.1.1124.9; Fri, 26 May 2017 07:54:20 +0000 CC: Dario Della Monica From: Dario Della Monica Message-ID: <5e88067b-ac9c-6109-425e-48d3eaa06bb7@uniud.it> Date: Fri, 26 May 2017 09:54:14 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US X-Originating-IP: [193.188.47.48] X-ClientProxiedBy: AM4PR0802CA0019.eurprd08.prod.outlook.com (2603:10a6:200:57::29) To DB5PR0301MB1992.eurprd03.prod.outlook.com (2603:10a6:0:35::28) X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: DB5PR0301MB1992: X-MS-Office365-Filtering-Correlation-Id: 7f6da39f-845f-47f8-2d69-08d4a40c907c X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(22001)(201703131423075)(201703031133081);SRVR:DB5PR0301MB1992; X-Microsoft-Exchange-Diagnostics: 1;DB5PR0301MB1992;3:qubt3ouhsTOOoju6GSbRwPSL/OeerNqd3Xke3mVC0yfkFxJOmM7vk8a7Rb640uzSro+0eW8x1q2EWrraQYNDkiNuYK5peuXlCePRcNkfoAnUc3jybVvYBQ71B7o9zvD294b8U6SzzCs31r5VcbyZ3RWLQ8MqAIswcFneThDSG6woAVLPsDDBmw0K134dgNt6qgr/UtW59oSR+0em8tfDpDTAyGJ/hgRSDsiok81oYTAAw2+ydxO9EclQF/Yk/F5Au24wIfJgVANGLXP0y220/lDTsqMTtGbpTqwjAW6NXcE2uTEmqVj+RAW2eFz3jOk3OijZltCK65JYIQl6rb5Pgw==;25:5ssY9ZF/woAhIVg84Nt6o9gjFssqZucwQ5X9l7cTzSYg4EG7B93l2HaiD7x2wt+E6CTuzGHtZbbRrIWQOzq66KGreWndP0fO5vl6xpMGrbfCPPJhnwO6FwZ3cGWmRY39I4WpX4xITjh2JtqenMNtTsN/4L12iU816vqaoFKZXsnBfw6nLrKVls6sCHbueuagwW+BHCX3Qf+qCHUmv0fNLx5j6m0KKebDSkl+nySFg5O3LIrkJ7XfvJofxf6J675l3DzNo7Lqlhm6HlhxqVwLLMQF+EUdcfYNKss6rKOpjFgbMNeHknyMVlzr4YLN8txF6XHjjydryZh+l8zHH+gXZTyt4mDWTG3ZSujJ1n25QrPgL2FIGGkK9sE//0m6CaahZTgiWmfpGpc9Cn2C9Y7R2f06uujsuNMwpIhPat+O2F13ywhh51WhParghSvp22gq+lhKbsLMMCu3JluWevkUk9DtFqAWMFoL2aMveRZqtfk= X-Microsoft-Exchange-Diagnostics: 1;DB5PR0301MB1992;31:XFXlCkJD6v3ht9QGT50jp5huPPwemuac6SItUUnBno8uSTtREbAln3CFRAy0hrlDrZ0QM3VoIQMCV9BfynbyaRcsgWeZLd6VQsJGEPTo9rnfmRr+CekduA95aoiF3AlEa6jEhi8NiCzvb5ppt4UzSeAsAzH3/bEVQPrS29AVy/44bf73k643L/1x+C/Na4ns8q+btlmQwMjAiC3Vcoz9qjETM8YAcEhfN45IT636sraEvV8JjFvI3zqJH0pFKZCNQSlpF3fQtFPmR0Lso8xGiw==;20:WDSVfZd9eNBFJP2sFbg/9yYkGQWmink0vnv/TwUtaVJUvzQnROAWgDplL0ZKEgFvBcDwHdqtibg7hp2QZrh/+s9EVSwClQSBy81UwTqCzTq9LH+/d2U9DO37KjA7Rn0GmoNJFg2vYg6zogzLK0ClEDrzbycPU1WkAz7ibX3l59hcWS2sAwhDUDfpBDGcck5MOmAO/XDbNTvfbAZN1QCZJ0cO62AzVNu609P6hCORBOBj6wVewroFuDY4SEmiaqBBkNeWmCO1YHE396xB4hrM/1gLlDEC5YFKCbHAgAMpEBjNDycbvxCQ9BHDeE0tV5tR/reB80mNeVfJtp1SM2pJWez3Wvs8ls6njQkyxFuUcx8jgAoYZCDIfxBrRX4VI0i+xHk38jVf6bGQyg/j95NumWL1/7nqbfIRPGwSRW1hZY4FaL/3fz8ZqZhP6GKPtVVHQhmYFv0Mj4QhYFA9Av32YAzI+Cxm0jUKB2rZk+dae9VN8TbDFO15M80s3W0+KdEE X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:(278428928389397); X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(6040450)(601004)(2401047)(5005006)(8121501046)(3002001)(93006095)(93001095)(10201501046)(6041248)(20161123560025)(20161123558100)(201703131423075)(201702281529075)(201702281528075)(201703061421075)(201703061406153)(20161123555025)(20161123564025)(20161123562025)(6072148);SRVR:DB5PR0301MB1992;BCL:0;PCL:0;RULEID:;SRVR:DB5PR0301MB1992; X-Microsoft-Exchange-Diagnostics: 1;DB5PR0301MB1992;4:qsiDg41jhDbSSe4oRD9X+tQx6x3JRhpYzt6NG3k3L2VD5Naliw1o0uYI56g1cBLpzoiVFTSHMOmEHdmW7HoXqbKXv2kEci3AKS/AtYCNtU5KNsiZxQhSEo9nrK/4UxfQcl4R/DyNbK4YphzpdBD1HyFHpj7VxFMUMmOgBWcx5jvxseNZIArwgPbpRlbsEv7au3q6GEcwc1EaEChG7NdrNUqi9XaWr2Epyhrv6IDA6ScxxJ67nqm0ZxPQbKiQ/zpbdAbo1ZyQ8sIwqlDVvOyEaCO5eVYuQUucZYXdu+in2xzR65f6dPi0Ow9kcSx/+lgduNxuARjtgEwjSLDVIUbyJDsiNNBBu+kbw6irDx5MEwLxRVT2pVCxq7Ick+wrifeVab4VWYmoLQG9MsvqtMb2u/ZoMDHm4svKxMrLpMdkP4lRIDYLm/MrxRubGQfQBrtAWMULFVyZhMn4hdxgE6c25fF7ns2E3gv02k0+0Bl5/G+7hiexL5ePR4Cn1nXBbJJnSt9CTs2OT1+uSOTtRHaIFW5olpXM4atEz+EfawfoFg9roIs7vHIhYr0xJKeWMtL9aT4uvPNuQCVf19rwQqQGII1OZUG43PV2JAhaqZPm7O4ogU0phqrAYIRf9+vy/OlQJ1s8DxOERN3siWxglypKx4Y2JIODWJFqreDJnVpoRiJRwNNDBWceUkW90VEVonISZtP1aHs6XVWRKxBiQDWb4rvjNvAHeiq67xZnxWCIx2qQ9B7DG8nt0RjsusLg5YJy44h9Z8ndeLYsPk1/DywcyI+cA4KvuICdm0dQxwf8QqMGHcujo6Ac32kY1tuI7/hRpcPmo0zIBLZtlB59/L0ziPD0CpzSflVv7czjSF47pTc= X-Forefront-PRVS: 031996B7EF X-Forefront-Antispam-Report: SFV:NSPM;SFS:(10009020)(4630300001)(6009001)(6049001)(39410400002)(39400400002)(478600001)(33646002)(50466002)(4326008)(74482002)(15974865002)(966005)(65956001)(54356999)(189998001)(42186005)(50986999)(25786009)(31686004)(64126003)(83506001)(47776003)(1671002)(6116002)(36756003)(3846002)(31696002)(6486002)(7736002)(77096006)(305945005)(59246006)(5660300001)(4001350100001)(2870700001)(23676002)(8676002)(2906002)(81166006)(6666003)(86362001)(53936002)(38730400002)(7336002)(7406005)(7416002)(6306002)(110136004)(225293001);DIR:OUT;SFP:1101;SCL:1;SRVR:DB5PR0301MB1992;H:[10.68.106.168];FPR:;SPF:None;MLV:sfv;LANG:en; X-Microsoft-Exchange-Diagnostics: =?utf-8?B?MTtEQjVQUjAzMDFNQjE5OTI7MjM6WEcrVVFtK0xidkphNWdQRm05ZmlCTjIy?= =?utf-8?B?MlVVSStRMDZ5T3h6cG8yWkg3TzE2RVNSVXJvcE1oVEFRaklpYmFDbW5leVF3?= =?utf-8?B?anhvbWtEQ0pLNk1jcXdmWktYMVhvSWdkdGdFVWxoR3RMWm05WU5xRjNXZ0dB?= =?utf-8?B?S09GSG1nbCtaVUNnOUZhcG9FKzZ6cnRZekNMOTZMc285YklIWEJGQlZZYXht?= =?utf-8?B?V1BETTlrbzJadnBqN3p4enBTT2lPSnRabWhXVEQxTkg5cUdjUjJvYWhrSzhC?= =?utf-8?B?WVNTSzl0QjBmMnpRakwzaTB4UktFWVpCVFRtSFJRMVZWa2FwRVVnb1pPRjNo?= =?utf-8?B?c3ZQdnpNcVdha2pRcGpIWE9mSGQ4TGNaS3RqOEN6cFVPRGl6TjN4WjR0eEtO?= =?utf-8?B?QjJOcUx4ZWpaR1RlUExxU1YweXBJL0xvZXJQMS9FK0JwSFY3NDZNN0JIQURV?= =?utf-8?B?amkycncvL1Z6MHVWNGFCUThwWFF1aWsyVnJ2VEh0U0JTOG83RXBsN0kreXlX?= =?utf-8?B?L0pqVEFGL2JQTUdWRnJZNzloMndYNnJLNmc2M0t5dXRwajAwUVFja1NmVDQv?= =?utf-8?B?QkhWYnhwNkV1WnZqUGtXc0FNZ1lYSTR1SndWanpKZ2tPRTYvc2RteER6VjdW?= =?utf-8?B?bGp2bmJyZ24rNHc4WUJLb0Njd3RJWTJFYTBoVi9HTFBTOUpycmkxZk83ZU9Y?= =?utf-8?B?NHQ2VGp0VmNJNFNqT0ZQQjVyQ1V5VG44b01KOWZoR1ovUVM4WHk1Z1gvSXdF?= =?utf-8?B?UW1Vbk9nTjZEcjNwN2d3eW9vREF1K2Jaam84Y2ZSbS84YVBybUNpTE5BVzRC?= =?utf-8?B?VjUyVyszdDdKZWJLNWdCbFpxc3lneFRTMUg0V1NRbXd3ckxVdHN4dlFmbjBN?= =?utf-8?B?cFlKNWs5b0txUmhocVB1TDN1WERHV3JSaWpBVHBzUzNXTHI1YlFuOU1QR2lH?= =?utf-8?B?dTE3Y1YvTVJGNnpscEpVS043STlZbWlpcUdmOWt3T1B1UlhtZW5OaDNPVStN?= =?utf-8?B?RnZYTW1VUEpXQjFNR1pVQkVmQ1BKTDRjbml5bU5STWhQaEtMR0gwMm1uZEY2?= =?utf-8?B?RGlMZE1WcEZEQmNBTGJRSWt6b1RHdXh3bXhLajFPbU9oWTExRXo0U0E0bFBK?= =?utf-8?B?MmpGeHg0ZVM0TmRJb3VTbTRMQXF1VmpQTVJUbUt5am1lSlg0M3lybWRsSXpD?= =?utf-8?B?RURlSHU5dEdpREg2MEtxTWtzWmtNRlJlRnpEOFBiZFRTOS8wUGplQmlFNkFN?= =?utf-8?B?TEJpdi9GLzZnYVk3eGw1MWM2TmpmWVRkc1V0UGtVa2luV1NhajlPcmY1UmdQ?= =?utf-8?B?eld4YTBwQjMyUmZSdm8wN1Y2aCtGVnBKazVPVkVOWHFBTjhGVm9VTk1FYWR5?= =?utf-8?B?dkpYUkF4OXNidUhZVGxXY2F3Zi93Qy80SWtaK0VmR2NLMjRJYnI4MStVQVlk?= =?utf-8?B?aXFnUEpFQTJLd25KMG9vQ1Z2a0R6d3U5NkJOMlI1U1cvV2t3QW1QM01WM0Jv?= =?utf-8?B?Q1A2R2NNZ2NKV0ZYMkFaTkFnZHlJczRzSlg2YjJUc2krVktKeUFVN05EVW1U?= =?utf-8?B?blQ3QXFlTDJVOGJhZVc2T2cyTGZIVmljeHBkQzBEYXUyUTROYWFKMFNSb2hq?= =?utf-8?Q?7zExIPPZssruA31ef6fPah?= X-Microsoft-Exchange-Diagnostics: 1;DB5PR0301MB1992;6:sLr6pi0gaUTNGLKyBmPMGV+z51yqOL9t9mMjP9+lMG89KSOh5HnLdotR5gFxBYHsvkg0QbxzClWvdJU3Zba/ebj+NAlFKflBPhfU6/HGMUMrdqevVmnvcdzPC9YsSaBUu22uArVPHI56hkuYK9HGmPBXTpQJ42sgkllCuSfTZ6dL/csT3I4PLJyAhcZ9R6YxM3G0dF2k+J0BrV3EPNbTho3tJs9feP+Tj/3X6ZpfLkUPDXOJPJUWQeW+PihqX57McIlscVE5j2V/3ZLq0KKJyyMPg3FK+Y43/fJumhP1cfmrWnodTPVUixfXWcCUq9zovN4zeeYIWLUT3EMrSrMd1wGuxqS2emnX8rw64TY1M2AxZO5os4gjsDSbdv2W8v4yYGtTNqOopQIKdEEbHEs5iLrTqdDLIPRZZrIHf22/ZQ0xEKCzoI8CDpCdbYB8cbFQsAoOY7P96vsiCC8hKy+rHZxlez8xDjJd8xda0xR5ll2x9QkC4b8n25ZFtWWaTIGKJPdsdxKsC28DFVsArVxkDA==;5:jlbX19n+r75MVdDAGohYzt67/CLFgLznEes5FFpt1KQluUYb1NzuPJd4a73EpM4+XO/5mMx4LnUCUgpAga+ZBur2Ha5RIMNA0mOnzAI76wQG7jLzbwgenfXHAau9CKyfWfPqKJ+Vk0jyeFeD+F1iEA==;24:a5dlA4qQHYeEbpJeISioboMeeXLSO+w6WcHqr6DxYgnYToQioJkXl/n1dFsPZkuBEvbQNFII5jrL0EacgMKYrQ1uy6oTmRndzZN9Z7hT2ZA= SpamDiagnosticOutput: 1:99 SpamDiagnosticMetadata: NSPM X-Microsoft-Exchange-Diagnostics: 1;DB5PR0301MB1992;7:Hn45CV3z76RIafBHMIr67uwCkrXiGUCmbkMBd1P6Lqdo/W6FCjUoyCIAfv5rbl0ihwUr2hhDzV+Cf1osTMZKYQPNFCrhgPavsxN2JO3e2EaG6iSK7S7lDsT4pE1FK+6Xi1dAqhlopQhP5NJdllhHPWEdJgF3k7sDkvg6HT9TWPATpW7TOmyzFvJAV4qaks/2Oxprvt5ZBJak5hfvEk/gzOfTUXWPNlrJnURhOX82GY4ZPbbePXHfl7r7MNugZaOdvxKcyoVAEyJtMiZL4zdbhf05Le1fcsrPKIHvAHwqRT7WpkAhCumELuPcYx9YaXCBPeqmtBqP4hUxwmfU5CLoqw== X-OriginatorOrg: uniud.it X-MS-Exchange-CrossTenant-OriginalArrivalTime: 26 May 2017 07:54:20.2457 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR0301MB1992 X-Validation-by: dario.dellamonica@uniud.it Subject: [Caml-list] CILC 2017: call for papers---extended deadlines We are happy to announce extended deadlines for the following event. Feel free to forward this message to whom it might interest. ********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 7 June 2017 Notification of acceptance: 7 July 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017@easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/