Submission Instructions
Regular Papers
- ISSAC 2023 invites the submission of original research contributions
to be considered for publication and presentation at the conference.
Papers should not duplicate work published or submitted for consideration
elsewhere.
- Papers must be in English and should not exceed 8 pages in the ACM
two-column style, found at:
http://www.acm.org/publications/proceedings-template
which can be downloaded from:
https://portalparts.acm.org/hippo/latex_templates/acmart-primary.zip.
However, 2 additional pages may be used for bibliographical references,
and/or for experimental results (tables, figures), experimental data
(e.g. input or output systems for a solver) and computer program code
(library code, scripts, worksheets, Makefiles, etc.).
The portion of the paper before these two additional pages must be
self-contained.
- Extended abstracts are not allowed.
- At least one
author of each accepted paper must register for the conference and
present the paper.
- Submission is via EasyChair, at the web site
https://www.easychair.org/conferences/?conf=issac23.
