Email Gateway (May 13 2022 at 08:54): Email Gateway (May 13 2022 at 08:54):From: Owolabi Legunsen <legunsen@cornell.edu>
Call for Participation
SPIN 2022
International Symposium on Model Checking of Software
May 21, 2022
9:20am to 3:30pm US Central Time
ONLINE EVENT
Conference program: https://spin2022chi.web.illinois.edu/program
About SPIN
The 28th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software but does not exclude the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation.
Registration
Registration is FREE. To receive the Zoom links to the event, sign up here: https://forms.gle/EeSxwn23stmX1GLo7
Invited speakers
For the complete program and talk abstracts, see the website:
https://spin2022chi.web.illinois.edu/program
Contact
Owolabi Legunsen, Cornell University
Grigore Rosu, University of Illinois at Urbana-Champaign
Last updated: Jul 15 2022 at 23:21 UTC