[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 arit...@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
