Call for Contributions

Call for Paper

We welcome presentations on recent work at the intersection of formal methods and security. This includes work in progress, unpublished work, or recently published results. We particularly welcome young researchers (PhD students, postdocs, ATER, etc.) to submit an abstract and present their work.

The submission format is an "extended abstract" of approximately one page in PDF format. The event does not have proceedings, and abstracts will not be published.

Important Dates:

submission deadline: January 16, 2026 AoE
Author notification: February 10, 2026 AoE

Tool Session

A tool session will provide room for informal discussions about the various tools developed in the community. To participate and present your tool, please send an email to gtmfs2026@sciencesconf.org.

Privacy | Accessibility