icalp

name	icalp
description	Writing and formatting guidance for ICALP (International Colloquium on Automata, Languages, and Programming) conference papers. Use when drafting, formatting, or submitting to ICALP 2026. Covers Springer LNCS llncs class, theory-specific conventions (theorem environments, proofs), page limits, and camera-ready submission requirements.

ICALP 2026 Conference Writing Skill

CCF-B | Theory | Publisher: Springer Conference: https://icalp2026.compute.dela Template: ICALP/llncs.cls (Springer LNCS)

Document Setup

Preamble Structure

\documentclass[envcountsame]{llncs}

\usepackage{makeidx}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{graphicx}
\usepackage{url}
\usepackage{hyperref}
\hypersetup{colorlinks=true}

Springer LNCS Options

Option	Description
envcountsame	Number theorem-like environments per section
envcountreset	Reset theorem counters per section
runningheads	Short titles in page headers

Page Limits

|| Section | Limit | |---------|-------| | Main paper | 12 pages | | References | No specific limit |

ICALP typically allows 12 pages for the main content. Check the official CFP for the current year's exact limits.

Title and Author Formatting

\title{Your Paper Title Here}

\author{First Author\inst{1} \and
        Second Author\inst{2}}

\institute{
  Institution 1\\
  \email{[e-mail]}
  \and
  Institution 2\\
  \email{[e-mail]}
}

Abstract

\begin{document}
\maketitle

\begin{abstract}
Your abstract here. Summarize the problem, approach, and main results.
\keywords{keyword1, keyword2, keyword3}
\end{abstract}

Section Organization

Standard ICALP paper structure:

1. Abstract — Summary of problem, approach, and results
2. Introduction — Problem, motivation, contributions
3. Preliminaries — Definitions and notation
4. Problem Definition — Formal statement
5. Upper Bounds — Algorithms with analysis
6. Lower Bounds — Hardness results (if applicable)
7. Related Work — Comparison with prior work
8. Conclusion — Summary and open problems
9. References

Theorem Environments

ICALP papers emphasize formal proofs:

\theoremstyle{plain}
\newtheorem{observation}{Observation}
\newtheorem{property}{Property}
\newtheorem{invariant}{Invariant}

\theoremstyle{plain}
\newtheorem*{theorem}{Theorem}
\newtheorem*{lemma}{Lemma}
\newtheorem*{corollary}{Corollary}
\newtheorem*{claim}{Claim}

\theoremstyle{Proof}
\newtheorem{Proof}{Proof}

Figures and Tables

\begin{figure}[t]
\centering
includegraphics[width=0.8\linewidth]{fig/example}
\caption{Example illustrating the construction.}
\label{fig:example}
\end{figure}

• Use PDF, PNG, or EPS
• Ensure grayscale legibility
• Self-contained captions
• Use booktabs for tables (no vertical rules)

References (natbib)

\bibliographystyle{spbasic}  % Springer basic style
\bibliography{references}

\citet{smith2023}      % Smith et al. (2023)
\citep{smith2023}      % (Smith et al. 2023)

Formatting Rules

• Format: Two-column, single-spaced
• Paper size: A4
• Body font: 10pt
• Margins: 2.5cm all around

Submission Checklist

• 12 pages or fewer (main body)
• Springer LNCS llncs document class
• Abstract and keywords included
• All figures in .pdf/.png/.eps format
• References in correct format
• Compiles with pdflatex