All announcements

To filter on a specific category, select the category from the menu above.

VMCAI 2026: first call for papers by Thomas Jensen on July 11, 2025
EAPLS Site updated by webmaster on June 16, 2025 (edited on June 21, 2025)
Second call for papers IFL 2025 by Mart Lubbers on June 3, 2025
SASSUR 2025 - Deadline extended by jldelavara on May 5, 2025
SASSUR 2025 - Deadline approaching by jldelavara on April 29, 2025
FM 2026: Call for Papers by Carlo A. Furia on April 10, 2025
SASSUR 2025 - Call for papers by jldelavara on April 9, 2025
Chair position available at CUNY Hunter College in New York by Raffi Khatchadourian on September 20, 2024
6th Asynchronous Programming Models Workshop (APM'24) by Eduard Kamburjan on June 14, 2024
[LPNMR 2024] Call For Papers by Giuseppe Mazzotta on May 30, 2024
Postdoctoral Research Fellow in Formal Methods by Violet Ka I Pun on May 30, 2024
The EAPLS Best Paper Award 2024 by Anton Wijs on May 24, 2024
PhD positions: Verification of AI/ AI Safety by Ekaterina Komendantskaya on May 20, 2024
SASSUR 2024 - Deadline extended by jldelavara on May 3, 2024