‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal

Artificial Intelligence is becoming a mainstream concern in everyday software construction. Driven by appealing success stories such as autonomous vehicles, cloud-based intelligent services (e.g., Google Translate), intelligent health-related mobile apps, etc., more and more software companies intend to leverage AI techniques in their products. However, there is a large gap between the Programming/Software Engineering field and the Artificial Intelligence field. Since the late eighties, these subfields of Computer Science have matured independently: they form separated research communities, they have given rise to separate labs in computer science departments and they often comprise different profiles or specialisations in Computer Science Master programmes. The latest insights in Artificial Intelligence and Programming/Software Engineering are therefore not always compatible and/or understood by practitioners. “Adding intelligent behaviour” to a large modern software system is therefore currently more a craft than a solid engineering domain.

Whereas AI in the late 20th century mainly focussed on symbolic techniques (NLP, knowledge representation, concept learning, genetic programming, rule-based languages, expert systems, …), most contemporary AI (and especially Machine Learning) research is subsymbolic (i.e., numerical) in nature. This trend exacerbates the aforementioned chasm between the Artificial Intelligence domain and the Programming/Software Engineering domain.

New technologies are needed to reconcile the results of both domains in a systematic and well-founded manner. This workshop seeks to solve this problem. Because it is a workshop, we choose an approach where the vast array of assets produced by our community in the last three decades (code, hierarchies, diagrams, state-charts, languages, …) needs to be enhanced with AI/ML-specific features. These AI/ML-specific features can come from the more traditional symbolic strand of AI (e.g., rule-based languages, knowledge representation, …) as well as from the more recent subsymbolic (i.e., numerical) strand of AI (e.g., reinforcement learning, neural networks, …).

This program is tentative and subject to change.

Tue 24 Mar

eniac-2020-papers
09:00 - 10:30: ENIAC20 - ENIAC #1 at W3
eniac-2020-papers
11:00 - 12:30: ENIAC20 - ENIAC #2 at W3
eniac-2020-papers
14:00 - 15:30: ENIAC20 - ENIAC #3 at W3
eniac-2020-papers
16:00 - 17:30: ENIAC20 - ENIAC #4 at W3

Call for Papers

Relevant topics for technical papers include, but are not limited to:

  • Differentiable programming frameworks and languages
  • DSLs, libraries, and middleware for integrating AI/ML techniques in software systems
  • Declarative languages for knowledge representation
  • Programming languages and paradigms for implementing AI/ML techniques
  • Requirements analysis for designing and architecting AI/ML-intensive systems
  • Architectures for online machine learning and real-time model serving
  • Design patterns, best practices, and metrics for ensuring the quality of AI/ML-intensive systems
  • Language and tool support for implementing, testing, debugging, verifying, and validating AI/ML-intensive systems
  • Language and tool support for model management, evolution, and deployment
  • Integration of AI/ML workflows (data collection, cleaning, labelling, feature engineering, model training, model evaluation, model deployment, …) in software engineering processes (e.g., MLOps, …)

In addition to purely academic papers about the above topics, we also solicit experience reports, extensions of and case studies about the integration of state-of-the-art AI/ML platforms:

  • AI/ML languages and model representations: CLIPS, Datalog, Drools, Prolog, ONNX, …
  • AI/ML frameworks: Azure ML, Caffe, PyTorch, TensorFlow, Scikit-learn, …
  • Distributed AI/ML and real-time model serving frameworks: Coral, CoreML, ML Kit, Spark ML, …

The workshop accepts two kinds of contributions:

  • 6-page technical papers and experience reports in ACM format to be reviewed by at least three members of the program committee. Accepted submissions will be included in the official workshop post-proceedings. The deadline for these submissions is January 15th.
  • 1-page presentation abstracts which, when accepted, will be made available informally on the website. The deadline for these submissions is February 1st.

All submissions should provide unpublished and original work that has not been previously accepted for publication nor concurrently submitted for review in another workshop, conference, journal, or book. If the submission is accepted, at least one author must attend the workshop and present the paper in order to include the paper in the proceedings.

Submit your paper via EasyChair. Mark the category it belongs to, i.e., a technical paper or a presentation abstract. You can upload incremental versions of your paper so do not wait until the last minute to submit.

If you have any questions or wonder whether your submission is in scope, please do not hesitate to contact the PC chair.

Questions? Use the ENIAC20 contact form.