# Event Details

- **Event Name**: Discussion: When AI Writes the World's Software, Who Verifies It?
- **Event Start and End Date**: Fri, 26 Jun, 2026 at 06:00 pm – Fri, 26 Jun, 2026 at 08:00 pm
- **Event Description**: Join us to discuss an article on program verification in the age of AI and Lean 4, a dependently-typed functional programming language.About this EventPlease have a read of the article: https://leodemoura.github.io/blog/2026-2-28-when-ai-writes-the-worlds-software-who-verifies-it/ when you have a moment, we'll be discussing it on the evening.We'll have a small sign with "Functional Programming Auckland" printed on it, so that you can find us within Wynyard Pavilion.Look forward to seeing you there!More information about our meetup is here: https://fp-akl.github.io/
- **Event URL**: https://allevents.in/auckland/discussion-when-ai-writes-the-worlds-software-who-verifies-it/100001992113638519
- **Event Categories**: it, meetups
- **Interested Audience**: 
  - total_interested_count: 0

## Ticket Details

- **Ticket Price Range**: min: 0, max: 0, currency: NZD

## Event venue details

- **city**: Auckland
- **state**: AU
- **country**: New Zealand
- **location**: Wynyard Pavilion
- **lat**: -36.8407748
- **long**: 174.7575042
- **full address**: Wynyard Pavilion, 17 Jellicoe Street, Auckland, New Zealand

## Event gallery

- **Alt text**: Discussion: When AI Writes the World's Software, Who Verifies It?
  - **Image URL**: https://cdn-az.allevents.in/events7/banners/4774aba8185a2b3e3ac6a0203baca7f94b8231444d8d5d3ad932b4956091bc71-rimg-w1200-h600-dc4a6374-gmir.jpg?v=1781974331

## FAQs

- **Q**: When and where is Discussion: When AI Writes the World's Software, Who Verifies It? being held?
  - **A:** Discussion: When AI Writes the World's Software, Who Verifies It? takes place on Fri, 26 Jun, 2026 at 06:00 pm to Fri, 26 Jun, 2026 at 08:00 pm at Wynyard Pavilion, 17 Jellicoe Street, Auckland, New Zealand.
- **Q**: Who is organizing Discussion: When AI Writes the World's Software, Who Verifies It??
  - **A:** Discussion: When AI Writes the World's Software, Who Verifies It? is organized by Functional Programming Auckland.

## Structured Data (JSON-LD)

```json
[
    {
        "@context": "https://schema.org",
        "@type": "Event",
        "name": "Discussion: When AI Writes the World's Software, Who Verifies It?",
        "image": "https://cdn-az.allevents.in/events7/banners/4774aba8185a2b3e3ac6a0203baca7f94b8231444d8d5d3ad932b4956091bc71-rimg-w1200-h600-dc4a6374-gmir.jpg?v=1781974331",
        "startDate": "2026-06-26",
        "endDate": "2026-06-26",
        "url": "https://allevents.in/auckland/discussion-when-ai-writes-the-worlds-software-who-verifies-it/100001992113638519",
        "location": {
            "@type": "Place",
            "name": "Wynyard Pavilion",
            "address": {
                "@type": "PostalAddress",
                "streetAddress": "17 Jellicoe Street",
                "postalCode": "1010",
                "addressLocality": "Auckland",
                "addressRegion": "AU",
                "addressCountry": "NZ"
            },
            "geo": {
                "@type": "GeoCoordinates",
                "latitude": "-36.8407748",
                "longitude": "174.7575042"
            }
        },
        "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode",
        "description": "Join us to discuss an article on program verification in the age of AI and Lean 4, a dependently-typed functional programming language.",
        "offers": [
            {
                "@type": "AggregateOffer",
                "availability": "https://schema.org/InStock",
                "priceCurrency": "NZD",
                "availabilityStarts": "2026-09-03",
                "availabilityEnds": "2026-06-26",
                "validFrom": "2026-09-03",
                "lowPrice": "0.00",
                "highPrice": "0.00",
                "price": "0.00",
                "url": "https://allevents.in/auckland/discussion-when-ai-writes-the-worlds-software-who-verifies-it/100001992113638519"
            },
            {
                "@type": "Offer",
                "availability": "https://schema.org/InStock",
                "priceCurrency": "NZD",
                "availabilityStarts": "2026-09-03",
                "availabilityEnds": "",
                "validFrom": "2026-09-03",
                "url": "https://allevents.in/auckland/discussion-when-ai-writes-the-worlds-software-who-verifies-it/100001992113638519",
                "price": 0,
                "name": "General Admission"
            }
        ],
        "organizer": [
            {
                "@type": "Organization",
                "name": "Functional Programming Auckland",
                "url": "https://allevents.in/org/functional-programming-auckland/25003765",
                "description": "We are a community of software developers in Auckland, New Zealand, with a shared interest for Functional Programming. Our group hosts talks, discussions, and hands-on workshops focused on functional programming and broader software development topics.Whether you’re a beginner or an experienced developer, everyone is welcome to join! Visit ourhomepageto join our Slack group and stay connected."
            }
        ]
    }
]
```