-----Original Message-----
From: VMCAI '06 [mailto:[log in to unmask]]
Sent: 28 November 2005 23:09
To: [log in to unmask]
Subject: [VMCAI '06] Call for participation
===========================================================================
==
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/: The deadline is December 7, 2005.
Hotel Booking
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)
|