-------- Forwarded Message -------- Subject: [AISWorld] Call for Participation - SPIN 2022 - FREE registration, online event Date: Fri, 13 May 2022 00:37:18 +0000 From: Owolabi Legunsen legunsen@cornell.edu To: Rosu, Grigore grosu@illinois.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

* Prasad Sistla, University of Illinois at Chicago * Gul Agha, University of Illinois at Urbana-Champaign

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 _______________________________________________ AISWorld mailing list AISWorld@lists.aisnet.org