Software Engineering

32nd International Symposium on Model Checking Software

SPIN 2026

Date 15-16 April 2026
Location Torino, Italy
Venue The Westin Siray Bay Resort & Spa, Phuket, Thailand
Format In Person

About this Conference

A symposium bringing together researchers and practitioners interested in automated tool-based techniques for software and model analysis, focusing on verification and validation. The event covers a broad range of formal methods and software analysis techniques.

Call for Papers

Papers are solicited in three categories: Full Research Papers (16 pages), Full Tool Papers with mandatory artifact (16 pages), and Short Papers (6 pages). Submissions should be original work not published elsewhere, adhere to LNCS format, and will be peer-reviewed based on originality, contribution, soundness, evaluation, and presentation.

Important Dates

  • Abstract Submission January 15, 2026
  • Full Paper Submission January 22, 2026
  • Notification March 5, 2026
  • Abstract Submission November 15, 2025
  • Early Registration December 20, 2025
  • Conference dates 15-16 April 2026

Registration Fees

Type Amount Deadline
Early Bird Dec 20, 2025
Late Jan 15, 2026