List of conferences - page 4
- Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy
This is just a quick reminder that the deadline for submissions are May 8th (abstracts) and May 15th (papers): https://tapconference.github.io/2024/
TAP will be colocated with a number of long standing and reknown formal methods conferences in the week of September 9th in Milan, Italy. Namely:
- FM: https://www.fm24.polimi.it/
- FMICS: https://fmics.inria.fr/2024/
- PPDP: https://ppdp2024.github.io/
- LOPSTR: https://lopstr.github.io/2024/
- FACS: https://facs-conference.github.io/2024/There will also be an industry day and workshops. The list of workshops is: FMxSL, PAVeTrust, CPA, Overture, and FMTea
- 21st International Conference on Software and Systems Reuse (ICSR 2024): Call for Late-Breaking Results and Journal First Submissions
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.
We now invite submissions for Late-Breaking Results (LBR) and Journal First.
- APLAS 2024: Call for Papers
Call for Papers -- APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems.
- 21st International Conference on Software and Systems Reuse (ICSR 2024): Last Mile for Paper Submission
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.
- The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): First Call for Papers
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, https://ieee-cisose-congress.org).- 2024 Formal Methods in Computer-Aided Design (FMCAD): Call for Papers
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
Call for Papers of the International Symposium on Formal Methods 2024, with added details about submissions, proceedings, tracks, and keynote speakers
- 21st International Conference on Software and Systems Reuse (ICSR 2024): Last Call for Papers
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.
