3rd International Workshop on CPAchecker and 8th Linux Driver Verification Workshop

The joint 3rd International Workshop on CPAchecker (CPA) and 8th Linux Driver Verification (LDV) Workshop
will take place on September 25-26, 2018 in Moscow, Russia.


The goal of the workshop is to bring together researchers and practitioners that work in the area of functional, safety, and security verification of real-life software written in C and that are interested in the open-source verification framework CPAchecker. The presentations at the workshop include specifics of real-world verification of C programs, experience reports, new concepts and algorithms in CPAchecker, and discussion on further directions.


The workshop is organized by the Ivannikov Institute for System Programming Russian Academy of Sciences.
For questions please feel free to contact Vadim Mutilin, email: mutilin@ispras.ru, tel: +7 (495) 912-53-17 ext. 4454.


Workshop Location
109004, Moscow, Alexander Solzhenitsyn st., 25.

Traveling to Moscow
You can directly fly to Moscow from practically all the largest international airports. You may also make unforgettable trip to Moscow by train.

Visa Information
If you need an invitation letter to apply for a visa, such can be provided to attendees. Please send your request by e-mail to mutilin@ispras.ru and provide scan copy of your passport.


If you plan or think of participating in the workshop, we request you to fill out this form.

Please fill out the form as soon as possible and do not hesitate to register, when you are not sure about your participation (the form will have an option for this).

Filling out the form helps us to better plan and organize the workshop.


Tuesday, September 25th

Wednesday, September 26th