Conference · ICTAC Postgraduate School on Formal Methods for Mission-Critical Software
ICTAC School 2026
Official page- Type
- Conference
- Organisation
- ICTAC Postgraduate School on Formal Methods for Mission-Critical Software
- Location
- Bariloche, Argentina
- Takes place
- 9 November 2026 to 10 November 2026
- Found
- 26 September 2026
About this listing
ICTAC Postgraduate School on Formal Methods for Mission-Critical Software. Held in Bariloche, Argentina. Three intensive courses on formal methods for building mission-critical software in the satellite, aerospace, and nuclear sectors, taught by international researchers in formal methods and software engineering. Application deadline not yet announced. For: PhD students, postdocs. Topics: formal methods, verification, model checking. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 9 October 2026. Found via PLFM (pl-fm.github.io).