[TYPES/announce] ARITH-26, first CFP

[Sylvie Boldo]

Please note that research on formal proofs related to computer arithmetic is 
very welcome!

==========================================================
                      CALL FOR PAPERS
                          ARITH-26

         26th IEEE Symposium on Computer Arithmetic
             June 10 – 12, 2019,  Kyoto, Japan


               http://www.arithsymposium.org
===========================================================

=== Scope ===

Since 1969, the ARITH symposia have served as the flagship conference
for presenting scientific work on the latest research in computer
arithmetic. Computer arithmetic is now driving the most important
innovations and product directions in our industry, such as artificial
intelligence and security.

Authors are invited to submit papers describing recent advances on all aspects
related to computer arithmetic, its applications or implementations. This
includes, but is not restricted to, the following topics:

     Foundations of number systems and arithmetic
     Arithmetic processor design and implementation
     Arithmetic and datapath design for artificial intelligence, machine 
learning, and deep learning
     Numerics for artificial intelligence, machine learning, and deep learning
     Arithmetic algorithms and their analysis
     Floating-point units, algorithms, and numerical analysis
     Elementary and special function implementations
     Power-efficient or low-energy arithmetic units and processors
     Industrial implementation of arithmetic units and processors
     Test, validation, and formal verification techniques for arithmetic 
implementations
     Fault/error-tolerance in arithmetic implementations
     Arithmetic for FPGAs and reconfigurable logic
     Design automation for computer arithmetic implementations
     Computer arithmetic for security and cryptography
     Arithmetic to enhance accuracy or reliability (multiple-precision, interval 
arithmetic, ...)
     Arithmetic challenges in HPC and exascale computing (accuracy, 
reproducibility, ...)
     Arithmetic for specific application domains (big-data analytics, signal 
processing, computer graphics, multimedia, computer vision, finance, ...)
     Computer arithmetic in emerging technologies
     Non-conventional computer arithmetic and applications

NEW: Short and Industry Papers

For ARITH 26, we are also inviting short papers (4 pages maximum) to
describe industry applications, work-in-progress ideas, or interim results.
PhD students are especially welcome and may present their work in an informal
session.

All submissions, whether regular full papers, short or industry papers, or PhD
presentations, will have a full presentation slot scheduled.


NEW: Call for Special Sessions

For ARITH 26 we also invite proposals for special sessions in selected topics.
Examples of special sessions in previous ARITH conferences are "FPGA
arithmetic", "realizing efficient matrix computation", and "DSP in arithmetic".
Organizers of special sessions will provide topics, invite speakers, and review
the submitted extended abstracts. Special session invitees will also have the
option of submitting a short paper for peer review.  Interested organizers are
invited to contact the PC chairs (at arith26 at easychair.org) for acceptance
before November 30th, 2018.


=== Procedure for submission ===

Submission site: https://easychair.org/conferences/?conf=arith26

NEW: an abstract submission deadline has been set to January 14th. This initial
submission must include title, author(s), and abstract. The paper is due on
January 21st.

Papers under review elsewhere are not acceptable for submission to ARITH 26. A
double-blind peer review policy will be enforced. Please, remove authors' names,
acknowledgments or any obvious references to the authors before submission. By
submitting a paper you implicitly confirm you are solely submitting it to ARITH
26. The final submissions of accepted regular session papers cannot exceed 8
pages (NO extra pages) using the IEEE Computer Society Conference format (two
columns). However, for review, authors may submit a paper with a maximum of 20
pages, 12pt font size, single column and double spacing. The final submissions
for short and industry papers and PhD presentations cannot exceed 4 pages (NO
extra pages) using the IEEE Computer Society Conference format (two columns).
For review, the paper may have up to 10 pages, in 12pt font size, single column
and double spacing.

Formatting instructions:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html

=== Important dates ===

Special session proposal                     November 30th, 2018
Abstract submission                          January 14th, 2019
Full paper submission                        January 21st, 2019
Paper notification                           Early April, 2019
Paper camera-ready                           Mid-April, 2019
Conference                                   June 10-12th, 2019

=== Organization ===

= General chair =
Naofumi Takagi, Kyoto Univ., Japan

= Program co-chairs =
Sylvie Boldo, Inria, France
Martin Langhammer, Intel



-- 
Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France
PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex