Шаблон LaTeX Springer LNCS (llncs)

Официальный шаблон Springer LNCS это класс llncs с CTAN или из требований Springer к сборникам трудов. В Scissor LaTeX есть бесплатный похожий макет для черновиков в браузере, без аккаунта: начните с шаблона LNCS или напишите \documentclass[runningheads]{llncs}, чтобы получить один столбец с нумерованными институтами и окружениями теорем из класса. Тот же .tex компилируется с официальным классом.

Открыть шаблон LNCS в редакторе Бесплатно, в браузере, без учётной записи

Шаблон

Шаблон LNCS это статья по формальным методам об ограниченной проверке моделей, с тремя авторами из двух институтов, ключевыми словами, определением, теоремой с доказательством, графиком в логарифмическом масштабе, таблицей booktabs, разделом credits и нумерованными ссылками. Откройте шаблон LNCS в редакторе, чтобы увидеть его целиком.

Как его включить

llncs это класс документа:

\documentclass[runningheads]{llncs}

Макет: текстовый блок LNCS (12.2 на 19.3 см, один столбец) по центру бумаги Letter или A4 с параметром a4paper, набранный в Latin Modern кеглем 10 pt. runningheads добавляет краткий заголовок и список авторов вверху страниц после первой, вместе с номером страницы; без него у страниц нет колонтитулов.

Авторы с институтами, ORCID, ключевые слова и теорема

LaTeXКопироватьОткрыть в редакторе (откроется в новой вкладке)

\documentclass[runningheads]{llncs}
\usepackage{amsmath}

\begin{document}
\title{Bounded Model Checking of Timed Message Protocols}
\titlerunning{Bounded Model Checking of Timed Protocols}
\author{Erika Mustermann\inst{1}\orcidID{0000-0000-0000-0044} \and
John Doe\inst{2}}
\authorrunning{E. Mustermann and J. Doe}
\institute{Example University, Musterstadt, Germany\\
\email{erika.mustermann@example.org} \and
Institute of Example Studies, Exampleton, USA}
\maketitle

\begin{abstract}
We encode timed protocols as SMT problems and check them up to a bound.
\keywords{Model checking \and Timed automata \and SMT.}
\end{abstract}

\section{Introduction}
\begin{definition}
A run of a protocol is a finite sequence of states $s_0, \dots, s_k$.
\end{definition}

\begin{theorem}\label{thm:bound}
Every run of a protocol with 44 nodes reaches a fixed point within $2n$ steps.
\end{theorem}

\begin{proof}
By induction on the number of pending messages. \qed
\end{proof}

Theorem~\ref{thm:bound} gives the bound we use.
\end{document}

Вкладка «Проблемы»: Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Команды класса

Заголовки следуют классу: «1 Introduction» и «1.1» полужирным, а \subsubsection набирается как маленький полужирный заголовок на отдельной строке (класс вписывает его в абзац). Подписи рисунков и таблиц выглядят как «Fig. 1.» и «Table 1.».

Список литературы

Шаблон использует \bibliographystyle{splncs04}, который Scissor LaTeX оформляет в стиле цитирования Springer LNCS: нумерованные записи и ссылки [1]. См. список литературы.

Чем это отличается от llncs

Для подачи возьмите llncs.cls с CTAN (llncs), где есть и документация класса, или из требований Springer к сборникам трудов. Ваш файл .tex компилируется с ним без изменений. Другие макеты описаны на странице похожих шаблонов конференций, а окружения теорем в целом на странице теоремы и доказательства.

Каждый пример на этой странице верстается в Scissor LaTeX при сборке сайта. Обновлено 2026-11-07.