Template LaTeX Springer LNCS (llncs)

Il template ufficiale Springer LNCS è la classe llncs, da CTAN o dalle linee guida di Springer per gli atti. Scissor LaTeX ha un’imitazione gratuita per scrivere bozze nel browser, senza account: parti dal template LNCS, oppure scrivi \documentclass[runningheads]{llncs}, per una colonna con istituti numerati e gli ambienti per i teoremi della classe. Lo stesso .tex compila con la classe ufficiale.

Apri il modello LNCS nell’editor Gratis, nel browser, senza account

Il template

Il template LNCS è un paper di metodi formali sul bounded model checking, con tre autori di due istituti, parole chiave, una definizione, un teorema con dimostrazione, un grafico in scala logaritmica, una tabella booktabs, una sezione credits e riferimenti numerati. Apri il template LNCS nell’editor per vederlo tutto.

Attivarlo

llncs è una classe di documento:

\documentclass[runningheads]{llncs}

Il layout è il blocco di testo LNCS (12.2 per 19.3 cm, una colonna) centrato su carta Letter, oppure su A4 con l’opzione a4paper, composto in Latin Modern a 10 pt. runningheads aggiunge il titolo breve e l’elenco degli autori in cima alle pagine successive alla prima, con il numero di pagina; senza di esso le pagine non hanno testatina.

Autori con istituti, ORCID, parole chiave e un teorema

LaTeXCopiaApri nell'editor (si apre in una nuova scheda)

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

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

Comandi della classe

Le intestazioni seguono la classe: "1 Introduction" e "1.1" in grassetto, con \subsubsection composto come una piccola intestazione in grassetto su una riga a sé (la classe lo inserisce nel paragrafo). Le didascalie di figure e tabelle riportano "Fig. 1." e "Table 1.".

Bibliografia

Il template usa \bibliographystyle{splncs04}, che Scissor LaTeX compone con lo stile di citazione Springer LNCS: voci numerate e citazioni [1]. Vedi bibliografie.

Cosa cambia rispetto a llncs

Per l’invio, scarica llncs.cls da CTAN (llncs), dove si trova anche la documentazione della classe, oppure dalle linee guida di Springer per gli atti. Il tuo file .tex compila con essa senza modifiche. Vedi template somiglianti per conferenze per gli altri layout e teoremi e dimostrazioni per gli ambienti di tipo teorema in generale.

Ogni esempio di questa pagina viene composto da Scissor LaTeX quando il sito viene generato. Ultimo aggiornamento: 2026-11-07.