caml-list - the Caml user's mailing list
 help / Atom feed
From: Ekaterina Komendantskaya <komendantskaya@gmail.com>
To: Henning Basold <henning@basold.eu>
Subject: [Caml-list] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020
Date: Tue, 19 May 2020 14:58:42 +0100
Message-ID: <CAEQEJxJwSdQ8uUZx4WRHxk1jK_7qJfp9gssQUo9WEOBRztNooA@mail.gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1977 bytes --]

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>
Katya Komendantskaya <ek19@hw.ac.uk>

[-- Attachment #2: Type: text/html, Size: 3493 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAEQEJxJwSdQ8uUZx4WRHxk1jK_7qJfp9gssQUo9WEOBRztNooA@mail.gmail.com \
    --to=komendantskaya@gmail.com \
    --cc=henning@basold.eu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox