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 88D615D4 for ; Tue, 19 May 2020 13:59:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,410,1583190000"; d="scan'208,217";a="450426540" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 May 2020 15:59:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1951DE1E7E; Tue, 19 May 2020 15:59:15 +0200 (CEST) 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 CB242E1E7A for ; Tue, 19 May 2020 15:59:09 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-wr1-f41.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AgYjwSB9gmfQ0dv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1eMcTK2v8tzYMVDF4r011RmVBNidsqobwLSH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhIiTanfL9+MBe7oQrQu8QSnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRQT2gy?= =?us-ascii?q?kbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5uz?= =?us-ascii?q?YIUPAeQPPvtWoZfhqFYTthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvn?= =?us-ascii?q?vXrNrvKKcdT/q1zKjOzTrZcvhY3DD96I3WfRAnvP6DR7RwcdbKyUksDQzEjk+f?= =?us-ascii?q?opHiMjOW0eQNtnaU7+x9Wu21jW4ntxpxoju1ycYskIbEnY0VylXe+iV4xIY5P8?= =?us-ascii?q?G3SEl+YdO9FpZbqi6VOZdsTMw4X2FopDg1yqcAuZOjfCUH1ZsqygDRZvGIfIWF?= =?us-ascii?q?4QzuWPifLDp6mX5od7Cyihey/EWgyuPwSsi53UtKoCdHktTAq20A2hzN5saHRP?= =?us-ascii?q?Vw8EGs0iuB2QDU7+FLO0E0lazDJpE9xb4/jJ4TsUvZEi/xgkX2g7eadksg+uey?= =?us-ascii?q?8eTnf7DmqoWAOI9wjQH+L7khl8qiCuo7KggDR3aX9fi42bH5/kD0QK9GguMonq?= =?us-ascii?q?XEqpzXKtkXq6ikCAFPyIkj8QywDzK+3dQYg3YHKFVFdQqCj4fzOlHOJOn0DPml?= =?us-ascii?q?g1ixiTtryf/LMqD7DpXCKXjDl7jhfbJj5EJG1AUzytVf64pVCrEHPv3zRlf8uM?= =?us-ascii?q?LEAhI9KQC5wObqBM9j2o8ARG6DGKCUPL7KvV+N/O0vIu2MZIEPuDb6Lvgo//3u?= =?us-ascii?q?jXg8mVADe6mmwIEYaHakHvR9IEWWe3rtjc0aHGcFuwoxVu3qiFmYXTFPYHayWr?= =?us-ascii?q?ow5isnB4K+EYfDWoetjaSd0yihG51WYnlKClSNEXfza4WJQOwMaSKXIs95iDMI?= =?us-ascii?q?T7mhS4k71RGvrgD20bRnLvCHshEf4LLu0t504eKbvxgp8jh4R5Cd3meLTmd7tm?= =?us-ascii?q?kBXDgy0OZyvBou5E2E1P1VgPVEGMZS4foBcQA/OJjQxupmENP7SwuJKtSOTVug?= =?us-ascii?q?TtygHSoyR8M469ALakd5Xd6li0aQjGKRH7YJmunTV9QP+aXG0i20fp4lkiqU5O?= =?us-ascii?q?wal1AjB/B3Gyi+nKcmrlrcAofIlwOSkKP4Lf1Njh6Iz3+KyC+1hG8dVQdxVavf?= =?us-ascii?q?WnVGPxnZqN344gXJSLr8UO16YDsE8taLL+5xUvOsjVhCQ62+atHXYmb0hH3pQB?= =?us-ascii?q?jUn/WDa43lf2hb1yLYWhAJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CLBgAT5cNefyndVdFmglCBJVhZRYEHL?= =?us-ascii?q?IQkgRyCXosBjROIVSyFeoFnAQoBAwEMBSAKBAEBhESCDxwHAQQzBg4CEAEBBQE?= =?us-ascii?q?BAQIBAgMEARMBAQkLCwgnhV8MgjspAYMlER0BGxYIAxIDDSIVAiQBEQEFASITC?= =?us-ascii?q?BqCOUyCSgEDLg+Vf4xzgh2BBD2LKIEVBQEXgwIFgTMBgwcKGSgNZYE0AgEGEoE?= =?us-ascii?q?mjEIaggCBR4MYgQSDA3QSglWCYASOPYpPiRGQc0qCEASCcGyERoYJihgdgl2Ic?= =?us-ascii?q?JIJmi6UAQ8jgUWBZgwHcIEBgjhQGA1VkAODTwuFFIVBAkMwNwIGAQcBAQMJjxc?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0CLBgAT5cNefyndVdFmglCBJVhZRYEHLIQkgRyCXosBjRO?= =?us-ascii?q?IVSyFeoFnAQoBAwEMBSAKBAEBhESCDxwHAQQzBg4CEAEBBQEBAQIBAgMEARMBA?= =?us-ascii?q?QkLCwgnhV8MgjspAYMlER0BGxYIAxIDDSIVAiQBEQEFASITCBqCOUyCSgEDLg+?= =?us-ascii?q?Vf4xzgh2BBD2LKIEVBQEXgwIFgTMBgwcKGSgNZYE0AgEGEoEmjEIaggCBR4MYg?= =?us-ascii?q?QSDA3QSglWCYASOPYpPiRGQc0qCEASCcGyERoYJihgdgl2IcJIJmi6UAQ8jgUW?= =?us-ascii?q?BZgwHcIEBgjhQGA1VkAODTwuFFIVBAkMwNwIGAQcBAQMJjxcBAQ?= X-IronPort-AV: E=Sophos;i="5.73,410,1583190000"; d="scan'208,217";a="450426501" X-MGA-submission: =?us-ascii?q?MDFYtIby/ZPAvrzVBGqgjLT0LuwEkKkrBFlwko?= =?us-ascii?q?ddLyQaY4EFzq1sA0ReBMlsjRDS1AhBO/7QFItEd/cHxHSNjkZbS0cxIt?= =?us-ascii?q?2OoeoXC7OIs25NIZmmQVn28ykrKasEZQ6R5YDo1qdNS+P3rJ7ZQHlo87?= =?us-ascii?q?7EccD/EI/crj14NaMpfrIxgg=3D=3D?= Received: from mail-wr1-f41.google.com ([209.85.221.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 19 May 2020 15:59:09 +0200 Received: by mail-wr1-f41.google.com with SMTP id e16so16030234wra.7 for ; Tue, 19 May 2020 06:59:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=/hvulOY2pf6PevaZXaANl9FiHGSY7PZGa+w5YrbcqIU=; b=o8m+R4jOT8cXb91KvzKyWErythFzc6PrP4zui+2+rp2hJpbJwKO0J9RgVEYKSdxRgB +F/I1u95UCrsCeb9PnhSst9Xrk5Zh4VmvXH9C82061OvZ2yZDVYlRTmt1iDY3VemJTjO kAtBnAZXgsC+Dt8JwrnUnnBgoHLtI6ruaEYyyDa4Q1PIvTOo393R35M4993kmIWY8PyX 5+a3SaQ/JDZdmxI/wm+8n67KEg8ZXHc7t0T4oh8xEChjaJCpzpvRnxUg3QbxFQpU+T2v JEG4I57lLFWOLA1bjjH3GSKzojbtgIvLloloUsz2DStaLdVpMjwng5ZufLLOaulYzJxg lZqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=/hvulOY2pf6PevaZXaANl9FiHGSY7PZGa+w5YrbcqIU=; b=OQanSxn0fElbL5Cx05UWSILLvPSn/j/v2a/im3M8ypUjwRrXu9uYD2h8oNi52C3/bN zYa9/X7LdaZ6FpPuSFiEQaPRfz0hvYXQJXJXmcV9za5BrGZH8LWgd8oT1/kOx0JLg8Zh Aq/d5sugAJataDRPllscN7+eXI0BYoAgeyfZkJcrndJ7s4WaHbwV7UsZDb61xVwx3cj5 kBjI/9M2J65NRgL8D/+1pMwdd5piKg7e3pBGLFJ5hEn38+1tbaSpZrs29ToCofn0NLQG iID53tTt573UnlanWOlk2seabNfz/XW+86vShRcXt7UDyepQj9mzjnQJLUJb8UvLCLlm BCbA== X-Gm-Message-State: AOAM533l+wkhRUQTTk8cqTrKIIMR2vmF72TwKSx3h8tMzDQS7uEWa9Sg h9Bhtvb2Qd5iPWRmwwgazW+oa9Pt221+GCHq9PQaJgV3G5i5U4tm X-Google-Smtp-Source: ABdhPJwkORsYgE32Q47c/WCOEexRlmB/DnM2h4HdR8/f3Mdcbwmx12hkO/UtLflCTM3kw68RQ6nJcj4M9cTyzutIuUc= X-Received: by 2002:a5d:6690:: with SMTP id l16mr27371349wru.115.1589896748501; Tue, 19 May 2020 06:59:08 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Tue, 19 May 2020 14:58:42 +0100 Message-ID: To: Henning Basold Content-Type: multipart/alternative; boundary="000000000000ec8e9a05a600aecb" Subject: [Caml-list] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020 Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18149 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --000000000000ec8e9a05a600aecb Content-Type: text/plain; charset="UTF-8" We invite participants to the on-line workshop on * Trends, Extensions, Applications and Semantics of Logic Programming* Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, and for automatic inference in these theories. Horn clause theories are famous for their well-understood declarative semantics, in which models of logic programs are given inductively or coinductively. At the same time, Horn clauses give rise to efficient inference procedures, usually involving resolution. Logic programming found applications in type inference, verification, and AI. While logic programming was originally conceived for describing simple propositional facts, it was extended to account for much more complex theories. This includes first-order theories, higher-order theories, inductive and coinductive data, and stochastic/probabilistic theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities. Keynote talk: *Dale Miller*. Structural Proof-Theory and Logic Programming Invited tutorial: *Uli Sattler*.* Description Logics and Ontology Languages - an introduction and overview* In light of COVID-19, we organise TEASE-LP as a virtual workshop and online-only event. To achieve broad participation, we use three different mediums: Discussion Forum, Pre-recorded lightning talks, Live sessions with invited and contributed live talks. Further details can be found here: https://www.coalg.org/tease-lp/workshop-schedule/. Registration is free, but we require all participants to register at https://teaselp.flarum.cloud/ For any further queries, please contact the organisers: Henning Basold Katya Komendantskaya --000000000000ec8e9a05a600aecb Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
We invite participants to the on-line workshop on

=C2=A0Trends, Extensio= ns, Applications and Semantics of Logic Programming

Logic prog= ramming is a framework for expressing programs, propositions and relations = as Horn clause theories, and for automatic inference in these theories. Hor= n clause theories are famous for their well-understood declarative semantic= s, in which models of logic programs are given inductively or coinductively= . At the same time, Horn clauses give rise to efficient inference procedure= s, usually involving resolution. Logic programming found applications in ty= pe inference, verification, and AI. While logic programming was originally = conceived for describing simple propositional facts, it was extended to acc= ount for much more complex theories. This includes first-order theories, hi= gher-order theories, inductive and coinductive data, and stochastic/probabi= listic theories.

The aim of this workshop is to bring together resea= rchers that work on extensions of logic programming and inference methods, = and to foster an exchange of methods and applications that have emerged in = different communities.

Keynote talk: Dale Miller.= =C2=A0= Structural Proof-Theory and Logic Programming
Invited tut= orial:=C2=A0Uli Sattler.=C2=A0Description Logics and Ontology Lan= guages - an introduction and overview

In light = of COVID-19, we organise TEASE-LP as a virtual workshop and online-only eve= nt. To achieve broad participation, we use three different mediums:
Disc= ussion Forum,=C2=A0Pre-recorded lightning talks,=C2=A0Live sessions with in= vited and contributed live talks. Further details can be found here:=C2=A0<= a href=3D"https://www.coalg.org/tease-lp/workshop-schedule/">https://www.co= alg.org/tease-lp/workshop-schedule/.

Registration=C2=A0is f= ree, but we require all participants to register at=C2=A0https://teaselp.flarum.cloud/
For any further queries, please contact the organisers:

Henning Basold <henning@basold.eu>
Katya Komendantskay= a <ek19@hw.ac.uk>

=
=
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0
=



=
--000000000000ec8e9a05a600aecb--