List of conferences

The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): First Call for Papers
by George Angelos Papadopoulos, Feb. 24, 2024

IEEE Mobile Cloud is a pioneering IEEE sponsored international conference devoted to the
research in mobile, edge, and cloud computing. It covers all aspects of mobile, edge, and
cloud computing from architectures, techniques, tools and methodologies to applications.
This year's conference is scheduled to take place in Shanghai, China, from 15-18 July 2024.
IEEE Mobile Cloud 2024 is part of the IEEE International Congress On Intelligent And Service-
Oriented Systems Engineering offering a broad spectrum of international events, sharing
renowned keynotes and fostering exchange among researchers and practitioners (see common
homepage for all colocated events,

2024 Formal Methods in Computer-Aided Design (FMCAD): Call for Papers
by Philipp Ruemmer, Feb. 22, 2024

FMCAD 2024 is the twenty-fourth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2024 includes the FMCAD Student Forum and is co-located with VSTTE 2024.

FM 2024: Call for Papers
by Matteo Rossi, Feb. 19, 2024

Call for Papers of the International Symposium on Formal Methods 2024, with added details about submissions, proceedings, tracks, and keynote speakers

CfP: Onward! Papers @ SPLASH 2024
by jonathanmedwards, Feb. 16, 2024

Call for Papers: Onward! Papers @ SPLASH 2024. Submission deadline April 25

21st International Conference on Software and Systems Reuse (ICSR 2024): Last Call for Papers
by George Angelos Papadopoulos, Feb. 12, 2024

The International Conference on Software and Systems Reuse (ICSR) is a biannual conference
in the field of software reuse research and technology. ICSR is a premier event aiming to
present the most recent advances and breakthroughs in the area of software reuse and to
promote an intensive and continuous exchange among researchers and practitioners.

The guiding theme of this edition is Sustainable Software Reuse.

CfP: SPLC 2024 - 28th International Systems and Software Product Line Conference
by Sandra Greiner, Feb. 9, 2024

This is the Call for Paper for the SPLC Conference 2024.
The ACM International Systems and Software Product Line Conference (SPLC) is a premier forum where researchers, practitioners, and educators can present and discuss the most recent ideas, trends, experiences, and challenges in the area of software and systems product line engineering. Conference events include opportunities to hear industry leaders' real-world experiences and researchers' latest ideas and to learn from both.

Deadline extension for Reversible Computation 2024
by Torben Mogensen, Feb. 6, 2024

*Final Call for Papers*
*Reversible Computation 2024*

July 4th – 5th, Torun, Poland

ICLP 2024: Preliminary Call for Papers
by Gopal Gupta, Feb. 5, 2024

The 40th International Conference on Logic Programming (ICLP 2024) will be held from October 11-17 on the campus of the University of Texas at Dallas.

« previous123...2930next »