2025 New England Systems Verification Day

The 2025 New England Systems Verification Day will take place on Friday, October 3rd, 2025, in room 45-801 in the Schwarzman College of Computing Building (building 45, 51 Vassar St., Cambridge, MA 02139).

Schedule

Instructions for speakers

For 20-minute talk slots: please give a 15 minute talk, leaving 5 minutes for questions.

For 15-minute talk slots: please give a 10-minute talk, leaving 5 minutes for questions.

For 5-minute talk slots: please give a 5-minute-or-less talk, and take any substantial questions during the break.

Given the high number of talk proposals this year, we have a packed schedule, so please try to stick to the time limits. We will strictly enforce this.

For the talk, you should expect your audience to be verification experts.

Call for participation

We solicit talks about ongoing research in the area of systems verification. We are broadly interested in most topics in this space, but for some examples, take a look at the schedule from the workshops in 2017, 2018, 2019, 2021, 2022, and 2024.

Concretely, to propose a talk, send an email to Adam and Nickolai with one paragraph describing:

• What topic do you want to talk about.
• What is the ideal length for your talk.
• Who will give the talk.
• Pointers to papers, tech reports, git repos, or other material about your project, if any.

Full consideration will be given to proposals received by August 15th.

Past workshops

You can find the web pages for this workshop from 2017, 2018, 2019, 2021, 2022, and 2024.

Code of conduct

We have adopted the USENIX Event Code of Conduct for the NESVD series.

Sponsors

Thanks to Google and NSF for providing the funding for the food at this workshop.

Contact

Please send any questions to Adam Chlipala and Nickolai Zeldovich.