NEVER: The Northeastern Verification Seminar

The Northeastern Verification Seminar (NEVER) is a semi-annual meeting of researchers in verification and formal methods in the Greater New York Area. Activities include formal presentations of ongoing work, panel discussions, and informal "five minute madness" sessions. Participants have included researchers from Bell Laboratories, Cadence, Columbia, Google, IBM, NEC, NYU, Princeton, Stevens Institute, SUNY - Stony Brook, U. Penn, and Yale.

To receive information about upcoming seminars, subscribe to the mailing list. All are welcome to attend. The organizers ask participants to RSVP in advance so appropriate space can be reserved.

Next seminar: nothing currently planned

Past seminars:

NEVER mailing list

The page is hosted by NYU's Analysis of Computer Systems Group. For more information, contact Morgan Deters.
Last updated: 20 Jan 2010