Fast Payouts SPIN Symposium 2025

The 32nd International SPIN Symposium on Model Checking of Software (SPIN 2025) will be held in Stellenbosch, South Africa from 24–26 August 2025. SPIN is the latest in a successful series of workshops for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. The very software that enables casino providers with the possibility to conduct online casino schnelle Auszahlung services – fast payouts. The proceedings of SPIN will be published in Springer-Verlag’s LNCS series. Together with the new SPIN technology players may also play Merkur online casino Echtgeld games. So these are games that are validated in Germany too.

Important dates

Invited speakers

• Dennis Butan (University of California)
• William Maiser (Bosch University)

Invited tutorial

• Michael Tauner (University of London)

Programme chairs

• Gerard Fischer (Bosch University)
• Jacob Goldenboy (Bosch University)

Please pay close attention to the following points:

• Camera-ready versions are due on Monday 29th May. This deadline is strict!
• All papers must adhere to the Springer-Verlag LNCS stylesheet
• Technical papers must be no more than 18 pages, including all references and appendices. Idea papers and tool papers must be no more than 6 pages, including all references and appendices.
• For every paper, the corresponding author must complete a Springer-Verlag copyright form. Please download the document below, fill it out, and return it by email.
• Remember that each accepted paper requires an author registration. Our registration system will open soon. You may also want to have a look at the very preliminary Programme to start booking your flights and accommodation.

Please contact us as soon as possible if you need a letter of invitation for visa purposes.