2–4 December 2026 | Singapore Management University (SMU), Singapore
We warmly invite researchers, practitioners, and students to participate in SETTA 2026, which will be held at Singapore Management University (SMU), Singapore, from 2 to 4 December 2026.
SETTA is an international forum on dependable software engineering, bringing together researchers and practitioners working on formal methods, software verification, software reliability, programming languages, software testing, and trustworthy systems.
Keynote Speakers
Lionel C. Briand
LLM-Driven Requirements Engineering: Automating Dependency Detection, Impact Analysis, and Regulatory Traceability
Anthony W. Lin
From Attention to Automata: Towards Understanding Neural Language Models
Zhenjiang Hu
A Systems Programming Language Integrating Coding and Proving
For more details about the talks and speakers, please visit the Invited Speakers page.
Registration
Early Registration: SGD 850
Available until 11 November 2026
Late Registration: SGD 950
Available from 12 November 2026
Extra Banquet Ticket: SGD 160
For registration details, please visit: https://www.setta2026.sg/home/registration
Student Registration Support
The China Computer Federation (CCF) will provide financial support for 25 students to attend SETTA 2026. Each successful applicant will receive RMB 2,000 (approximately SGD 380) through reimbursement after the conference.
For application details, please visit the Registration page.
Venue and City
SETTA 2026 will take place at Singapore Management University, located in the heart of Singapore.
Singapore is a vibrant city known for its iconic attractions, including Marina Bay and Gardens by the Bay, as well as its rich multicultural heritage and diverse culinary scene.
We look forward to welcoming you to SETTA 2026 in Singapore.
Conference Website: https://www.setta2026.sg/