Writing and formatting guidance for AAAI Conference on Artificial Intelligence papers. Use when drafting, revising, or formatting papers for AAAI 2026 submission or camera-ready. Covers aaai2026 LaTeX class, anonymous submission mode, page limits, reference formatting with natbib, figure/table placement, Times font requirements, and CCF-A category requirements.
Writing and formatting guidance for ACL (Association for Computational Linguistics) conference papers. Use when drafting, formatting, or submitting papers to ACL 2026. Covers the acl.sty class with review/final/preprint modes, Times font and microtype setup, title box adjustment for oversized headers, natbib citation commands, appendix formatting, and double-blind anonymity rules. This skill applies equally to EMNLP, NAACL, COLING, and CoNLL which share the same acl.sty template.
Writing and formatting guidance for ACM MM (ACM International Conference on Multimedia) papers. Use when drafting, formatting, or submitting to ACM MM 2026. Covers ACM acmart sigconf format with double-blind review mode, ACM MM page limits (8 pages), multimedia-specific conventions (multi-modal content, figures, supplementary materials), and ACM camera-ready preparation.
Writing and formatting guidance for ASE (IEEE/ACM International Conference on Automated Software Engineering). Use when drafting, formatting, or submitting to ASE. Covers ACM acmart with sigconf format, anonymous double-blind review mode, ASE page limits, software engineering conventions, tool papers, camera-ready preparation with DOI/ISBN, and ACM-Reference-Format citations.
Writing and formatting guidance for ASPLOS (International Conference on Architectural Support for Programming Languages and Operating Systems) papers. Use when drafting, formatting, or submitting to ASPLOS 2026. ASPLOS is a unique cross-disciplinary venue at the intersection of architecture, systems, and PL. Covers ACM acmart sigplan format with anonymous review mode, ASPLOS-specific writing conventions (contribution clarity, architectural methodology, real-system evaluation), 14-page limit, and camera-ready preparation.
Writing and formatting guidance for BIBM (IEEE International Conference on Bioinformatics and Biomedicine) papers. Use when drafting, formatting, or submitting to BIBM 2026. Covers IEEEtran.cls conference format, double-blind anonymity with peerreviewca mode, page limits, reference formatting with IEEEtran BibTeX style, bioinformatics and biomedical text formatting conventions, and camera-ready preparation. BIBM is a CCF-B conference published by IEEE.
Writing and formatting guidance for CADE (International Conference on Automated Deduction) conference papers. Use when drafting, formatting, or submitting to CADE 2026. Covers Springer LNCS llncs class, theorem proving conventions (theorem environments, proofs, inference rules), page limits, and camera-ready submission requirements.
Writing and formatting guidance for CAV (International Conference on Computer Aided Verification) papers. Use when drafting, formatting, and submitting to CAV 2026. Covers Springer LNCS llncs class, CAV page limits (16 pages), double-blind anonymity, theorem environments for formal verification, proof by induction/reduction arguments, and Springer camera-ready preparation.