List of conferences


FedCSIS - Track 5: Software, System and Service Engineering (S3E 2023)
by Ivan Lukovic, March 24, 2023

The main goal of Track 5 is to address open questions and real potentials for various applications of modern approaches and technologies in S3E so as to develop and implement effective software services in a support of information management and system engineering. We intend to address interdisciplinary character of a set of theories, methodologies, processes, architectures, and technologies in disciplines such as: Software Engineering Methods, Techniques, and Technologies, Cyber-Physical Systems, Lean and Agile Software Development, Design of Multimedia and Interaction Systems, Model Driven Approaches in System Development, Development of Effective Software Services and Intelligent Systems, as well as applications in various problem domains.

FACS 2023 - 1st Call for Papers
by sungshik, March 24, 2023

* Fully virtual conference on Formal Aspects of Component Software (80+ participants last year)
* Proceedings in LNCS + special issue in Science of Computer Programming
* Special track: “Formal Methods at Large”

CFP: CGO has two deadlines.
by Fabrice Rastello, March 20, 2023

The International Symposium on Code Generation and Optimization (CGO) decided to move to two submission deadlines for CGO 2024 in Edinburgh: May 19th 2023 & September 1st 2023

CFP available on the web page: https://conf.researchr.org/track/cgo-2024/cgo-2024-main-conference

Dates updated - CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM)
by Andrea Delgado, March 17, 2023

Dates updated - Call for Research papers for the 21st International Conference on Business Process Management (BPM) BPM 2023
September 11-15, 2023
Utrecht, The Netherlands
https://bpm2023.sites.uu.nl/

PPDP 2023 - Preliminary Call for Papers
by Santiago Escobar, March 16, 2023

PPDP 2023 - Preliminary Call for Papers

SAS 2023 - First Call for Papers - Deadline: April 24, 2023
by Manuel Hermenegildo, March 16, 2023

30th Static Analysis Symposium - SAS2023
Cascais (Lisbon), Portugal, Sun 22 - Fri 27, October 2023
Paper Deadline: April 24, 2023

PLDI 2023, Call for Volunteers
by Anders Miltner, March 14, 2023

Sign up to be a Volunteer and help us make PLDI 2023 a great experience for all attendants!

CfP LOPSTR - 2023, Cascais, Lisbon, Portugal
by jurjo, March 13, 2023

33rd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2023)
Co-located with PPDP 2023 as part of SPLASH 2023

October 23-24, 2023 - Cascais, Lisbon, Portugal

https://lopstr.github.io/2023/

« previous123...2425next »