Lenore Zuck's Home Page

Recent Conferences/Workshop on PC, co-chair, chair, SC, etc.

	TACAS '05 Tools and Algorithms for the Construction and Analysis of Systems (Edinburgh, April 2005)
	TACAS '06 Tools and Algorithms for the Construction and Analysis of Systems (Wienna, April 2006)
	TACAS '07 Tools and Algorithms for the Construction and Analysis of Systems (Braga, 2007)
	VMCAI '03 Fourth International Conference on Verification, Model Checking, and Abstract Interpretation (NYU, Jan 2003)
	VMCAI '04 Fifth International Conference on Verification, Model Checking, and Abstract Interpretation (Venice, Jan 2004)
	VMCAI '05 Sixth International Conference on Verification, Model Checking, and Abstract Interpretation (Paris, Jan 2005)
	VMCAI '06 Seventh International Conference on Verification, Model Checking, and Abstract Interpretation (Charleston, Jan 2006)
	VMCAI '07 Eighth International Conference on Verification, Model Checking, and Abstract Interpretation (Nice, Jan 2007)
	CSFW05 18th IEEE Computer Security Foundations Workshop (Aix-en-Provence, June 2005)
	CSFW06 19th IEEE Computer Security Foundations Workshop (Venice, June 2006)
	CCS05 12th ACM Conference on Computer and Communications Security (Alexandira, VA, Nov 2005)
	ATVA05 3rd International Symbopsium on Automated Technology for Verification and Analysis (Oct 2005)
	ATVA06 4th International Symbopsium on Automated Technology for Verification and Analysis (Beijing, Oct 2006)
	ISoLA '04 International Symposium on Leveraging Applications of Formal Methods (Cyprus, 2004)
	COCV '04 Third International Workshop on Compiler Optimization meets Compiler Verification (Barcelona, 2004)
	COCV '06 Fifth International Workshop on Compiler Optimization meets Compiler Verification (Wienna, April 2006)
	RV03 Third Workshop on Runtime Verification (Boulder, 2003)
	RV04 Fourth Workshop on Runtime Verification (Barcelona, 2004)
	301