Sales Ended

Modernizing verified crypto with Rust: introducing HACL-Rust and Eurydice

Follow this organizer to stay informed on future events

By Rust Formal Methods Interest Group

Introduction to Moonbot: Autotrade Your Way to Passive Crypto Income
Mon, Jun 9, 2025 7:30 PM +08 (+08:00)
Free
Introducing Interdisciplinary Modules in Higher Education - webinar
Wed, Jun 11, 2025 10:00 AM BST (+01:00)
Free
Introducing Generación AP®
Tue, Jun 10, 2025 5:00 PM EDT (-04:00)
Free
Pitfalls to avoid when introducing coaching
Thu, Jun 12, 2025 12:00 PM BST (+01:00)
Free
Introducing Speak Week
Thu, Jun 26, 2025 4:00 PM BST (+01:00)
Free
Introducing AI to help manage ADHD
Tue, Jun 17, 2025 7:00 PM BST (+01:00)
Introducing The Bereavement Journey
Wed, Jun 25, 2025 7:30 PM BST (+01:00)
Free
Introducing VIA to AEN
Wed, Jun 18, 2025 12:00 PM EDT (-04:00)
Free
Introducing Human Risk Management
Fri, Jun 20, 2025 6:00 PM GMT (+00:00)
Free
ADSPM Dine N' Learn: Introducing the Strategic Plan
Thu, Jun 12, 2025 5:00 PM CDT (-05:00)
Free