Welcome to EAPLS

Recent announcements

• Call for Papers: FormaliSE 2021
  in conferences by Simon Bliudze, Oct. 26, 2020
• PhD positions in the Dynamic Analysis Group - Faculty of Informatics - Università della Svizzera italiana (USI), Lugano, Switzerland
  in job vacancies by Andrea Rosà, Oct. 26, 2020
• Call for (Virtual) Participation Formal Foundations of SDN 2020
  in workshops by Mohammad Mousavi, Oct. 24, 2020
• CFP: TCAD Special Issue on Compiler Frameworks and Co-design Methodologies for Heterogeneous Systems-on-Chip
  in special issues by grosser, Oct. 21, 2020
• F-IDE 2021 - Call for Papers
  in workshops by Jose Proenca, Oct. 19, 2020
• MPLR 2020 Call for Participation
  in conferences by Juan Fumero, Oct. 19, 2020
• International Online Winter School on Blockchain Technology and Applications Hyperledger - Call for Participation
  in other events by Alessandro Marcelletti, Oct. 14, 2020
• Compiler Construction (CC) 2021 - Final Call for Papers
  in conferences by Delphine Demange, Oct. 13, 2020
• Assistant Professors in Information and Computing Sciences
  in job vacancies by Johan Johan Jeuring, Oct. 13, 2020
• ETAPS 2021 final joint call for papers
  in conferences by Tarmo Uustalu, Oct. 4, 2020
• ETAPS Doctoral Dissertation Award - Call for Nominations
  in other events by Caterina Urban, Oct. 1, 2020
• 2 Lecturer (Assistant Professor) Positions in Programming Languages
  in job vacancies by smarr, Sept. 25, 2020
• SPLC 2020 - Call for Participation and Registration
  in conferences by jmartinez, Sept. 24, 2020