Monday
Tuesday
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 the three areas.
It will be held at the Mills House Hotel in Charleston, South Carolina, U.S.A., just prior to POPL 2006, with which it is co-located. Detailed program information, registration and hotel booking procedures can be found on the conference web page: http://www.cs.utexas.edu/~vmcai06
** PROGRAM **
In addition to the contributed papers (a full list is on the web page) the program includes invited talks by
* Edmund M. Clarke, Carnegie Mellon University
* James R. Larus, Microsoft Research
* Greg Morrisett, Harvard University
and invited tutorials by
* Nicolas Halbwachs, VERIMAG
* David Schmidt, Kansas State University
VMCAI06 is supported by the University of Texas at Austin, Microsoft Research, and NEC Research Labs. We are grateful for the generous support.
** IMPORTANT DATES **
Early Registration/: The deadline is December 7, 2005.
Hotel Booking
Conference: January 8--10, 2006