caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [2nd CFP] The 2nd miniKanren and Relational Programming Workshop
@ 2020-05-06 10:20 Dmitri Boulytchev
  0 siblings, 0 replies; 1+ messages in thread
From: Dmitri Boulytchev @ 2020-05-06 10:20 UTC (permalink / raw)
  To: caml-list

==========================================================================
                        Call for Papers
                         miniKanRen-20
      The 2th miniKanRen and Relational Programming Workshop
                     Thu 27 August 2020,
                 online (hosted by ICFP-2020)
        https://icfp20.sigplan.org/home/minikanren-2020
==========================================================================

Sumbission deadline: May 15, 2020

The miniKanren and Relational Programming Workshop is a new
workshop for the miniKanren family of relational (pure constraint
logic programming) languages: miniKanren, microKanren, core.logic,
OCanren, Guanxi, etc.

The workshop solicits papers and talks on the design, implementation,
and application of miniKanren-like languages. A major goal of the
workshop is to bring together researchers, implementors, and users
from the miniKanren community, and to share expertise and techniques
for relational programming. Another goal for the workshop is to push
the state of the art of relational programming — for example, by
developing new techniques for writing interpreters, type inferencers,
theorem provers, abstract interpreters, CAD tools, and other interesting
programs as relations, which are capable of being “run backward,”
performing synthesis, etc.

We want to encourage all kinds of submissions. We expect short papers
as well as longer papers. As a rough guideline, with the new ACM format,
a short paper would be 2 to 7 pages and a long paper 8 to 25 pages.

Authors are encouraged to publish any code associated with their papers
under an open-source license, so that reviewers may try the code and verify
the claims.

Paper submissions must use the format acmart and its sub-format acmlarge.
They must be in PDF, printable in black and white on US Letter size.
  Microsoft Word and LaTeX templates for this format are available at
http://www.sigplan.org/Resources/Author/

Proceedings will be printed as a Technical Report at Northeastern
University.

Publication of a paper at this workshop is not intended to replace
conference or journal publication and does not preclude re-publication
of a more complete or finished version of the paper at some later
conference
or in a journal.


*** Sumbission link:https://minikanren-2020.hotcrp.com/


*** Important dates:

Sumbission deadline : May  15, 2020
Author notification : June 15, 2020
Camera-ready version: June 30, 2020
Workshop            : TBA


*** Program Committee:

Dmitri Boulytchev, St. Petersburg State University, Russia
Adam Foltzer, Fastly
Jason Hemann, Northeastern University, USA
Ekaterina Komendantskaya, Heriot-Watt University, UK
Jan Midtgaard, University of Southern Denmark, Denmark
Joseph P. Near, University of Vermont, USA
Gregory Rosenblatt, University of Alabama at Birmingham, USA
Ilya Sergey, Yale-NUS College and National University of Singapore,
Singapore
Kanae Tsushima, National Institute of Informatics, Japan


^ permalink raw reply	[flat|nested] 1+ messages 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-06 10:20 [Caml-list] [2nd CFP] The 2nd miniKanren and Relational Programming Workshop Dmitri Boulytchev

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