caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [CFP] The 2nd miniKanren and Relational Programming Workshop
@ 2020-03-02  9:21 Dmitri Boulytchev
  0 siblings, 0 replies; only message in thread
From: Dmitri Boulytchev @ 2020-03-02  9:21 UTC (permalink / raw)
  To: caml-list

==========================================================================
                        Call for Papers
                         miniKanRen-20
      The 2th miniKanRen and Relational Programming Workshop
         (Somewhere between) Sun 23 - Fri 28 August 2020,
             Jersey City, New Jersey, United States
                  (colocated with 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] only message in thread

only message in thread, other threads:[~2020-03-02  9:22 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-02  9:21 [Caml-list] [CFP] The 2nd miniKanren and Relational Programming Workshop Dmitri Boulytchev

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

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

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ http://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index 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