![Hackathon Banner](https://hackmd.io/_uploads/r1YSBHv1kl.png) # Homepage Join us at **Stanford Law School** on **October 19th** for the first Logic **Program Insurance Contracts Hackathon** and contribute to the development of the next generation of computable insurance contracts! On this page you'll find basic information about the event. For more details, follow the links below. ### Register [here](https://partiful.com/e/EV3ximSccOpAo1bQB0TK?)! --- ## What is this event? You will work in **teams of 1-4 people** to **write encodings of insurance policies as logic programs** using existing tools and resources. Your experience at the hackathon will directly influence the development of new tools and resources for developing computable contracts. #### Submissions will need to meet certain requirements. See [here](https://hackmd.io/@TP6ad1ylQI6J_evTjOJmeg/BywerSv1yx) for more details on what you'll be developing. --- ### Prizes **First place:** $1000 award for the best encoding that is ready to be integrated into the CodeX Insurance Analyst platform! **First place and runner(s)-up:** The best encodings will be showcased on and directly integrated into the CodeX Insurance Analyst! ## When is it? On Saturday, October 19, 2024, from 8\:30am-10:00pm PT. ## Where will it be? At Stanford Law School! **This is an in-person event**, so participants will need to be able to join us on the Stanford University campus. (For the precise location, please RSVP at the registration link!) ## Who can participate? This event is open to anyone, but will be best for people with experience in at least one of: 1. logic programming 2. traditional software development (even as a hobby) 3. understanding contracts/insurance contracts ### Don't know how to write logic programs? You can still participate! However, your team will need to develop and submit a logic program, so **you'll want at least one person on your team who is comfortable writing logic programs**. If no one on your team has logic programming experience, you can learn how to write logic programs from [the Stanford course on the subject](http://logicprogramming.stanford.edu). **We recommend the material from Weeks 1-5, specifically the units "Introduction", "Queries", and "Views".** If you aren't sure whether you'll be able to learn before the event, take a look at the course material and give it a try! You can talk with other participants learning logic programming on the hackathon's [Discord](https://discord.gg/jP45hU8u). ### Don't have a team? No worries! There will be time to find team members on the day of the hackathon. If you want to form a team before the event, you can find other participants on the hackathon's [Discord](https://discord.gg/zkXvNRv7). ## How do I sign up? [Via this registration link!](https://partiful.com/e/EV3ximSccOpAo1bQB0TK?) ## Still have questions? If you can't find the answer on this site, feel free to reach out to [Preston Carlson](mailto:pjames27@stanford.edu), the Computable Contracts Developer at CodeX.