List of conferences - page 2

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.

ACM SAC 2023 - Web Engineering Track - Call for papers
by Cristian Mateos, Sept. 5, 2022

ACM SAC 2023 - Web Engineering Track

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.

Last CfP: FM 2023 - 25th International Symposium on Formal Methods (strict deadline: Sept. 4, 2022)
by Emilio Tuosto, Aug. 29, 2022

FM 2023 is the 25th international symposium in a series organised by
Formal Methods Europe (FME).
=Important Dates=

Abstract submission: September 4, 2022, 23:59 AoE (firm)
Full paper submission: September 11, 2022, 23:59 AoE (firm)
Notification: November 15, 2022
Artefact submission: November 20, 2022, 23:59 AoE (firm)
Camera ready: December 11, 2022, 23:59 AoE (firm)
Conference: March 6-10, 2023

[CFP] Workshop on Virtual Machines and Language Implementations (VMIL’22)
by smarr, Aug. 10, 2022

The concept of virtual machines is pervasive in the design and
implementation of programming systems. Virtual machines and the
languages they implement are crucial in the specification,
implementation and/or user-facing deployment of most programming

Final CfP: FM 2023 - 25th International Symposium on Formal Methods
by Violet Ka I Pun, Aug. 1, 2022

Call for Papers
FM 2023: 25th International Symposium on Formal Methods

Lübeck, Germany, March 6-10, 2023

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