[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[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
