Modèle LaTeX Springer LNCS (llncs)

Le modèle Springer LNCS officiel est la classe llncs, disponible sur CTAN ou dans les consignes de Springer pour les actes. Scissor LaTeX en propose une imitation gratuite pour rédiger dans le navigateur, sans compte : partez du modèle LNCS, ou écrivez \documentclass[runningheads]{llncs}, pour une colonne avec des instituts numérotés et les environnements de théorème de la classe. Le même .tex compile avec la classe officielle.

Ouvrir le modèle LNCS dans l’éditeur Gratuit, dans votre navigateur, sans compte

Le modèle

Le modèle LNCS est un article de méthodes formelles sur la vérification de modèles bornée, avec trois auteurs dans deux instituts, des mots-clés, une définition, un théorème et sa démonstration, un graphique à échelle logarithmique, un tableau booktabs, une section credits et des références numérotées. Ouvrez le modèle LNCS dans l’éditeur pour le voir en entier.

L’activer

llncs est une classe de document :

\documentclass[runningheads]{llncs}

La mise en page est le bloc de texte LNCS (12.2 sur 19.3 cm, une colonne) centré sur du papier Letter, ou sur du A4 avec l’option a4paper, composé en Latin Modern à 10 pt. runningheads ajoute le titre court et la liste des auteurs en haut des pages qui suivent la première, avec le numéro de page ; sans cette option, les pages n’ont pas d’en-tête.

Auteurs avec instituts, ORCID, mots-clés et un théorème

LaTeXCopierOuvrir dans l'éditeur (s’ouvre dans un nouvel onglet)

\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}

Onglet Problèmes : Layout in the style of the Springer LNCS format (final mode). Not official. To compile elsewhere, add llncs.cls from ctan.org/pkg/llncs.

Commandes de la classe

Les titres suivent la classe : « 1 Introduction » et « 1.1 » en gras, avec \subsubsection composé comme un petit titre en gras sur sa propre ligne (la classe l’intègre au paragraphe). Les légendes de figure et de tableau se lisent « Fig. 1. » et « Table 1. ».

Bibliographie

Le modèle utilise \bibliographystyle{splncs04}, que Scissor LaTeX compose avec le style de citation Springer LNCS : entrées numérotées et citations [1]. Voir bibliographies.

Ce qui diffère de llncs

Pour soumettre, récupérez llncs.cls sur CTAN (llncs), où se trouve aussi la documentation de la classe, ou dans les consignes de Springer pour les actes. Votre fichier .tex compile avec elle sans modification. Voir modèles imitant les conférences pour les autres mises en page, et théorèmes et démonstrations pour les environnements de théorème en général.

Chaque exemple de cette page est composé par Scissor LaTeX lors de la génération du site. Dernière mise à jour : 2026-11-07.