List of conferences - page 11


PLDI 2023 Artifact Evaluation Committee Nominations
by Anders Miltner, Oct. 25, 2022

We are looking for motivated students and researchers to be members of the PLDI 2023 Artifact Evaluation Committee (AEC). This year, we are accepting (self-)nominations for the AEC. The artifact evaluation process aims to promote, share and catalog the research artifacts of papers accepted to the PLDI research track.

ETAPS 2023 Final joint call for papers
by jankofron, Oct. 6, 2022

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences
accompanied by satellite workshops. ETAPS 2023 is the twenty-sixth
event in the series.

38th Annual ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track
by Georgiana Caltais, Oct. 2, 2022

Call for Papers

ESOP 2023 - Call for Papers
by Thomas Wies, Sept. 6, 2022

ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. ESOP seeks contributions on all aspects of programming language research including, but not limited to, the following areas: programming paradigms and styles, methods and tools to specify and reason about programs and languages, programming language foundations, methods and tools for implementation, concurrency and distribution, applications and emerging topics.

Contributions bridging the gap between theory and practice are particularly welcome.

ETAPS 2023 2st joint call for papers
by jankofron, Aug. 31, 2022

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences
accompanied by satellite workshops. ETAPS 2023 is the twenty-sixth
event in the series.

ETAPS 2023 1st joint call for papers
by jankofron, July 13, 2022

ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023

1st Joint Call for Papers

ETAPS 2023: Call for Satellite Events
by jankofron, April 22, 2022

ETAPS 2023 - 26th European Joint Conferences on Theory and Practice of Software, Sorbonne Université, Paris, France, April 22-27, 2023

Call for Satellite Events

Call for papers: SASSUR 2022
by jldelavara, March 25, 2022

Call for papers for the 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022)