The Coq mailing list

[Gregory Kildow <gregor AT vt.edu>]

Hello!  Please share this information with any who are interested.  Note: the dates for the conference itself, while roughly accurate, have not yet been finalized.

Thank you!

-------------------------------------------------------------------------------

GPCE 2021:
20th International Conference on Generative Programming: Concepts & Experiences

October 17th-22nd, 2021 (co-located with SPLASH)
Chicago, Illinois, United States (hybrid)

https://conf.researchr.org/home/gpce-2021
-------------------------------------------------------------------------------


---------------------------
CALL FOR PAPERS
---------------------------

The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to:

- program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems,
- domain-specific languages, language embedding, language design, and language workbenches,
- feature-oriented programming, domain engineering, and feature interactions,
- applications and properties of code generation, language implementation, and product-line development.

Authors are welcome to check with the PC chair whether their planned papers are in scope.

---------------------------
PAPER CATEGORIES
---------------------------

GPCE solicits three kinds of submissions:

- **Full Papers** reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography.

- **Short Papers** presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. Short papers must have the text “(Short Paper)” appended to their title, though any papers of 6 or fewer pages that are not tool demonstration papers will be considered as short papers.

- **Tool Demonstrations** presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission.

---------------------------
PAPER SELECTION
---------------------------

The GPCE program committee will evaluate each submission according to the following selection criteria:

- Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field.
- Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways.
- Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.
- Clarity. The paper must present its contributions and results clearly.


---------------------------
IMPORTANT DATES
---------------------------

- Abstract submission:
July 5th, 2021 (Monday), AoE
- Paper submission:
July 9th, 2021 (Friday), AoE
- Review notification:
September 1st (Wednesday), AoE
- Author response period:
September 1st (Wednesday) till September 3rd (Friday), AoE
- Final notification:
September 13th (Monday)
- Camera-ready submission:
September 27th (Monday)


---------------------------
PAPER SUBMISSION
---------------------------

All submissions must use the ACM SIGPLAN Conference Format “acmart”. Please be sure to use the latest LaTeX templates and class files. the SIGPLAN sub-format, and 10 point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}.

To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalised if reviewers are able to infer their identities in implicit ways.

Papers must be submitted using HotCRP: https://gpce2021.hotcrp.com/

For additional information, clarification, or answers to questions please contact the program chair.

The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy (http://www.sigplan.org/Resources/Policies/Republication/).


---------------------------
ORGANIZATION
---------------------------
- Steering Committee Chair: Sebastian Erdweg (Germany)
- General Chair: Eli Tilevich (USA)
- Program Chair: Coen De Roover (Belgium)
- Publicity Chair: Gregory Kildow (USA)

For additional information, clarification, or answers to questions please contact the program chair at coen.de.roover AT vub.be

---------------------------
PROGRAM COMMITTEE
---------------------------

Aggelos Biboudis, Swisscom AG, Switzerland
Christoph Reichenbach, Lund University, Sweden
Daniel Strüber, Radboud University Nijmegen, Sweden
Elena Zucca, University of Genova, Italy
Friedrich Steimann, Fernuniversität in Hagen, Germany
Jaakko Järvi, University of Turku, Finland
Jeff Gray, University of Alabama, United States of America
Justyna Petke, University College London, United Kingdom
KC Sivaramakrishnan, IIT Madras, India
Klaus Ostermann, University of Tuebingen, Germany
Leopoldo Teixeira, Federal University of Pernambuco, Brazil
Lidia Fuentes, Universidad de Málaga, Spain
Maja Kirkeby, Roskilde University, Denmark
Manuel Serrano, Inria, France
Marianne Huchard, Université de Montpellier, France
Martin Erwig, Oregon State University,  United States of America
Matthew Flatt, University of Utah, United States of America
Mikhail Barash, University of Bergen, Norway
Raffi Khatchadourian, City University of New York (CUNY) Hunter College, United States of America
Sandro Stucki, Chalmers University of Technology / University of Gothenburg, Sweden
Sebastian Erdweg, JGU Mainz, Germany
Shigeru Chiba, The University of Tokyo, Japan
Shoaib Kamil, Adobe, United States of America
Sibylle Schupp, Hamburg University of Technology, Germany
Thomas Thüm, University of Ulm, Germany
Tijs van der Storm, CWI, Netherlands
Ulrik Schultz, University of Southern Denmark, Denmark
Vadim Zaytsev, Universiteit Twente, Netherlands
Yukiyoshi Kameyama, University of Tsukuba, Japan

--

Gregor Kildow

Ph.D. Candidate

Computer Science @ Virginia Tech

Software Innovations Lab

"Ut Prosim"