Springer LNCS-sjabloon in LaTeX (llncs)

Het officiële Springer LNCS-sjabloon is de klasse llncs, van CTAN of uit de richtlijnen voor proceedings van Springer. Scissor LaTeX heeft een gratis nabootsing om in je browser een concept te schrijven, zonder account: begin met het LNCS-sjabloon, of schrijf \documentclass[runningheads]{llncs}, voor één kolom met genummerde instituten en de stellingomgevingen van de klasse. Hetzelfde .tex-bestand compileert met de officiële klasse.

Open de sjabloon LNCS in de editor Gratis, in je browser, zonder account

Het sjabloon

Het LNCS-sjabloon is een paper over formele methoden en bounded model checking, met drie auteurs aan twee instituten, trefwoorden, een definitie, een stelling met bewijs, een grafiek met logaritmische schaal, een booktabs-tabel, een credits-sectie en genummerde referenties. Open het LNCS-sjabloon in de editor om alles te zien.

Aanzetten

llncs is een documentklasse:

\documentclass[runningheads]{llncs}

De opmaak is het LNCS-tekstblok (12.2 bij 19.3 cm, één kolom), gecentreerd op Letter-papier, of op A4 met de optie a4paper, gezet in Latin Modern in 10 pt. runningheads voegt de korte titel en de auteurslijst toe bovenaan de pagina's na de eerste, met het paginanummer; zonder die optie hebben de pagina's geen kop.

Auteurs met instituten, ORCID, trefwoorden en een stelling

LaTeXKopiërenOpenen in de editor (opent in een nieuw tabblad)

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

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

Commando's van de klasse

Koppen volgen de klasse: "1 Introduction" en "1.1" in het vet, met \subsubsection als kleine vette kop op een eigen regel (de klasse laat die in de alinea doorlopen). Bijschriften van figuren en tabellen luiden "Fig. 1." en "Table 1.".

Literatuurlijst

Het sjabloon gebruikt \bibliographystyle{splncs04}, wat Scissor LaTeX zet met de citatiestijl van Springer LNCS: genummerde items en citaties als [1]. Zie literatuurlijsten.

Wat anders is dan llncs

Haal voor het indienen llncs.cls van CTAN (llncs), waar ook de documentatie van de klasse staat, of uit de richtlijnen voor proceedings van Springer. Je .tex-bestand compileert er ongewijzigd mee. Zie sjablonen met nagebootste congresopmaak voor de andere opmaken en stellingen en bewijzen voor stellingomgevingen in het algemeen.

Elk voorbeeld op deze pagina wordt door Scissor LaTeX gezet wanneer de site wordt gebouwd. Laatst bijgewerkt op 2026-11-07.