EAPLS Topics
What is EAPLS
News
Ph.D. Dissertation Award
Best Paper Award
Board
Statutes
Best Paper Awards Guidelines
Sponsored conferences
Artifact Badges
Research
Conferences
Workshops
Other Events
Publications
Special Issues
Books
Software Tools
Jobs
Vacancies
Login
Login
Recover account
Join EAPLS
EAPLS
»
EAPLS Topics
»
EAPLS Sponsored Conferences
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
EAPLS Topics
What is EAPLS
News
Ph.D. Dissertation Award
Best Paper Award
Board
Statutes
Best Paper Awards Guidelines
Sponsored conferences
Artifact Badges
Research
Conferences
Workshops
Other Events
Publications
Special Issues
Books
Software Tools
Jobs
Vacancies
Links
Related sites
Organizations
Journals
© European Association for Programming Languages and Systems (EAPLS) –
webmaster
