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.