Welcome to EAPLS

Recent announcements

• Postdoc position in Formal Methods and AI in Leiden, The Netherlands
  in job vacancies by Alfons Laarman, June 3, 2023
• [Call for Participation] LCTES 2023
  in workshops by Anders Miltner, June 1, 2023
• Assistant Professor in Computer Science at Chalmers University of Technology
  in job vacancies by Nir Piterman, May 31, 2023
• FOSAD 2023: 22nd Summerschool on Foundations of Security Analysis and Design
  in other events by Alessandro Aldini, May 31, 2023
• (ACPN 2023) Advanced Course on Petri Nets 2023
  in conferences by Marcin Piątkowski, May 30, 2023
• Doctoral Researchers / PhD Students / Postdocs in Logic of Autonomous Dynamical Systems
  in job vacancies by André Platzer, May 30, 2023
• Deadline Extension !!! BPM 2023 - Joint Call for Workshops and Forum Papers
  in conferences by Andrea Delgado, May 29, 2023
• CAV 2023: Call for participation
  in conferences by Mohamed Faouzi Atig, May 27, 2023
• Postdoc Position on Digitally Enforceable Data Sharing Contracts
  in job vacancies by Thomas Van Binsbergen, May 27, 2023
• 18th International Conference on integrated Formal Methods - Final Call for Papers
  in conferences by Anton Wijs, May 27, 2023
• 19th IEEE eScience Conference (eScience 2023): Last Call for Papers
  in conferences by George Angelos Papadopoulos, May 26, 2023
• LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023
  in conferences by jurjo, May 26, 2023
• CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems
  in workshops by Peter Olveczky, May 26, 2023