We listed the wrong sub-format in the submission information. Instead of the 2-column format "sigplan" please use the 1-column format "acmsmall".
The updated information is here: https://icfp21.sigplan.org/home/minikanren-2021#Call-for-Papers On Sunday, April 11, 2021 at 4:11:17 PM UTC-4 Greg Rosenblatt wrote: > DEADLINE: 26 June 2021 (Anywhere on Earth) > WEBSITE: https://icfp21.sigplan.org/home/minikanren-2021 > LOCATION: Virtual (co-located with ICFP 2021: https://icfp21.sigplan.org) > DATE: 26 August 2021 > > The third miniKanren and Relational Programming Workshop is calling for > submissions. > > Full papers are due: 26 June 2021 > Authors will be notified: 12 July 2021 > Camera-ready versions are due: 21 July 2021 > All deadlines are "Anywhere on Earth" (23:59 UTC-12). > > Submission page: https://minikanren-2021.hotcrp.com/ > > > 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. > > > Submission Information: > > Paper submissions must use the format “acmart” and its sub-format > “sigplan” (note the change from last year). 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/ > > This format is in line with ACM conferences (such as ICFP with which we > are colocated). > > 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. > > Submissions must be anonymized and should not contain any identifying > information. It is recommended to use the “review” option when submitting a > paper; this option enables line numbers for easy reference in reviews. > > > Reviewing Process: > > We will use lightweight-double-blind reviewing. Submitted papers must omit > author names and institutions and reference the authors’ own related work > in the third person (e.g., not “we build on our previous work…” but rather > “we build on the work of...”). > > The purpose is to help the reviewers come to an initial judgement about > the paper without bias, not to make it impossible for them to discover the > authors if they were to try. Nothing should be done in the name of > anonymity that weakens the submission or makes the job of reviewing the > paper more difficult (e.g., important background references should not be > omitted or anonymized). > > > Proceedings will be published as a Technical Report at the University of > Toronto. > > 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. > > > Sincerely, > Gregory Rosenblatt and Lisa Zhang, Co-Chairs > > Program Committee: > Michael Ballantyne, Northeastern University > Molly Feldman, Williams College > Atsushi Igarashi, Kyoto University > Andy Keep, Facebook > Dmitrii Kosarev, JetBrains Research, Saint Petersburg State University > Rebecca Swords, Unaffiliated > Dann Toliver, Toda > > -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/minikanren/7a82a77c-06f4-458d-82a2-ffc1d49c031cn%40googlegroups.com.
