[isabelle] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020

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

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
Discussion Forum, Pre-recorded lightning talks, Live sessions with invited
and contributed live talks. Further details can be found here:

Registration is free, but we require all participants to register at
For any further queries, please contact the organisers:

Henning Basold <henning at basold.eu>
Katya Komendantskaya <ek19 at hw.ac.uk>

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.