SSFT 2026 Schedule

May 23-29, 2026

Back to main page

Time Saturday
May 23		 Sunday
May 24		 Monday
May 25		 Tuesday
May 26		 Wednesday
May 27		 Thursday
May 28		 Friday
May 29
8:00 AM
8:30 AM
Introductions
Speaking Logic
Natarajan Shankar
Analyzing Cryptographic Protocols with Tamarin (I)
Cas Cremers
Verified Distributed System Generation
Mohsen Lesani
Analyzing Cryptographic Protocols with Tamarin (II)
Cas Cremers
Concurrent Separation Logic
Thomas Wies
Verifying Rust Code with Verus (II)
Chris Hawblitzel
9:00 AM
Speaking Logic
Natarajan Shankar
9:30 AM
10:00 AM
Break
Break
Break
Break
Break
Break
Break
10:30 AM
Speaking Logic
Natarajan Shankar
Speaking Logic
Natarajan Shankar
Privacy-Preserving Reasoning (I)
Ruzica Piskac
Developing and Proving Algorithms with PVS (I)
César Muñoz
Speaking Logic (TT)
Stéphane Graham-Lengrand
Developing and Proving Algorithms with PVS (II)
César Muñoz
Lab sessions
César Muñoz/Chris Hawblitzel
11:00 AM
11:30 AM
12:00 PM
Lunch
Lunch
Lunch
Lunch
Lunch
Lunch
Lunch
12:30 PM
1:00 PM
Speaking Logic
Natarajan Shankar
Towards Verified and AI-Driven Accelerator Programming
Alvin Cheung
Compilers for Quantum Computers (I)
Aws Albarghouthi
Verifying Rust Code with Verus (I)
Chris Hawblitzel
Compilers for Quantum Computers (II)
Aws Albarghouthi
Privacy-Preserving Reasoning (II)
Ruzica Piskac
Lab sessions
César Muñoz/Chris Hawblitzel
1:30 PM
2:00 PM
2:30 PM
Break
Break
Break
Break
Break
Break
Break
3:00 PM
Speaking Logic
Natarajan Shankar
Speaking Logic
Natarajan Shankar
Lab sessions
Cas Cremers/Aws Albarghouthi
Lab sessions
César Muñoz/Chris Hawblitzel
Lab sessions
Cas Cremers/Ruzica Piskac
Lab sessions
Aws Albarghouthi/Ruzica Piskac
Student Presentations, Q/A, Feedback
3:30 PM
4:00 PM
4:30 PM
5:00 PM
5:30 PM
5:40 PM
Picture day!
5:45 PM
Student presentations
6:00 PM
6:15 PM
6:30 PM
Banquet