Recurse Center + Approximate Formal Modeling w/ Brock Wilcox

Every third Thursday of the month let's a have a brief presentation, Q&A and discussion about a new topic.

This month, Framebridge Vice President of Engineering and DC Ruby meetup organizer Brock Wilcox is visiting us while on sabbatical at the Recurse Center here in Brooklyn.

Brock will be sharing his experience in the center so far along with his project, bringing Formal Methods (modeling your architecture or algorithms using things like TLA+ or Alloy) into our practical set of tools possibly leveraging LLMs. He calls it "Approximate Formal Modeling".

Event will be in the WeWork 7th floor conference room from 5:30-7:30. Seating is somewhat limited so be sure to keep your RSVP up to date. When you arrive, please message host Casey to be escorted up the elevators.

https://www.linkedin.com/in/brockwilcox/
https://www.meetup.com/dcruby/
https://www.framebridge.com/
https://www.recurse.com/