Featured in
Bengaluru
April Zig & Systems Meet: Exploits, hacking, and formal verification of industrial software.
Registration
Event Full
If you’d like, you can join the waitlist.
Please click on the button below to join the waitlist. You will be notified if additional spots become available.
About Event
A Zig & systems programming meetup.
There is no specific agenda, and anyone reading is welcome to join.
Past meetups have been about: RISC-V, SWAR & SIMD, console emulation, etc.
This time, we plan on discussing high profile software exploits used by agencies like the NSO, Mossad, and CIA; and the importance of formal verification in software systems, along with programming languages that can make stronger guarantees about the software they're used to produce.
If you'd like to present or talk about something, feel free to open an issue here: https://github.com/zigindia/talk-proposal/issues
Location