Cover Image for Verified NYC Kickoff Drinks

Presented by

A monthly in-person community in New York for people working on formal verification, AI, and finance. Mostly conversation, with the occasional talk. More at https://verified-nyc.github.io

Hosted By

15 Going

AI

Verified NYC Kickoff Drinks

Name: Verified NYC Kickoff Drinks
Start: 2026-11-12T18:00:00.000-05:00
End: 2026-11-12T20:00:00.000-05:00
Location: The Churchill Tavern

Verified NYC

The Churchill Tavern

New York, NY

Welcome! To join the event, please register below.

About Event

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

Location