Welcome to EAPLS

Recent announcements

• Deadline Extension: Formal Methods for Autonomous Systems 2021
  in workshops by mluckcuck, July 22, 2021
• Web Technologies Track - The 37th ACM/SIGAPP Symposium on Applied Computing
  in conferences by Cristian Mateos, July 20, 2021
• SBMF 2021: Final Call for Papers
  in conferences by Marius Minea, July 16, 2021
• SPLC 2021: Call for Participation
  in conferences by Mohammad Mousavi, July 14, 2021
• CFP: VMIL 2021 (Workshop on Virtual Machines and Language Implementations)
  in workshops by Gregor Richards, July 13, 2021
• SEFM 2021: 2nd Call for Papers and Deadline Extension
  in conferences by gleirscher, July 13, 2021
• European Computer Science Summit (ECSS) 2021: Registration Open!
  in conferences by Kit Wan Chui, July 12, 2021
• ETAPS 2022 1st joint call for papers
  in conferences by Tarmo Uustalu, July 9, 2021
• Full-time faculty position in Brussels
  in job vacancies by Coen De Roover, July 9, 2021
• Postdoctoral Position in Data Exchange Infrastructure -- University of Amsterdam
  in job vacancies by Thomas Van Binsbergen, July 8, 2021
• Permanent position: engineer/researcher in cybersecurity verification at CEA in France
  in job vacancies by Thibaud Antignac, July 8, 2021
• Scottish ProgLangs & Verification Summer School 2021
  in other events by Jeremy Singer, July 6, 2021
• Academic Positions -- Department of Computer Science -- University of Cyprus
  in job vacancies by George Angelos Papadopoulos, July 5, 2021