[VMCAI '06] Early registration upto Dec 15

[VMCAI '06]

=============================================================================
Early Registration open until 15 December 05
==============================================================================

                    VMCAI 2006: CALL FOR PARTICIPATION

                7th International Conference on Verification, 
                Model Checking, and Abstract Interpretation
            January 8--10, 2006, Charleston, South Carolina, U.S.A.
                      http://www.cs.utexas.edu/~vmcai06
==============================================================================
                                               Apologies for multiple copies
==============================================================================

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/Hotel Booking : The deadline is December *15*, 2005. 
  Conference                       : January 8--10, 2006

** PROGRAM COMMITTEE **

Alex Aiken (Stanford)
Thomas Ball (Microsoft)
Hana Chockler (IBM)
Patrick Cousot (ENS)
E. Allen Emerson (UT Austin)  [Co-chair]
Javier Esparza (U. Stuttgart)
Roberto Giacobazzi (U. Verona)
Patrice Godefroid (Bell Labs)
Warren Hunt (UT Austin)
Neil Jones (DIKU)
Tiziana Margaria-Steffen (U. Goettingen)
Markus Mueller-Olm (U. Muenster)
Kedar S. Namjoshi (Bell Labs) [Co-chair]
George Necula (U.C. Berkeley)
Jens Palsberg (UCLA)
Andreas Podelski (MPI)
Thomas W. Reps (U. Wisconsin)
A. Prasad Sistla (UIC)
Colin Stirling (U. Edinburgh)
Scott Stoller (SUNY Stony Brook)
Lenore Zuck (UIC)


** STEERING COMMITTEE **

Agostino Cortesi (U. Venezia)
Patrick Cousot (ENS)
E. Allen Emerson (UT Austin)
Giorgio Levi (U. Pisa)
Andreas Podelski (MPI)
Thomas W. Reps (U. Wisconsin)
David Schmidt (KSU)
Lenore Zuck (UIC)