esa

name	esa
description	Writing and formatting guidance for ESA (European Symposium on Algorithms) conference papers. Use when drafting, formatting, or submitting to ESA 2026. Covers Springer LNCS llncs class, page limits, algorithm-specific writing conventions (theorem environments, pseudocode), figure/table formatting, and camera-ready submission requirements.

ESA 2026 Conference Writing Skill

CCF-B | Algorithms | Publisher: Springer Conference: https://esa2026.compute.dela Template: ESA/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 |

ESA 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 ESA 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

ESA papers emphasize formal algorithm analysis:

\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/algorithm}
\caption{Overview of the proposed algorithm.}
\label{fig:algorithm}
\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