Verified NYC Kickoff Drinks

Welcome to the first Verified NYC! We're a new monthly community for people in New York working on formal verification, AI, and finance, and anyone curious about software you can actually prove is right.This first evening is a casual kickoff: drinks and conversation, no talks, no agenda. Just come meet people working on similar problems around the city. Light bites and the first drinks are on us while the tab lasts.We'll be in the Garden Room upstairs at The Churchill.Coming up next: our first talk night on Thursday, December 10, with Serdar Tasiran (AWS) speaking. Venue to be announced.More about us: https://verified-nyc.github.io