[Agda] GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22

Rodin Aarssen R.T.A.Aarssen at cwi.nl
Fri Jun 7 00:40:53 CEST 2019


CALL FOR PAPERS

18th International Conference on
Generative Programming: Concepts & Experiences (GPCE 2019)

October 21-22, 2019
Athens, Greece
(co-located with SPLASH 2019)
https://conf.researchr.org/home/gpce-2019

http://twitter.com/GPCECONF
http://www.facebook.com/GPCEConference

IMPORTANT DATES

* Submission of abstracts: June  14, 2019
* Submission of papers:    June  21, 2019
* Paper notification:      August 9, 2019 

Submission site: https://gpce19.hotcrp.com/

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

SCOPE

GPCE is a venue for researchers and practitioners interested in techniques
and tools for code generation, language implementation, and metaprogramming. 
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 program co-chairs whether their planned
papers are in scope.

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.

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.

* 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 SUBMISSION

All submissions must use the ACM SIGPLAN Conference Format "acmart",
using the "sigplan" sub-format, and 10 point font. Additional details
and links to templates and the LaTeX class file can be found on the 
conference web site: https://conf.researchr.org/home/gpce-2019.

To increase fairness in reviewing, a double-blind review process has 
become standard across SIGPLAN conferences. GPCE will follow a very 
lightweight model, where author identities are revealed to reviewers 
after submitting their initial reviews. Hence, the purpose is not to 
conceal author identities at all cost, but merely to provide reviewers 
with an unbiased first look at a submission. 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 penalized
if reviewers are able to infer their identities in implicit ways.

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

For additional information, clarification, or answers to questions
please contact the program co-chairs.

ORGANIZATION

Chairs
* General chair: Ina Schaefer (TU Braunschweig)
* Program co-chair: Christoph Reichenbach (Lund University)
* Program co-chair: Tijs van der Storm (CWI / University of Groningen)

Program Committee
* Jonathan Aldrich (CMU)
* Juliana Alves Pereira (University of Rennes, INRIA)
* Marsha Chechik (University of Toronto)
* Shigeru Chiba (University of Tokyo)
* Thomas Degueule (CWI)
* Sebastian Erdweg (TU Delft)
* Matthew Flatt (University of Utah)
* Robert Glück (University of Copenhagen)
* Elisa Gonzalez Boix (VUB)
* Geoffrey Mainland (Drexel University)
* Chris Martens (NCSU)
* Maryam Mehri Dehnavi (University of Toronto)
* Peter Mosses (Swansea University / TU Delft)
* David Pearce (Victoria University of Wellington)
* Alex Potanin (Victoria University of Wellington)
* Larissa Rocha Soares (Federal University of Bahia)
* Ulrik Schultz (University of Southern Denmark)
* Sandro Schulze (University of Magdeburg)
* Christoph Seidl (TU Braunschweig)
* Michel Steuwer (University of Glasgow)
* Sam Tobin Hochstadt (Indiana University)
* Kanae Tsushima (National Institute of Informatics)
* Philip Wadler (University of Edinburgh)
* Eric Walkingshaw (Oregon State University)
* Adam Welc (Uber)
* Peng Wu (Huawei)



More information about the Agda mailing list