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/468638d2-c436-4d2e-ac6e-a6eb18fe12ecn%40googlegroups.com.
