Welcome to EAPLS

Recent announcements

• PhD Position for language and compiler technology for machine learning
  in job vacancies by Cosmin E. Oancea, April 6, 2020
• TERMGRAPH 2020: 2nd Call for papers
  in workshops by Patrick Bahr, April 3, 2020
• Assistant Professor Position in Computer Science with focus on Cybersecurity
  in job vacancies by Jacopo Mauro, April 1, 2020
• LOPSTR 2020: Logic-Based Program Synthesis and Transformation
  in conferences by Maribel Fernandez, March 31, 2020
• Call for Papers: DBPL 2020
  in workshops by James Cheney, March 27, 2020
• 7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)
  in job vacancies by Emilio Tuosto, March 26, 2020
• BASS 2020: 3rd International Workshop on Behavioral Authentication for System Security
  in workshops by Alessandro Aldini, March 24, 2020
• Call for papers: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC 2020)
  in conferences by Volker Stolz, March 23, 2020
• PhD position in Intelligent Tutoring Systems for Functional Programming
  in job vacancies by Johan Johan Jeuring, March 21, 2020
• Call for Submissions - 2020 Informatics Europe Best Practices in Education Award
  in special issues by franziska_hauffe, March 17, 2020
• Two PhD positions in Formal Methods for Smart Contracts at Chalmers & Univ. of Gothenburg
  in job vacancies by Gerardo Schneider, March 17, 2020
• 3 fellowships on blockchain and static analysis
  in job vacancies by Agostino Cortesi, March 16, 2020
• Multiple Doctoral and Postdoctoral positions in AI verification
  in job vacancies by Ekaterina Komendantskaya, March 13, 2020