caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020
@ 2020-05-19 13:58 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2020-05-19 13:58 UTC (permalink / raw)
  To: Henning Basold


[-- 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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-19 13:58 [Caml-list] Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020 Ekaterina Komendantskaya

caml-list - the Caml user's mailing list

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

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


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