The Coq mailing list

[Youyou Cong <cong AT c.titech.ac.jp>]

-------------------------------------------------------------------------------
GPCE 2022:
21st International Conference on Generative Programming: Concepts & Experiences

December 5-7, 2022 (co-located with SPLASH)
Auckland, New Zealand with hybrid sessions

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

News: 
1. GPCE will be HYBRID – in-person and online presentations are allowed.
2. GPCE and SLE will have a joint program as in the previous years.
3. Submission site (https://gpce2022.hotcrp.com/) is now open.

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

The ACM SIGPLAN International Conference on Generative Programming: Concepts & 
Experiences (GPCE) 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.

GPCE promotes cross-fertilization between programming languages and software 
development and among different styles of generative programming in its broadest 
sense.

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 for any GPCE topics. Full paper 
  submissions must not exceed 12 pages excluding the bibliography.

- **Short Papers** presenting unconventional ideas or new visions in any GPCE
  topics. Short papers do not always contain complete results as in the case 
  of full papers, but can introduce new ideas to the community and get early 
  feedback. Note that short papers are not intended to be position statements. 
  Accepted short papers are included in the proceedings and will be presented 
  at the conference. Short paper submissions must not exceed 6 pages excluding 
  the bibliography, and must have the text "(Short Paper)" appended to their 
  titles.

- **Tool Demonstrations** presenting tools for any GPCE topics. 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 demonstration submissions must have the text 
  "(Tool Demonstration)" appended to their titles. If they are accepted, tool 
  descriptions will be included in the proceedings. The demonstration 
  outline will only be used 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.

---------------------------
BEST PAPER AWARD
---------------------------

Following the tradition, the GPCE 2022 program committee will select the
best paper among accepted papers.  The authors of the best paper will be
given the best paper award at the conference.

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

- Abstract submission		 8 August (Mon) 
- Paper submission		12 August (Fri) 
- Review notification		28 September (Wed) 
- Author response period	28 September (Wed) - 30 September (Fri)
- Final notification		10 October (Mon) 
- Camera-ready			24 October (Mon)
- Conference			 5 December (Mon) - 7 December (Wed) 

All times are in AoE (Anywhere on Earth).

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

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

All submissions must use the ACM SIGPLAN Conference Format "acmart". 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, GPCE 2022 uses the double-blind review
process which has become standard across SIGPLAN conferences: 

- Author names, institutions, and acknowledgments should be omitted from
  submitted papers, and 
- references to the authors' own work should be in the third person.

No other changes are necessary, and authors will not be penalized if
reviewers are able to infer authors' identities in implicit ways.

For additional information, clarification, or answers to questions, 
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
---------------------------

- General Chair:           Bernhard Scholz (University of Sydney)
- Program Chair:           Yukiyoshi Kameyama (University of Tsukuba)
- Publicity Chair:         Youyou Cong (Tokyo Institute of Technology)

- Steering Committee Chair: Sebastian Erdweg (JGU Mainz)

For additional information, clarification, or answers to questions, 
contact the program chair: kameyama at acm.org

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

Baris Aktemur - Intel
Walter Binder - Università della Svizzera italiana
Nicolas Biri - Luxembourg Institute of Science and Technology
Elisa Gonzalez Boix - Vrije Universiteit Brussel
Sheng Chen - UL Lafayette
Shigeru Chiba - The University of Tokyo
Youyou Cong - Tokyo Institute of Technology
Coen De Roover - Vrije Universiteit Brussel
Robert Glück - University of Copenhagen
Jeff Gray - University of Alabama
Atsushi Igarashi - Kyoto University
Yukiyoshi Kameyama - University of Tsukuba, Chair
Raffi Khatchadourian - City University of New York (CUNY) Hunter College
Julia Lawall - Inria
Geoffrey Mainland - Drexel University
Bruno C. d. S. Oliveira - The University of Hong Kong
Klaus Ostermann - University of Tübingen
Max Schaefer - GitHub
Ulrik Pagh Schultz - University of Southern Denmark
Sibylle Schupp - Hamburg University of Technology
Amir Shaikhha - University of Edinburgh
Artjoms Sinkarovs - Heriot-Watt University
Daniel Strüber - Chalmers University of Gothenburg, Radboud University Nijmegen
Nicolas Stucki - EPFL
Eli Tilevich - Virginia Tech
Tijs van der Storm - CWI & University of Groningen
Jeremy Yallop - University of Cambridge