SSFT 2026 Schedule
May 23-29, 2026
| 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 Cas Cremers |
Verified Distributed System Generation Mohsen Lesani |
Analyzing Cryptographic Protocols with Tamarin Cas Cremers |
Invited talk (TBD) TBD |
Verifying Rust Code with Verus 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 Ruzica Piskac |
Developing and Proving Algorithms with PVS César Muñoz |
Speaking Logic (TT) Stéphane Graham-Lengrand |
Developing and Proving Algorithms with PVS César Muñoz |
Student Presentations |
| 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 Aws Albarghouthi |
Verifying Rust Code with Verus Chris Hawblitzel |
Compilers for Quantum Computers Aws Albarghouthi |
Privacy-Preserving Reasoning Ruzica Piskac |
Student Presentations |
| 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 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 |
Lab sessions César Muñoz/Chris Hawblitzel |
| 3:30 PM | |||||||
| 4:00 PM | |||||||
| 4:30 PM | |||||||
| 5:00 PM | |||||||
| 5:30 PM | |||||||
| 6:00 PM | |||||||
| 6:30 PM | Banquet |