talk-data.com talk-data.com

Filter by Source

Select conferences and events

Showing 2 results

Activities & events

Title & Speakers Event
Event Verification Hack and Learn: Implementing Pearls of Functional Algorithm Design 2025-10-28
Pearl 9 – Finding Celebrities 2025-10-28 · 18:00

Session on Pearl 9 (Finding Celebrities) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring how the language's specification and proof system can capture correctness.

dafny formal verification functional programming
Pearl 11 – Not the maximum segment sum 2025-10-28 · 18:00

Session on Pearl 11 (Not the maximum segment sum) from Pearls of Functional Algorithm Design. Implement and verify the problem in Dafny, exploring verification strategies.

dafny formal verification functional programming
Showing 2 results