Home Projects Staff Publications Benchmarks Events

Systems Analysis & Verification

Events

Upcoming Events

We are organizing the NEVER seminar on October 30th 2009.

Past Events

CAV 2008: The 20th International Conference on Computer Aided Verification held July 7-14, in Princeton, NJ.
The workshop Numerical Abstractions for Software Verification (NASV) held in Princeton, NJ on July 8th, 2008.
We organized the NEVER seminar on May 18th 2007.

NEC Laboratories America, Inc.
Princeton Campus - 4 Independence Way, Suite 200, Princeton NJ 08540 | Cupertino Campus - 10080 North Wolfe Road, Suite SW3-350, Cupertino, CA 95014
webmaster@nec-labs.com ©2008 NEC Laboratories America, Inc. All rights reserved. Please Read our Privacy Policy

Website design by Dragonfly Interactive, LLC