[AISWorld] Call for Participation - SPIN 2022 - FREE registration, online event

[Owolabi Legunsen]

************************************************************************

              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