---
# System prepended metadata

title: Logic Program Insurance Contracts Hackathon - Homepage

---

![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.