Welcome to EAPLS

Recent announcements

• OPLSS 2019 - Oregon Programming Languages Summer School - June 17-29 2019
  in other events by Marco Gaboardi, March 17, 2019
• CfP: 12th Interaction and Concurrency Experience (ICE 2019)
  in workshops by Anastasia Mavridou, March 16, 2019
• CFPart: [email protected] - 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
  in workshops by goessler, March 15, 2019
• F-IDE 2019 - 5th Workshop on Formal Integrated Development Environments - CfP
  in workshops by Jose Proenca, March 14, 2019
• GPCE 2019: 1st Call for Papers - Athens, Greece; October 21-22
  in conferences by Rodin Aarssen, March 14, 2019
• (Extended Deadline) Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019
  in other events by Mihaela Rozman, March 14, 2019
• Call for PhD students and Postdoctoral Research Fellows in Secure Software Engineering
  in job vacancies by Leon Moonen, March 14, 2019
• Fully-funded four-year PhD scholarships at IMT Lucca
  in job vacancies by Mirco Tribastone, March 14, 2019
• [MODELS'19] Call for Papers: IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems
  in conferences by ChristophSeidl, March 13, 2019
• DLS 2019 - 15th Dynamic Languages Symposium, co-located with SPLASH 2019
  in conferences by smarr, March 12, 2019
• PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)
  in other events by Emilio Tuosto, March 10, 2019
• Research Assistant / PhD Student (Post-Doc)
  in job vacancies by Stefan Leue, March 7, 2019
• New UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence -- Current topics include software (language) engineering/verification of AI systems
  in job vacancies by Steffen Zschaler, March 7, 2019