-------- Forwarded Message -------- Subject: [WI] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020 Date: Tue, 19 May 2020 14:58:42 +0100 From: Ekaterina Komendantskaya komendantskaya@gmail.com Reply-To: Ekaterina Komendantskaya komendantskaya@gmail.com To: Henning Basold henning@basold.eu

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 https://www.coalg.org/tease-lp/2020/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 <henning@basold.eu mailto:henning@basold.eu> Katya Komendantskaya <ek19@hw.ac.uk mailto:ek19@hw.ac.uk>

-- Mailing-Liste: wi@lists.kit.edu Administrator: wi-request@lists.kit.edu Konfiguration: https://www.lists.kit.edu/wws/info/wi