International Conference on the Art, Science, and Engineering of Programming
摘要截稿:
全文截稿: 2018-10-01
开会时间: 2019-04-01
会议难度:
CCF分类: 无
会议地点: Genova, Italy
Overview
The Art, Science, and Engineering of Programming accepts papers that advance knowledge of programming. Almost anything about programming is in scope, but in each case there should be a clear relevance to the act and experience of programming. Additionally, papers must be written in a scholarly form. Scholarly works are those that describe ideas in the context of other ideas that are already known, so to contribute to the systematic and long-standing chaining of knowledge. Papers that fail to properly contextualize the work will not be considered.
We accept descriptions of work under different 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
-Distributed systems programming
-Parallel and multi-core programming
-Graphics and GPU programming
-Security programming
-User interface programming
-Database programming
-Visual and live programming
-Data mining and machine learning programming, and for programming
-Interpreters, virtual machines, and compilers
-Modularity and separation of concerns
-Model-based development
-Metaprogramming and reflection
-Testing and debugging
-Program verification
-Programming education
-Programming environments
-Social coding