EAPLS Sponsored Conferences

• The International Conference on integrated Formal Methods (iFM) - since 2020
• The International Federated Conference on Distributed Computing Techniques (DisCoTec) - since 2021 
  
• The International Symposium Logic-Based Program Synthesis and Transformation (LOPSTR)  - since 2020