Hi again, We've extended the miniKanren Workshop submission deadline by 7 days. Feel free to submit new papers or improve your existing drafts.
Other dates have been shifted to compensate. Here are the new dates: Full papers are due: 3 July 2021 Authors will be notified: 19 July 2021 Camera-ready versions are due: 28 July 2021 All deadlines are "Anywhere on Earth" (23:59 UTC-12). On Sunday, June 20, 2021 at 9:49:34 AM UTC-4 Lisa Zhang wrote: > Hi everyone, > > Just a gentle reminder that the paper submission deadline is now less than > a week away (Saturday June 26 AOE). The submission link is at > https://minikanren-2021.hotcrp.com/ > > The call for papers is available here: > https://icfp21.sigplan.org/home/minikanren-2021#Call-for-Papers > > If you have any questions, please reach out to Greg and/or myself. > > Lisa & Greg > > > On Saturday, April 17, 2021 at 1:31:07 PM UTC-4 Greg Rosenblatt wrote: > >> 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/515b16c7-02bf-4ae7-93eb-33a4f3e34e56n%40googlegroups.com.
