List of conferences


SAS 2024 -- Call for Papers
by Marco Campion, March 18, 2024

31st Static Analysis Symposium (SAS 2024).

SAS’24 will take place from Sunday, October 20th to October 22nd, 2024.
It will be held in Pasadena, CA, US, co-located with SPLASH 2024.

https://2024.splashcon.org/home/sas-2024

Important Dates (All deadlines are AoE (Anywhere on Earth))

- Paper submission: Sunday, May 5th, 2024
- Artifact submission: Sunday, May 12th, 2024
- Author response: Monday, June 17th, 2024 - Wednesday, June 19th, 2024
- Notification: Sunday, July 7th, 2024
- Camera ready: Monday, August 5th, 2024

Call for Papers -- OOPSLA 2024
by Umar Farooq, March 18, 2024

OOPSLA 2024 will be held as part of The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'24)

Submission Deadline: Fri Apr 5, 2024

40th International Conference on Logic Programming (ICLP'24), Dallas, TX
by Gopal Gupta, March 18, 2024

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

The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): Second Call for Papers
by George Angelos Papadopoulos, March 16, 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, https://ieee-cisose-congress.org).

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
by Giuseppe Mazzotta, March 15, 2024

LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.
LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research.

LPNMR 2024 - Call for Workshops
by Giuseppe Mazzotta, March 15, 2024

The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA.

The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics.

Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs.

LOPSTR 2024 -- Call for Papers
by jurjo, March 15, 2024

34th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2024).
Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024.

September 9-11, 2024 - Milan, Italy

https://lopstr.github.io/2024/

Important dates:
- Abstract submission: May 6, 2024 (AoE)
- Paper submission: May 10, 2024 (AoE)
- Author notification: June 26, 2024 (AoE)
- Camera-ready: July 17, 2024 (AoE)
- Symposium: September 9-11, 2024

Snd CfP: TAP 2024 (Tests and Proofs 2024), Milan, Italy
by Marieke Huisman, March 13, 2024

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

« previous123...3031next »