[TYPES/announce] VMCAI 2022 - Call for Participation

[Thomas Wies]

[Apologies for multiple copies of this announcement]

*******************************************************************************
                             CALL FOR PARTICIPATION

       23rd International Conference on Verification, Model Checking, and
                             Abstract Interpretation

                                   VMCAI 2022
                              January 16-18, 2022
                   https://urldefense.com/v3/__https://popl22.sigplan.org/home/VMCAI-2022__;!!IBzWLUs!FJJtaz2vawVuORoTuu0HFCuclSXyIaCf3aOIshE4qIvmh4DEYOcFccZ4SciZG5kSP-TwDujm4LCXww$ 
*******************************************************************************


*Call for Participation*
VMCAI 2022 is the 23rd International Conference on Verification, Model 
Checking, and Abstract Interpretation. The conference is co-located with 
POPL 2022 and will be held on January 16-18, 2022 in Philadelphia, PA, 
USA. Virtual participation is also possible.

VMCAI provides a forum for researchers from the communities of 
Verification, Model Checking, and Abstract Interpretation, facilitating 
interaction, cross-fertilization, and advancement of hybrid methods that 
combine these and related areas.

*Invited Speakers*
Isil Dillig, UT Austin - Simplifying Concurrent Programming via 
Synchronization Synthesis
Javier Esparza, TU Munich - Back to the Future: A Fresh Look at Linear 
Temporal Logic
Thomas A. Henzinger, IST Austria - Sequential Information Flow

*Program*
The program of VMCAI 2022 consists of 23 refereed research papers, tool 
papers and case studies, and can be found at
https://urldefense.com/v3/__https://popl22.sigplan.org/home/VMCAI-2022*program__;Iw!!IBzWLUs!FJJtaz2vawVuORoTuu0HFCuclSXyIaCf3aOIshE4qIvmh4DEYOcFccZ4SciZG5kSP-TwDugFA27Jmw$ 

*Registration*
Registration is through POPL's registration web-page, as part of POPL's
co-events, and provides a choice between an in-person (regular/student) 
registration fee and a discounted virtual registration fee. To attend in 
person, choose the "in-person POPL" option from the main registration 
page, which later will prompt you to select the specific meetings you 
want to attend, including VMCAI 2022. To participate remotely, choose 
the "Virtual POPL" option which is common to all POPL-week events. Note 
that in both cases, you will automatically get all the benefits of the 
"Virtual POPL" option, namely, remote access to all POPL-week events as 
well as the POPL Virtual Workshop. If you are already registered, and 
wish to either update your information or switch between the in-person 
and virtual options, use the "Update Information" option.

Early registration closes on January 3rd.
https://urldefense.com/v3/__https://regmaster.com/2022conf/POPL22/register.php__;!!IBzWLUs!FJJtaz2vawVuORoTuu0HFCuclSXyIaCf3aOIshE4qIvmh4DEYOcFccZ4SciZG5kSP-TwDuhjOxPwJQ$ 

More information is available on the conference webpage:
https://urldefense.com/v3/__https://popl22.sigplan.org/home/VMCAI-2022__;!!IBzWLUs!FJJtaz2vawVuORoTuu0HFCuclSXyIaCf3aOIshE4qIvmh4DEYOcFccZ4SciZG5kSP-TwDujm4LCXww$ 

*Organizing Committee*

Bernd Finkbeiner, Program Co-Chair
Thomas Wies, Program Co-Chair
Mark Santolucito, Artifact Evaluation Chair
Ruzica Piskac, Publicity Chair