We would like to invite you to the 6th Northeastern Verification
Seminar (NEVER say Spring). This meeting will be held at NYU, and the
date we propose is Friday, April 16th, 2010. The goal of the
seminar is to encourage interaction among local research groups
interested in formal methods and verification. We intend to keep the
standard format for NEVER, with 30 minute presentations from each
research group and one or two "5 minute madness" sessions for those
unable to be accommodated by the regular schedule.
Previous meetings were held at Bell Labs in March 2006, at NYU in
October 2006, at NEC Labs in May 2007, at U Penn in November 2007, and
at NEC Labs in October 2009.
Please let us know whether you plan to come, a rough idea of the
number of attendees from your group, and whether your group intends to
give a talk.
The NYU Analysis of Computer Systems (ACSys) Group.
NEVER Seminar