Skip to content
TechEvents.ai

LLM-enabled formal software verification

This event has already taken place.
Date
Nov 3, 2026 · 6:00–9:00 PM ET
Location
Toronto
ON
Price
Free

About this event

Get up-to-date information at: https://luma.com/trajec-gvn2 Address: Check event page for more details. Hosted by Jasmine Ren

More like this

Mon · Nov 9Toronto, ON

Femtech Forward - Fireside Chat and Investor Networking Event

Femtech Canada, Esplanade Ventures, BDC Thrive Venture Fund

Panel / FiresideFree
Mon · Nov 9–11Hybrid · Toronto

The Hinton Lectures™ 2026

The AI Safety Foundation

HybridPanel / FiresideFree
Tue · Nov 10Toronto, ON

Future of Education: Impact of AI on Learning

TechTO

Panel / FiresidePaid