Functional Programming Talks!
Schedule
Tue Nov 12 2024 at 05:45 pm to 07:45 pm
UTC+13:00Location
421W-201, School of Architecture and Planning | Auckland, AU
Advertisement
Two presentations: Interactive theorem proving & Nix in an HPC environment.About this Event
This evening we will have two talks:
- "Beyond multi-user: deploying Nix in an HPC environment" by Eirian Perkins
- "Building trustworthy smart contracts using interactive theorem proving" by Dr. Daniel Britten
Whether you are experienced in functional programming or just curious, you are welcome to join us!
Find us in room 421W-201 at the School of Architecture and Planning, University of Auckland.
Venue provided courtesy of the University of Auckland. This event won't be catered, but after the talks, some of us will head up to a restaurant/pub nearby to chat, do join us if you are interested!
Advertisement
Where is it happening?
421W-201, School of Architecture and Planning, 26 Symonds Street, Auckland, New ZealandEvent Location & Nearby Stays:
Tickets
NZD 0.00
