---
title: "International Conference on Foundations and Formal Methods for Software and Systems: Call for Speakers"
description: "Speak at International Conference on Foundations and Formal Methods for Software and Systems. Submission deadline: Oct 15, 2026. Event Apr 12, 2027...."
canonical: https://www.luminik.io/call-for-speakers/directory/international-conference-on-foundations-and-formal-methods-for-software-and-syst/
source: html
generated_at: 2026-08-01T13:29:40.042Z
---

[← All calls for speakers](/call-for-speakers/)

# International Conference on Foundations and Formal Methods for Software and Systems

Submissions close Oct 15, 2026.

 Submissions close

Oct 15, 2026

 Event dates

Apr 12, 2027

 Location

Copenhagen, Denmark, April 12-15, 2027

 Listed on

EasyChair

 Topics named in the call

- software engineering
- formal methods
- systems
- software

[Apply on EasyChair ](https://easychair.org/cfp/ifs27)[Event website ](https://etaps.org/2027/conferences/ifs/)

This call has closed. The calls below are still open.

This call was listed on EasyChair, and applications go there, not to us. We hold no event page for this conference, so everything above is what the listing itself stated, as ofAug 1, 2026\. Confirm the deadline on the call before you write a submission.

## Other open calls on similar topics

- [The 10th International Conference on Software Engineering and Information ManagementCloses Aug 1, 2026 · via EasyChair](/call-for-speakers/directory/the-10th-international-conference-on-software-engineering-and-information-manage/)
- [29th Brazilian Symposium on Formal MethodsCloses Aug 7, 2026 · via EasyChair](/call-for-speakers/directory/29th-brazilian-symposium-on-formal-methods/)
- [RV2026 Tool ShowcaseCloses Aug 10, 2026 · via EasyChair](/call-for-speakers/directory/rv2026-tool-showcase/)
- [The Seventh Conference on Next Generation Arithmetic 2026Closes Sep 1, 2026 · via EasyChair](/call-for-speakers/directory/the-seventh-conference-on-next-generation-arithmetic-2026/)
- [Workshop on Quantum Software 2026Closes Sep 8, 2026 · via EasyChair](/call-for-speakers/directory/workshop-on-quantum-software-2026/)
- [The 25th Belgium-Netherlands Software Evolution WorkshopCloses Sep 11, 2026 · via EasyChair](/call-for-speakers/directory/the-25th-belgium-netherlands-software-evolution-workshop/)