Welcome to EAPLS

Recent announcements

• PhD position on GPU accelerated probabilistic model checking
  in job vacancies by Anton Wijs, Nov. 25, 2022
• 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway
  in job vacancies by Violet Ka I Pun, Nov. 24, 2022
• COORDINATION 2023 Call For Papers
  in conferences by Emilio Tuosto, Nov. 20, 2022
• ICT4S 2023 – Call for Workshops
  in workshops by Johann Bourcier, Oct. 31, 2022
• FISEE2023 _ 2nd International Workshop on Frontiers in Software Engineering Education Jan. 23-25
  in conferences by Sophie Ebersold, Oct. 28, 2022
• ICT4S 2023 – Call for Papers
  in conferences by Johann Bourcier, Oct. 28, 2022
• PLAS 2022 : Workshop on Programming Languages and Analysis for Security
  in workshops by Sunjay Cauligi, Oct. 26, 2022
• PLDI 2023 Artifact Evaluation Committee Nominations
  in conferences by Anders Miltner, Oct. 25, 2022
• 6th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology - CREST 2023
  in workshops by Georgiana Caltais, Oct. 24, 2022
• Fully-funded Ph.D. position(s) in analysis and transformations of Deep Learning programs in New York City (deadline Dec 15)
  in job vacancies by Raffi Khatchadourian, Oct. 20, 2022
• PLDI 2023 Call for Workshops and Tutorials
  in conferences by William Bowman, Oct. 11, 2022
• PhD Studentships at Stevens Institute of Technology (New York City area)
  in job vacancies by Eric Koskinen, Oct. 11, 2022
• Assistant/Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge
  in job vacancies by Timothy Jones, Oct. 11, 2022