caml-list - the Caml user's mailing list
 help / color / Atom feed
* [Caml-list] ETAPS Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 2020)
@ 2020-01-12 17:22 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2020-01-12 17:22 UTC (permalink / raw)
  To: Katya Komendantskaya

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

                  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.

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.

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

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

Programme Committee
---------------------------
Henning Basold (chair), Leiden University, NLD
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.

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

<div dir="ltr">                  Call for Contributions<br><br>           Workshop on Trends, Extensions, Applications and<br>            Semantics of Logic Programming (TEASE-LP 2020)<br>                  Dublin, Ireland, 25 April 2020<br>                   (co-located with ETAPS 2020)<br>                      <a href="http://www.coalg.org/tease-lp">www.coalg.org/tease-lp</a><br><br>Logic programming is a framework for expressing programs, propositions<br>and relations as Horn clause theories, with the purpose of performing<br>automatic inference in these theories. Horn clause theories are famous<br>for their well-understood declarative semantics, in which models of<br>logic programs are given inductively or coinductively. At the same time,<br>Horn clauses give rise to efficient inference procedures, usually involving<br>resolution. Logic programming found applications in type inference,<br>verification, and AI. While logic programming was originally conceived<br>for describing simple facts, it was extended to account for much more<br>complex theories. This includes higher-order theories, inductive and<br>coinductive data, and stochastic/probabilistic theories.<br><br>The aim of this workshop is to bring together researchers that work on<br>extensions of logic programming and inference methods, and to foster an<br>exchange of methods and applications that have emerged in different<br>communities.<br><br>Topics<br>---------------------------<br>The central idea of this workshop is to discuss the theory of logic<br>programming and associated topics that have as well the goal to<br>automatically infer knowledge and proofs. Our intention is to bring<br>together researchers that work on the numerous topics that contribute to<br>automatic proof inference and foster an exchange that may lead to  advances<br>in the theory of logic programming.<br><br>Topics of interest include, but are not limited to, the following:<br><br>    * Proof theory (e.g. focalised and uniform proofs), <br>    * Logic programming beyond the classical Horn clause theories<br>      (e.g. coinduction, higher-order Horn clauses, probabilities,<br>      categorical logic, inductive LP), <br>    * Extensions of logic programming (e.g. DataLog, description logic,<br>      relational programming), <br>    * Advanced implementations (e.g. λProlog, ELPI, miniKanren), <br>    * Type theory (e.g. polarised λ-calculus, proofs-as-programs,<br>       types for logic programming), <br>    * Semantics (e.g. classical, categorical, algebraic, coalgebraic) , and<br>    * Applications.<br><br>Venue and Event<br>---------------------------<br>TEASE-LP 2020 will be held in Dublin, Ireland, co-located with<br>ETAPS 2020 on 25 April 2020.<br><br>Important Dates<br>---------------------------<br>Abstract submission    Wednesday, 26 February 2020 AoE<br>Notification           Wednesday, 25 March 2020 AoE<br>Camera-ready copy      Wednesday, 1 April 2020 AoE<br>Workshop               Saturday, 25 April 2020<br><br>Programme Committee<br>---------------------------<br>Henning Basold (chair), Leiden University, NLD<br>William Byrd, University of Alabama at Birmingham, USA<br>Gopal Gupta, The University of Texas at Dallas, USA<br>Ekaterina Komendantskaya (chair), Heriot-Watt University, GBR<br>Dale Miller, INRIA and LIX/Ecole Polytechnique, FRA<br>Gopalan Nadathur, University of Minnesota, USA<br>Frank Pfenning, Carnegie Mellon University, USA<br>Hiroshi Unno, University of Tsukuba, JPN<br>Noam Zeilberger, University of Birmingham, GBR<br><br>Submission Instructions<br>---------------------------<br>Since the aim of the workshop is to foster exchange and discussions<br>on trends, extensions, applications and semantics of logic programming,<br>we invite presentations of possibly already published as well as ongoing<br>work. Submissions should be abstracts of at most two pages in<br>EPTCS style (<a href="http://style.eptcs.org/">http://style.eptcs.org/</a>) and will be only be published in<br>the informal pre-proceedings and on the website of the workshop.<br>Post-proceedings volume may be solicited by the PC, based on the quality<br>of contributions. Contributions should be submitted via the Easychair system:<br><br>  <a href="https://easychair.org/my/conference?conf=teaselp2020">https://easychair.org/my/conference?conf=teaselp2020</a><br><br>All contributions will be refereed by the programme committee and it is<br>expected that at least one of the authors will be present during the<br>workshop.<br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><div><span style="letter-spacing:0.2px">                                                                                     </span><br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>

^ 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-01-12 17:22 [Caml-list] ETAPS Workshop on Trends, Extensions, Applications and Semantics of Logic Programming (TEASE-LP 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