[TYPES/announce] Call for Papers, The Programming Journal, Volume 4, Issue 2

Davide Ancona davide.ancona at unige.it
Fri Apr 26 12:43:49 EDT 2019


========================================================================
                         The Programming Journal

           The Art, Science, and Engineering of Programming


                  Call for Papers for Volume 4, Issue 2

                  http://programming-journal.org/cfp/
                        Follow us @programmingconf
========================================================================

The Art, Science, and Engineering of Programming was created with the
goal of placing the wonderful art of programming on the map of scholarly
works. Many academic journals and conferences exist that publish research
related to programming, starting with programming languages, software
engineering, and expanding to the whole Computer Science field. Yet, many
of us feel that, as the field of Computer Science expanded, programming,
in itself, has been neglected to a secondary role not worthy of scholarly
attention. That is a serious gap, as much of the progress in Computer
Science lies on the basis of computer programs, the people who write
Them, and the concepts and tools available to them to express
computational tasks.

The Art, Science, and Engineering of Programming aims at closing this
gap by focusing primarily on programming: the art itself (programming
styles, pearls, models, languages), the emerging science of understanding
what works and what doesn’t work in general and in specific contexts,
as well as more established engineering and mathematical perspectives.


We solicit papers describing work from one of the following perspectives:

   Art: knowledge and technical skills acquired through practice and
        personal experiences. Examples include libraries, frameworks,
        languages, APIs, programming models and styles, programming
        pearls, and essays about programming.

   Science (Theoretical): knowledge and technical skills acquired
        through mathematical formalisms. Examples include formal
        programming models and proofs.

   Science (Empirical): knowledge and technical skills acquired
        through experiments and systematic observations. Examples
        include user studies and programming-related data mining.

   Engineering: knowledge and technical skills acquired through
        designing and building large systems and through calculated
        application of principles in building those systems.
        Examples include measurements of artifacts’ properties,
        development processes and tools, and quality assurance methods.

Independent of the type of work, the journal accepts submissions covering several areas of 
expertise, including but not limited to:

  - General-purpose programming
  - Data mining and machine learning programming, and for programming
  - Database programming
  - Distributed systems programming
  - Graphics and GPU programming
  - Interpreters, virtual machines, and compilers
  - Metaprogramming and reflection
  - Model-based development
  - Modularity and separation of concerns
  - Parallel and multi-core programming
  - Program verification
  - Programming education
  - Programming environments
  - Security programming
  - Social coding
  - Testing and debugging
  - User interface programming
  - Visual and live programming

All details, including the selection process are described on
   http://programming-journal.org/cfp/

Details on the submission processed are available at
   http://programming-journal.org/submission/

Authors of accepted papers will be invited to present at the
<Programming>’20 conference in Porto, Portugal from March 23-26:
   https://2020.programming-conference.org/


## Upcoming Deadlines

We solicit submissions for the following upcoming deadlines:

Submission:           June 1
First notification:   August 1
Revised submission:   September 1
Final notification:   September 7
Camera-ready:         September 15

We’ll also solicit submissions for Issue 3, for full details, see:
   https://programming-journal.org/timeline/

## Standing Review Committee Volume 4

Christophe Scholliers, Ghent University
Coen De Roover, Vrije Universiteit Brussel
Craig Anslow, Victoria University of Wellington New Zealand
Didier Verna, EPITA / LRDE France
Diego Garbervetsky University of Buenos Aires
Edd Barrett, King's College London
Erik Ernst, Google
Felienne Hermans,  Leiden University
Francisco Sant'Anna, Rio de Janeiro State University
Friedrich Steimann, Fernuniversität
Gordana Rakic, University of Novi Sad
Guido Salvaneschi, TU Darmstadt
Hidehiko Masuhara, Tokyo Institute of Technology
Jeremy Gibbons, University of Oxford
Jonathan Edwards, US
Jun Kato, AIST Japan
Luke Church, University of Cambridge
Matthew Flatt, University of Utah
Michael L. Van De Vanter, Cal Poly San Luis Obispo
Nicolás Cardozo, Universidad de los Andes Colombia
Stephen Kell, University of Kent

## Editors

Stefan Marr (Editor Volume 4), University of Kent
Cristina V. Lopes (Editor-in-Chief), University of California, Irvine


More information about the Types-announce mailing list