From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 1F93A5D5 for ; Tue, 18 Feb 2020 15:06:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,456,1574118000"; d="scan'208";a="436565145" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 18 Feb 2020 16:06:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 940097F44A; Tue, 18 Feb 2020 16:06:04 +0100 (CET) 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 46AE97F3B1 for ; Tue, 18 Feb 2020 15:55:58 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mail-pg1-f227.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AJmm48BDZzE4M0Mg7Wh6CUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv4psbcNUDSrc9gkEXOFd2Cra4d16yJ4+u/ACQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIxi6twfcu8oZjYZgN6o61wfErGZPd+?= =?us-ascii?q?lKymxkIk6ekQzh7cmq5p5j9CpQu/Ml98FeVKjxYro1Q79FAjk4Km45/MLkuwXN?= =?us-ascii?q?QguJ/XscT34ZkgFUDAjf7RH1RYn+vy3nvedgwiaaPMn2TbcpWTS+6qpgVRHlhD?= =?us-ascii?q?sbOzM/7WrajNF7gqBGrxK7vxFx3pDaboaWOvRwfq3QZs8WSXZdUspNTSFNHp+w?= =?us-ascii?q?Yo0SBOQBJ+ZYqIz9qkMBrRSgAgmsCu3vxyRUiX/tx6E61uUhHhvD3AwhBd4Brm?= =?us-ascii?q?nbrMjzOawPX+61y6zIwi/Cb/NQwTry9pLHcgshoP6QXbJ/a8vRyVM1GwPClFWQ?= =?us-ascii?q?poroNC6W2OQVq2WX8fZsWOa1h2Mkqwx9uCajytosh4XTmI4Z1FLJ+T1kzIsxO9?= =?us-ascii?q?G0UkB2bcO+HJZTsyyWLZZ6Tt0kTmp1oig10KcGtoS+fCUSyJQo2Rrfa/uffoiN?= =?us-ascii?q?+B3jVeKRLS5ghHJqZb6znhiy/Va+xuD+TMW031FKri1KktnIqH8BzQDc6s+CSv?= =?us-ascii?q?dl/0eh3yiA1xzL5+1aPUw5kbDXJp0hz7IqiJYfrETOEjXolEnojqKabkAk9fKp?= =?us-ascii?q?6+TjbLXmvJicN4pshwHxLKsuncK/AeojPwcSRGiX4+G81Lz58k38QbVGlOM5nb?= =?us-ascii?q?TEsJzCP8QUura5AxNJ0oYk8xuwEy2p0NEcnXUeKFJFeQmHj5TyNlHVIPH4CO+/?= =?us-ascii?q?jE62nDdqwfDGJLzhDY/XInjNireyNYp6vhpXwQ83iNRe/I58C7cbIfu1VFWn5/?= =?us-ascii?q?LCCRpsPAGzzejPA84704IXXGPJD6OEY/CaikOB+u96e7rEX4QSojuoc6F0tc6r?= =?us-ascii?q?tmcwnBomRYfs2JIWbH6iGfE/fxeSejzpg94EECEHshdsFbW32m3HaiZaYjOJZ4?= =?us-ascii?q?x55jw/D9j4X4LKR4TomLPYmSnhRMIQaWdBBVSBV3zvctfcAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4iUOlr0n/yrNiL6zZ9jBK7Z8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAgCN+ktehuPXVdFmhD6BGFVcjRejA?= =?us-ascii?q?QNUAQgBAwEMIwwEAQGGRRwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQgLCwgphT4?= =?us-ascii?q?MgjsigyILIwEBJhI7NB0IAQUBIhMigjlLAYJ7D59fgQQ9jFqCfwEBBYJFgzoJI?= =?us-ascii?q?4EfAwYJAQiBJodGghmCRRqCAIERNogzgnWCLJgcl3KKFI5+KIJJiBuEE4wvhEa?= =?us-ascii?q?THpJgDyOBRoF6ci2DDVAYDVeNYINZhRSFXSMzApELAQE?= X-IPAS-Result: =?us-ascii?q?A0BdAgCN+ktehuPXVdFmhD6BGFVcjRejAQNUAQgBAwEMIww?= =?us-ascii?q?EAQGGRRwHAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQgLCwgphT4MgjsigyILIwEBJ?= =?us-ascii?q?hI7NB0IAQUBIhMigjlLAYJ7D59fgQQ9jFqCfwEBBYJFgzoJI4EfAwYJAQiBJod?= =?us-ascii?q?GghmCRRqCAIERNogzgnWCLJgcl3KKFI5+KIJJiBuEE4wvhEaTHpJgDyOBRoF6c?= =?us-ascii?q?i2DDVAYDVeNYINZhRSFXSMzApELAQE?= X-IronPort-AV: E=Sophos;i="5.70,456,1574118000"; d="scan'208";a="339602376" X-MGA-submission: =?us-ascii?q?MDG/K3nB18G2oVbA05sBM90Wv6YBmARY4W+Iuc?= =?us-ascii?q?M7YkxeaWsgo09tlvCIWyaNSNOALDre//2YPNshj65KorJy9ZiRDwORN2?= =?us-ascii?q?xv7xVzvUv0d3WK/np+5VblVAssRSXEoC7HkEVPUCs5TxneEqKckhlfzD?= =?us-ascii?q?y94a7A2+Rj4jnybDqz6EypnA=3D=3D?= Received: from mail-pg1-f227.google.com ([209.85.215.227]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Feb 2020 15:55:30 +0100 Received: by mail-pg1-f227.google.com with SMTP id 70so11049992pgf.8 for ; Tue, 18 Feb 2020 06:55:30 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=U23Dby2ou7KNz+UiAkneZDB4ZX+i4Blb3L82IKUZEGg=; b=ZDbbPQaas5dOxWy1OWhFybZFUmoDpYGYNgjd3vya32mTmQgaHHG09Rp45Wd5BSHlIP npY9HlavHHtu5N636elo+GGBN9QJ+AcXOng7mnDKfzdZItueKOCi3GdGguXAcVhVm+R8 Z74RBo04g5ucTUBgm3au76HX+8bH7f+mv7iq6d5VIMMXSZEMZCZzLL+CcTLVg7Yo14lJ MQkz8ShZh8MXPMmqNJWT6Jpz+0G4ppzNuwjU67N32vD4OnObDfqtktAm1bN+9lMXXh/N T/TB8Sp1SGanT0I7aNnYQKi0fTgrNPhY0v2r1z1jVwBSr05Vq31r67ooRdOOW9NJgw6W jTGg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=U23Dby2ou7KNz+UiAkneZDB4ZX+i4Blb3L82IKUZEGg=; b=MW9wpT0NA6u7W/2wMus+0+L3EUwOj/VNKtmyYOod3eFHgW3aL9GSyZSDMuHNo61MhR 018nsBAgGcWqxSnrMKmApCZWGf9zPZ65dsDptkYDL0VddaUhnhypB5aiihyFRnPZBhhS QrqjB4Zh6qrfD/tzhJq67N+K8/u965wA8C5hZeqZ/Czx+BfQyNQq0r9/PMfyEOat3rTe TA5NM6ddNWugqgntRzRa2EH4hZsi5Rq/X96f3CcTW62LzpJPx488aSo86ExXpRwyCExr wMF1x5mvQgg4m140I6gPXDD9yQZ3vZ0+NP1my6arl1MCaTWUUeYAZ3gKAJCAi1o/fj9O 62pA== X-Gm-Message-State: APjAAAXoO9Enom6CwYmS/FUXmqZl+qKN2sENl9qR9I1Rc7V0u9r5TcJZ STrh43462ko5r0d/AyEonZWaDsJSqSx/Kj0ZmennvoVmHaBgbw== X-Google-Smtp-Source: APXvYqz0jYpZFB7L9wo4qymWi2oxJttM0sEWyE+UmmlLhtsBdeNrgfUKltcqEPR9qVNN1rWMahKrq/19AC/W X-Received: by 2002:a62:18c9:: with SMTP id 192mr21547852pfy.117.1582037729152; Tue, 18 Feb 2020 06:55:29 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id l14sm386733pjt.2.2020.02.18.06.55.28 for ; Tue, 18 Feb 2020 06:55:29 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 9CD9E17003B2; Tue, 18 Feb 2020 09:49:32 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20200218144932.9CD9E17003B2@cs.miami.edu> Date: Tue, 18 Feb 2020 09:49:32 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] LPAR-23 - Call for Workshops and Tutorials Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 18005 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: CALL FOR WORKSHOPS AND TUTORIALS LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 22-27 May, 2020, Alicante, Spain https://easychair.org/smart-program/LPAR23/ Workshop and tutorial proposals for LPAR-23 are solicited. These events will take place on May 22 2020, before the main conference. To apply for a workshop or a tutorial, please contact the workshop chair via martin.suda@cvut.cz and specify: * A title of the event. * Names and affiliations of organisers. * Proposed duration (half day or full). * Brief description of the goals and the scope/the topics to be covered. Why is the tutorial/workshop relevant for LPAR? * Whether or not the tutorial/workshop has been organised previously. * For previously organized workshops, information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). * For workshops: What are the plans for publication? The deadline for submitting workshop/tutorial proposals: March 1, 2020.