Invited Speakers
Title: Side Channel Secure Software: A Hardware Question
Title: A Framework for Efficient Analysis of String Constraints
Title: A Gentle Introduction to LLM Reasoning
Title: Automating Concurrent Separation Logic
Dates
March 11, 2026
Abstract submission deadline
March 18, 2026
Paper submission deadline
April 22, 2026
Author notification
June 10-12, 2026
Netys Conference
Proceedings
Partners & Sponsors
