fm

What problem does it solve?

This skill offers writing and formatting guidance for FM conference submissions, covering Springer LNCS templates, two-column layout, page limits, formal-methods conventions (theorem/proof environments), camera-ready preparation, and bibliography style.

Core Features & Use Cases

• LaTeX template guidance for FM submissions using the Springer LNCS class (llncs) and common packages.
• Page, layout, and anonymity guidance for main papers and references, including camera-ready considerations.
• Formal methods support guidance: theorem/proof environments, inference rules, and correct formatting of figures, tables, and references in LNCS style.
• End-to-end workflow guidance from draft to submission, ensuring compliance with CFP requirements.

Quick Start

Use this FM skill to draft and format your manuscript following Springer LNCS guidelines.