[VMCAI '06] Early registration upto Dec 15

VMCAI '06 <>
Wed Dec 14 09:32:55 CET 2005

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.
                                               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

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. 

  Early Registration/Hotel Booking : The deadline is December *15*, 2005. 
  Conference                       : January 8--10, 2006


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)


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)

More information about the erlang-questions mailing list