Welcome to EAPLS

Recent announcements

• MPLR 2020 - 17th International Conference on Managed Programming Languages & Runtimes
  in conferences by Jeremy Singer, May 22, 2020
• 7 PhD positions in Computer Science at GSSI, L'Aquila (Italy) -- DEADLINE JUNE 11
  in job vacancies by Emilio Tuosto, May 21, 2020
• Postdoctoral position on Web/database programming languages at Edinburgh LFCS
  in job vacancies by James Cheney, May 18, 2020
• Several Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)
  in job vacancies by Mihaela Rozman, May 15, 2020
• First Workshop on Quantitative Aspects of Variant-rich Systems (QAVS)
  in workshops by Maurice ter Beek, May 15, 2020
• Multiple funded PhD positions in program analysis and software engineering
  in job vacancies by Paul Gazzillo, May 14, 2020
• Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS)
  in job vacancies by Mihaela Rozman, May 12, 2020
• 6th Workshop on Model Driven Approaches in System Development (MDASD 2020)
  in workshops by Ivan Lukovic, May 9, 2020
• Call for Participation - 12th NASA Formal Methods Symposium (NFM2020)
  in conferences by Anastasia Mavridou, May 5, 2020
• WFLP 2020: 28th International Workshop on Functional and (Constraint) Logic Programming
  in conferences by Michael Hanus, May 4, 2020
• Junior Research Group Leader positions at MPI for Security and Privacy
  in job vacancies by Catalin Hritcu, April 30, 2020
• FMICS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems
  in conferences by Maurice ter Beek, April 30, 2020
• MPLR 2020 - 17th International Conference on Managed Programming Languages & Runtimes
  in conferences by smarr, April 30, 2020