Logic Program Insurance Contracts Hackathon #1

Come contribute to the development of the next generation of computable insurance contracts at Stanford Law School! During the course of the event, you will write encodings of insurance policies as logic programs. You will use existing tools and resources for creating the encodings, and your experience at the hackathon will directly influence the development of new tools and resources for authoring computable insurance contracts. Competition Website: https://hackmd.io/@TP6ad1ylQI6J_evTjOJmeg/ryrJNvQ0A ~~~~~~~~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! Additional details on encoding requirements are posted on the competition website (linked above). ~~~~~~~~ Participation Details ~~~~~~~~ - This is an in-person event! Participants will need to be able to join us on Stanford campus. - You will work in teams of 1 - 4. You can find a team on Discord, but no worries if you don't have a team before the event; there will be time to find team members on the day of the hackathon! - This event is open to anyone, but will be best for people with experience in at least one of: (i) logic programming, (ii) traditional software development (even as a hobby), or (iii) understanding contracts/insurance contracts. IMPORTANT NOTE: Additional details will be shared here and in the Discord in the coming weeks. ~~~~~ Don't know how to write logic programs? ~~~~~ You can still participate! 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 them. 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: 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! ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Hosted by: Stanford Center for Legal Informatics (https://law.stanford.edu/codex-the-stanford-center-for-legal-informatics/) Hosted by: Preston Carlson (Stanford CodeX) Judges: Prof. Michael Genesereth (Stanford University; CodeX) Preston Carlson (Stanford CodeX)