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 BDE6B7FE36 for ; Mon, 11 Jul 2016 11:47:18 +0200 (CEST) IronPort-PHdr: 9a23:ZQ12eBOKuHk2L5j198Ql6mtUPXoX/o7sNwtQ0KIMzox0KPnzrarrMEGX3/hxlliBBdydsKMczbGL+PiwEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU1Jn8j7D60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9ZV2n8I4rd5roYACPi7LOwESul3AS4jOmZ92sznvB2LGQSR53cVVk0aiRtDRRXd8lf3RcGinDH9s79S1TOfNMu+c7E4UDDqu6h1SRPhjA8LLD8ytnzPlIp9l/QI81qauxVjztuMM8muP/1kc/aEIN4= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gvidal@dsic.upv.es; spf=Pass smtp.mailfrom=gvidal@dsic.upv.es; spf=Pass smtp.helo=postmaster@smtpsalv.upv.es Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gvidal@dsic.upv.es) identity=pra; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="gvidal@dsic.upv.es"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gvidal@dsic.upv.es designates 158.42.249.11 as permitted sender) identity=mailfrom; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="gvidal@dsic.upv.es"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtpsalv.upv.es designates 158.42.249.11 as permitted sender) identity=helo; client-ip=158.42.249.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gvidal@dsic.upv.es"; x-sender="postmaster@smtpsalv.upv.es"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AMAQAaaoNXhwv5Kp5chBR8uReBeh6HXRIBAQEBAQEBAREBAQEIDQkJIS+CMgQDgmQGAQEkAhIogRUTiDAFr0WFKgEBBYoICwEBAQEaCIYngXiBaDyERBEBg0iCL5kdhg2IRYFqToQKgn2FbZAPJQGCNROBWWyICoE1AQEB X-IPAS-Result: A0AMAQAaaoNXhwv5Kp5chBR8uReBeh6HXRIBAQEBAQEBAREBAQEIDQkJIS+CMgQDgmQGAQEkAhIogRUTiDAFr0WFKgEBBYoICwEBAQEaCIYngXiBaDyERBEBg0iCL5kdhg2IRYFqToQKgn2FbZAPJQGCNROBWWyICoE1AQEB X-IronPort-AV: E=Sophos;i="5.28,345,1464645600"; d="scan'208";a="226299969" Received: from smtpsalv.cc.upv.es (HELO smtpsalv.upv.es) ([158.42.249.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jul 2016 11:47:17 +0200 Received: from smtpx.upv.es (smtpxv.cc.upv.es [158.42.249.46]) by smtpsalv.upv.es (8.14.4/8.14.4) with ESMTP id u6B9kD8E019253 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 11 Jul 2016 11:46:13 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=upv.es; s=default; t=1468230376; bh=4SwY8HlxKSHczYgyoLEBk1RwjTcWKxp02nHRVVzz7zQ=; h=From:Date:Subject:To; b=JDnkBXXzNeNVbXz7ZCmP+xie3QOqz9UiD1ZkJNisi4041nbwjjnGK1XmbKQF0+zFd ZtydAwezOL0d5ICcWe7A6kXg+jDWMQE0gn5PvitkSnLudNS5VKTuL4s5NHDcpJbL45 wpRm75u9nd1tQFuhMdJZWRIMO0bmNQHVRFEu45LKREnHRkFyWw4tdL6D7G3O4nQa4J PlQsqAD6tSz+x/fpYyDYqqpI4AWk+0anjlrmWTSdUZVGioYDQnfymkaVwTEjbn+ctP d5AcDYYQU9CIQXbGRBnUgFovkYow9l2hp7i0L+yAYZSJBmx5jTcy8hKWU3VgRWnhbS n/8MYqidHOQmQ== Received: from smtp.upv.es (smtpv.cc.upv.es [158.42.249.16]) by smtpx.upv.es (8.14.3/8.14.3) with ESMTP id u6B9kCs2026729; Mon, 11 Jul 2016 11:46:13 +0200 Received: from burton.dsic.upv.es (burton.dsic.upv.es [158.42.186.44]) (authenticated bits=0) by smtp.upv.es (8.14.4/8.14.4) with ESMTP id u6B9k96G020918 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 11 Jul 2016 11:46:09 +0200 From: German Vidal Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Date: Mon, 11 Jul 2016 11:46:24 +0200 To: German Vidal Message-Id: <0146C73D-F74D-4AE6-90AB-6A8CD70232C1@dsic.upv.es> Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: gvidal@dsic.upv.es Subject: [Caml-list] 2016 Autumn School on Computational Logic (Apologies if you receive multiple copies of this email.=20 Please distribute to interested parties.) The 2016 Autumn School on Computational Logic will be held on=20 October 16-17, 2016, in New York, affiliated to the=20 32nd International Conference on Logic Programming (ICLP'16).=20 Researchers and PhD students are encouraged to attend. Student=20 scholarships are available (Deadline for application: July 20) Association for Logic Programming 2016 Autumn School on Computational Logic http://iclp16school.webs.upv.es/ October 16-17, New York, USA (Affiliated to ICLP'16) Researchers interested in research in computational logic are=20 invited to attend the 2016 Autumn School. The 2-day school is=20 suited for those who wish to learn advanced topics in computational=20 logic and logic programming. It will consist of four half-day=20 tutorials on the following topics: 1. Constraint Logic Programming Lecturer: Roman Bartak, Charles University, Czech Republic 2. Language processing through logic grammars and constraints Lecturer: Veronica Dahl, Simon Fraser University, Canada 3. Answer Set Programming: foundations and applications Lecturer: Torsten Schaub, University of Potsdam, Germany 4. Verification and probabilistic programming Lecturer: C.R. Ramakrishnan, SUNY Stony Brook, USA A number of scholarships for students that cover local expenses for the=20 duration of the school are available. To apply for these scholarships,=20 students should also register to the Doctoral Consortium and send the=20 following information to German Vidal at gvidal@dsic.upv.es by July 20th: - A short vita of the applicant. - A letter of recommendation from applicant's faculty advisor. - A one paragraph statement outlining how the school will benefit the appli= cant. The letter from the advisor should also certify that the applicant is a=20 full-time student. Organizers: John Gallagher, Roskilde University, Denmark German Vidal, Universitat Politecnica de Valencia, Spain=