Vibecheck -- The usable formal methods hackathon

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Formal methods have officially entered the zeitgeist. But are these techniques actually ready for prime-time? That is to say, we know FM can be brought to bear on stodgy academic software, which is basically mathematical in nature, doesn’t rely heavily on external dependencies, and lacks a GUI, database, or reliance on third party APIs. But could it be brought to bear on Microsoft Word, or Flappy Birds, or Claude Code? Is FM ready for truly mainstream adoption? Could the next hot YC company build their product to be formally verified from the very start -- without needing to first go complete a PhD at Carnegie Mellon?

To answer these questions, we're running a hackathon. If you're interested in participating, in any capacity, please fill out the form below.

Are you available for the entire weekend of November 1? *

yes

well, some of it but not all of it

I would like to participate as a: *

expert. I want to walk around the room and help folks inexperienced with formal methods if they get stuck.

competitor. I want to build a piece of real-world production software, and formally verify it.

sponsor. I want to provide cool prizes, swag, food, compute, tokens, etc.

Other:

I would describe my FM background as: *

nonexistent. I have never used any FM tool, whatsoever.

near-zero. I have experimented a bit over a weekend or something.

small. Maybe I audited a college course on the topic, or did a small project at home.

medium. Maybe I used FM of some kind for my master's thesis, but it wasn't the object of the thesis.

significant. I have a year or more of experience working full-time, or close to it, using at least one FM tool.

Full name, and optionally, affiliation (e.g., Max von Hippel, Anduril):

Email address: *

Please select one of the following. *

I am interested, or at least maybe interested, in being hired to do stuff with FM after this

I am interested, or at least maybe interested, in hiring people to do stuff with FM after this

honestly neither, and/or, sure that sounds sick but I am not in a position to do either of these things ...

I want to work: *

on my own

with a team I've already chosen

with a team of people I meet at the hackathon

If you want to work with people you already know please say who ...

Can you link to some examples of prior projects of yours that you're proud of? This could be a product you worked on (even if you were one of 100 people on it), a solo project over a weekend, a homework assignment, whatever. Ideally 2 to 4 prior projects, and give a brief summary of what they are and what your contribution was to each. *

Is there something specific you want to work on? No worries **at all** if the answer is no, this doesn't count against you and you will have plenty of time to come up with ideas and recruit friends to work with!

Anything else we should know? (e.g., if you'd like to sponsor a prize, etc.)

Submit

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report

Forms