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 and Stéphane Graham-Lengrand
Analyzing Cryptographic Protocols with Tamarin
Cas Cremers
Verified Distributed System Generation
Mohsen Lesani
Analyzing Cryptographic Protocols with Tamarin
Cas Cremers
Privacy-Preserving Reasoning
Ruzica Piskac
Verifying Rust Code with Verus
Chris Hawblitzel
9:00 AM
Speaking Logic
Natarajan Shankar and Stéphane Graham-Lengrand
9:30 AM
10:00 AM
Break
Break
Break
Break
Break
Break
Break
10:30 AM
Speaking Logic
Natarajan Shankar and Stéphane Graham-Lengrand
Speaking Logic
Natarajan Shankar and Stéphane Graham-Lengrand
Privacy-Preserving Reasoning
Ruzica Piskac
Developing and Proving Algorithms with PVS
César Muñoz
Speaking Logic (TT)
Natarajan Shankar and Stéphane Graham-Lengrand
Developing and Proving Algorithms with PVS
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 and Stéphane Graham-Lengrand
Speaking Logic
Natarajan Shankar and Stéphane Graham-Lengrand
Compilers for Quantum Computers
Aws Albarghouthi
Verifying Rust Code with Verus
Chris Hawblitzel
Compilers for Quantum Computers
Aws Albarghouthi
Invited talk
Alvin Cheung
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 and Stéphane Graham-Lengrand
Speaking Logic
Natarajan Shankar and Stéphane Graham-Lengrand
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
3:30 PM
4:00 PM
4:30 PM
5:00 PM
5:30 PM
6:00 PM
6:30 PM
Banquet