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.

Please submit your paper here.

Important Dates:

Submission deadline: January 10, 2025 AoE January 17, 2025 AoE
Author notification: February 3, 2025 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 gtmfs2025@sciencesconf.org.

Online user: 3

Privacy | Accessibility