Welcome to EAPLS

Recent announcements

• Call for PhD candidates in the Software Composition Group, U Bern
  in job vacancies by Oscar Nierstrasz, Aug. 14, 2017
• Full professorship in "Computer Aided Verification" (succeeding Helmut Veith) at TU Wien
  in job vacancies by Laura Kovacs, Aug. 10, 2017
• QTML - 1st Workshop on Quantum Techniques in Machine Learning
  in workshops by Herbert Wiklicky, Aug. 9, 2017
• PAPP@SAC 2018 Call for Papers
  in conferences by Frederic Loulergue, Aug. 8, 2017
• CGO 2018 CFP - Submission Site Open, Abstracts Due September 8
  in conferences by Fabrice Rastello, Aug. 8, 2017
• Theory and Practice of Differential Privacy (TPDP) - Deadline Extension: August 11 2017
  in workshops by Justin Hsu, Aug. 5, 2017
• PhD research fellow position in Proof Engineering Technologies in Probabilistic Programming and Software Verification
  in job vacancies by Volker Stolz, Aug. 5, 2017
• POPL 2018 call for tutorials
  in conferences by Marco Gaboardi, Aug. 4, 2017
• Assistant/associate professor positions at Aarhus University
  in job vacancies by Anders Møller, Aug. 3, 2017
• 5th European Conference on the Engineering of Computer Based Systems (ECBS 2017): Call for Participation
  in conferences by George Angelos Papadopoulos, Aug. 3, 2017
• PEPM 2018 Call for Papers
  in workshops by Hsiang-Shang Ko, Aug. 2, 2017
• 21st European Conference on Advances in Databases and Information Systems (ADBIS 2017): Call for Participation
  in conferences by George Angelos Papadopoulos, July 31, 2017
• 2 Lecturer Positions in Model-Driven Systems Engineering
  in job vacancies by Mohammad Mousavi, July 28, 2017