[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [VMCAI2012] VMCAI 2012: call for participation



                              VMCAI 2012

                13th International Conference on 
   Verification, Model Checking, and Abstract Interpretation

             Philadelphia, USA, January 22-24, 2012

          http://lara.epfl.ch/vmcai2012/program.html

        Early registration deadline is December 24.

   https://regmaster3.com/2012conf/POPL12/register.php


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 talks:

* Alex Aiken: New applications of underapproximations in static analysis
* Rajeev Alur: Computer augmented program engineering
* Ahmed Bouajjani: Abstract domains for automated reasoning about list-manipulating programs with infinite data
* Tobias Nipkow: Teaching semantics with a proof assistant: teach proofs, not logic!

Invited Tutorial:

* Ranjit Jhala: Software verification with liquid types

Contributed papers:

The VMCAI 2012 program encompasses 26 regular papers.
http://lara.epfl.ch/vmcai2012/program.html

Best regards,

Viktor Kuncak and Andrey Rybalchenko, co-chairs.