Discussion: When AI Writes the World's Software, Who Verifies It?

Schedule

Fri Jun 26 2026 at 06:00 pm to 08:00 pm

UTC+12:00
Location

Wynyard Pavilion | Auckland, AU

Advertisement
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 Event

Please 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/

Advertisement

Where is it happening?

Wynyard Pavilion, 17 Jellicoe Street, Auckland, New Zealand

Event Location & Nearby Stays:

Tickets

NZD 0.00

Know what’s Happening Next — before everyone else does.
Functional Programming Auckland
Host or PublisherFunctional Programming Auckland

Ask AI if this event suits you

Keep exploring

Discover more events in Auckland

More concerts, festivals, nightlife and things to do happening near you.

Fri, 26 Jun at 05:30 pm Trivia Night

102R Dawson Road, Auckland, New Zealand

ENTERTAINMENT
Fri, 26 Jun at 05:30 pm Auckland Business Networking & Growth Opportunities

4 Williamson Ave, Ponsonby, Auckland 1061

BUSINESS HEALTH-WELLNESS
Fri, 26 Jun at 05:30 pm Card Merchant 10 Year Anniversary Celebration Event @ CM Westcity

7 Catherine St, Henderson, Auckland , Auckland, New Zealand

SPORTS
Fri, 26 Jun at 05:30 pm Storytime Stitching June book club Milford

The Booklover Bookshop

ART MEETUPS
Fri, 26 Jun at 06:30 pm Magic - Casual Commander

200 Dairy Flat Highway, Albany, Auckland, New Zealand 0632

Fri, 26 Jun at 06:30 pm Simply Brill: The Teens Who Stole Rock 'n' Roll

The Wintergarden, The Civic

ARTS & THEATRE
Fri, 26 Jun at 06:30 pm Candlelight: The Best of Joe Hisaishi

St Mary's In Holy Trinity

CANDLELIGHT-CONCERTS ENTERTAINMENT
Fri, 26 Jun at 06:30 pm Dessine et Trinque w/ Léa Mélano

Alliance Française Auckland

FITNESS ART
Tue, 23 Jun at 08:30 pm Get Hands-On with Akuvox. Walk Out Certified.

138d Harris Rd, East Tamaki, Auckland 2013, New Zealand

WORKSHOPS FOOD-DRINKS
Fri, 26 Jun at 06:00 pm Discussion: When AI Writes the World's Software, Who Verifies It?

Wynyard Pavilion

IT MEETUPS
Sat, 27 Jun at 11:00 am Coffee & Croissants with Carin Wilson and Steven Junil Park

Objectspace

FITNESS ART
Tue, 07 Jul at 02:00 pm Robogals - Edison Bot Workshop

Remuera Library

FITNESS WORKSHOPS
Tue, 25 Aug at 09:00 am Avolites Academy (ANZ) Intermediate (Level 1) - NZ

399 Rosebank Road

WORKSHOPS ART
Thu, 27 Aug at 09:00 am Avolites Academy (ANZ) Advanced (Level 2) - NZ

399 Rosebank Road

WORKSHOPS IT

What's Happening Next in Auckland?

Discover Auckland Events