ESEC/FSE 2022 proceedings got published: doi.org/10.1145/3540250

Are papers with artifact evaluation better visible? Are they better available, maintained, reused, documented? Let's discuss next week at ESEC/FSE 2021 FSE 2025 based on our new paper: doi.org/10.1145/354025…

POPL 2023 papers are available: dl.acm.org/toc/pacmpl/202…

Please consider to nominate excellent research tools that came out of the ETAPS community, for the 2023 ETAPS Test-of-Time Tool Award etaps.org/awards/test-of… with Deadline March 5, 2023.

The 2023 ETAPS Test of Time Award went to Dirk Beyer and Stefan Löwe for their FASE 2013 paper Explicit-State Software Model Checking Based on CEGAR and Interpolation doi.org/10.1007/978-3-…

Dirk Beyer talks about their paper that has won the ETAPS Test-of-time award this year. Congrats, Dirk!

Dirk Beyer made FASE history today, receiving the ETAPS Test-of-Time award for his 2013 paper at FASE. This is the first time FASE receives this award in the 7 years of the award's history. Congratulations to Dirk and congratulations to us!

1st Workshop on Verification Witnesses and Their Validation -- Be invited to participate! Deadline June 8. July 17, 2023, Paris, France Co-located with CAV 2023 vewit.sosy-lab.org/2023/

PLDI proceedings available: dl.acm.org/toc/pacmpl/202…

Poor ChatGPT is not allowed to submit papers to ACM anymore, not even as co-author [acm.org/publications/p…]. Needs to find humans now to influence and relay its ideas.

New PACM PL issue on ICFP available: dl.acm.org/toc/pacmpl/202…

Results of SV-COMP 2024 available: sv-comp.sosy-lab.org/2024/

Results of the 6th Competition on Software Testing are available: test-comp.sosy-lab.org/2024/

ETAPS is calling for nominations of great research tools with connections to the ETAPS community, for the ETAPS Test-of-Time Tool Award 2024. Please hand in a nomination: etaps.org/awards/test-of…

TU Munich is looking for a full professor in programming languages: portal.mytum.de/jobs/professur…

The proceedings of ESEC/FSE 2023 has now videos of the presentations included for almost all papers: doi.org/10.1145/3611643

PLDI 2024 papers are available: dl.acm.org/toc/pacmpl/202…

New journal in software engineering is born: PACMSE The inaugural issue just got published: dl.acm.org/toc/pacmse/202…