Welcome to EAPLS

Recent announcements

• 2 Lecturer Positions in Model-Driven Systems Engineering
  in job vacancies by Mohammad Mousavi, July 28, 2017
• [Deadline extended to Aug. 13] - CFP: 12th Workflows in Support of Large-Scale Science (WORKS) Workshop
  in workshops by ipietri, July 28, 2017
• Postdoc and Ph.D. Positions in Security & Concurrency with Formal Methods
  in job vacancies by mais, July 22, 2017
• PhD position Formal Verification / Software engineering
  in job vacancies by Martin Leucker, July 20, 2017
• Postdoc Formal Verification / Software Engineering at University of Luebeck
  in job vacancies by Martin Leucker, July 20, 2017
• CONCUR 2017 -- 2nd Call for Participation
  in conferences by Kirstin Peters, July 18, 2017
• 16th World Conference on Mobile and Contextual Learning (mLearn 2017): Last Mile
  in conferences by George Angelos Papadopoulos, July 17, 2017
• Call for Papers Microservices 2017
  in conferences by Saverio Giallorenzo, July 15, 2017
• The Second IPM Advanced School on Computing:Theory and Practice of Programming Languages
  in other events by Ebrahim Ardeshir-Larijani, July 12, 2017
• Postdoc (PhD) position @ MPI-SWS in software verification and approximate computing
  in job vacancies by Eva Darulova, July 11, 2017
• Two PhD Studentships in Verification and Systems & Synthetic Biology at Newcastle, UK
  in job vacancies by Paolo Zuliani, July 11, 2017
• NSAD 2017 - Extended deadlines and Call for Presentations
  in workshops by Francesca Scozzari, July 11, 2017
• post-doc position: statistical verification of distributed programs
  in job vacancies by Stephan Merz, July 6, 2017