Welcome to EAPLS

Recent announcements

• Post-doc Position in AI for Continuous Software Engineering available at the University of L'Aquila (Italy)
  in job vacancies by RominaEramo, June 21, 2021
• Postdoc Position, Programming Group - SCS, University of St.Gallen
  in job vacancies by guidosalva, June 20, 2021
• Tenure Track Assistant Professor of Computer Science, Roskilde University, Denmark
  in job vacancies by John Gallagher, June 17, 2021
• SETTA 2021: Call for Papers
  in conferences by Fu Song, June 17, 2021
• Post-doc in computer science at GSSI (Deadline: July 8 2021, 4 p.m. (italian time zone)
  in job vacancies by Emilio Tuosto, June 16, 2021
• PhD position on Embedded Systems Verification at University of Twente, Netherlands
  in job vacancies by Marieke Huisman, June 15, 2021
• Certified Programs and Proofs (CPP) 2022: Call for Papers
  in conferences by Andrei Popescu, June 14, 2021
• PhD Position in Formal Methods (Reactive Synthesis and Runtime Verification) - University of Gothenburg/Chalmers, Sweden
  in job vacancies by Nir Piterman, June 12, 2021
• Professorship "Programming Languages and Compilers for Modern Computer Architectures"
  in job vacancies by Sergei Gorlatch, June 10, 2021
• SEFM 2021: Call for Papers
  in conferences by gleirscher, June 8, 2021
• SYNASC 2021
  in conferences by Monica Sancira, June 7, 2021
• STAST 2021: Call for Papers
  in conferences by Luca Vigano, June 7, 2021
• Call for papers: 21st IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM) September 27-September 28, 2021
  in conferences by Alexander Serebrenik, June 7, 2021