皆様、

筑波大学の海野です。

来年4月下旬に開催される ETAPS 2020 併設のワークショップ TEASE-LP 2020 の 発表募集をお送りいたします。

論理プログラミングの確率・高階拡張や、検証、型推論、AIへの応用といった 近年のトレンドを扱うワークショップです。どうぞ参加・発表をご検討ください。

-- 海野 広志 筑波大学システム情報系情報工学域

==========================================================================

Call for Contributions

Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020) Dublin, Ireland, 25 April 2020 (co-located with ETAPS 2020) www.coalg.org/tease-lp

Logic programming is a framework for expressing programs, propositions and relations as Horn clause theories, with the purpose of performing 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 facts, it was extended to account for much more complex theories. This includes 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.

Venue and Event --------------------------- TEASE-LP 2020 will be held in Dublin, Ireland, co-located with ETAPS 2020 on 25 April 2020.

Invited Speakers --------------------------- * Keynote: Luke Ong, University of Oxford, GBR * Tutorial: Uli Sattler, University of Manchester, GBR

Important Dates --------------------------- Abstract submission: Wednesday, 26 February 2020 AoE Notification: Wednesday, 25 March 2020 AoE Camera-ready copy: Wednesday, 1 April 2020 AoE Workshop: Saturday, 25 April 2020

Topics --------------------------- The central idea of this workshop is to discuss the theory of logic programming and associated topics that have as well the goal to automatically infer knowledge and proofs. Our intention is to bring together researchers that work on the numerous topics that contribute to automatic proof inference and foster an exchange that may lead to advances in the theory of logic programming.

Topics of interest include, but are not limited to, the following:

* Proof theory (e.g. focalised and uniform proofs), * Logic programming beyond the classical Horn clause theories (e.g. coinduction, higher-order Horn clauses, probabilities, categorical logic, inductive LP), * Extensions of logic programming (e.g. DataLog, description logic, relational programming), * Advanced implementations (e.g. λProlog, ELPI, miniKanren), * Type theory (e.g. polarised λ-calculus, proofs-as-programs, types for logic programming), * Semantics (e.g. classical, categorical, algebraic, coalgebraic) , and * Applications.

Programme Committee --------------------------- Henning Basold (chair), Leiden University, NLD Nikolaj Bjørner, Microsoft Research, USA William Byrd, University of Alabama at Birmingham, USA Gopal Gupta, The University of Texas at Dallas, USA Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA Gopalan Nadathur, University of Minnesota, USA Frank Pfenning, Carnegie Mellon University, USA Hiroshi Unno, University of Tsukuba, JPN Noam Zeilberger, University of Birmingham, GBR

Submission Instructions --------------------------- Since the aim of the workshop is to foster exchange and discussions on trends, extensions, applications and semantics of logic programming, we invite presentations of possibly already published as well as ongoing work. Submissions should be abstracts of at most two pages in EPTCS style (http://style.eptcs.org/) and will be only be published in the informal pre-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the PC, based on the quality of contributions. Contributions should be submitted via the Easychair system:

https://easychair.org/my/conference?conf=teaselp2020

All contributions will be refereed by the programme committee and it is expected that at least one of the authors will be present during the workshop.