Welcome to EAPLS

Recent announcements

• SYNASC 2021
  in conferences by Monica Sancira, April 9, 2021
• CfP: Software Development for Mobile Devices, the Internet-of-Things, and Cyber-Physical Systems HICSS 2022 Minitrack
  in conferences by Tim A. Majchrzak, April 9, 2021
• FMICS 2021: 2nd CFP
  in conferences by Anastasia Mavridou, April 7, 2021
• Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
  in workshops by mluckcuck, April 6, 2021
• MFPS 2021 - Call for Papers
  in conferences by Ana Sokolova, April 3, 2021
• ACM womENcourage 2021 Posters Track
  in conferences by Alexander Serebrenik, April 1, 2021
• BASS 2021: 3rd International Workshop on Behavioral Authentication for System Security
  in workshops by Alessandro Aldini, April 1, 2021
• FACS 2021: First Call for Papers
  in conferences by Anton Wijs, March 31, 2021
• SPLC 2021 Call for Research Track Papers and Challenge Solutions
  in conferences by Mohammad Mousavi, March 30, 2021
• CALCO 2021: first Call for Papers
  in conferences by Laura Bussi, March 30, 2021
• PhD position in formal methods for real-time systems at the University of Oslo
  in job vacancies by Peter Olveczky, March 29, 2021
• Post-Doctoral Position on Software Security at Uppsala University
  in job vacancies by Bengt Jonsson, March 29, 2021
• Head of Department, Professord, Assistant Professor positions, Heriot-Watt University
  in job vacancies by Ekaterina Komendantskaya, March 25, 2021