Event Ended

Verifying a Concurrent Memory Allocator with Verus

Follow this organizer to stay informed on future events

By Rust Formal Methods Interest Group

Java Concurrency 1 day. Working with Java Threads.
Wed, Dec 17, 2025 11:00 AM GMT (+00:00)
£109.05
A Softer Holiday: Grief, Memory & New Traditions
Fri, Dec 19, 2025 2:00 PM EST (-05:00)
Free
Memory Cafe
Wed, Dec 17, 2025 11:00 AM EST (-05:00)
Free
Unlock Your Memory: Practical Techniques for Better Recall
Wed, Dec 17, 2025 12:00 PM GMT (+00:00)
Free
Online Masterclass: The Cognitive Science of Focus and Memory Improvement
Tue, Dec 16, 2025 11:00 AM GMT (+00:00)
Online Masterclass - The Cognitive Science of Focus and Memory Improvement
Tue, Dec 16, 2025 11:00 AM GMT (+00:00)
Death Verification: Procedures and Legal Considerations
Mon, Dec 15, 2025 10:00 AM GMT (+00:00)
£11.55
Java Concurrency and Mulithreading, 1-day course.
Thu, Dec 18, 2025 11:00 AM GMT (+00:00)
£109.05 - £309.48
Unwrapping Memories Using Oral History: A Christmas Student Showcase
Fri, Dec 19, 2025 5:00 PM GMT (+00:00)
Free
Christmas Memories Album Premiere
Sat, Dec 20, 2025 8:00 PM EST (-05:00)
Free