List of conferences - page 3


Volunteers for ICFP 2024 Artifact Evaluation Committee (AEC)
by Benoît Montagu, March 26, 2024

We are looking for motivated people to be members of the ICFP 2024
Artifact Evaluation Committee (AEC). Students, researchers and people
from the industry or the free software community are all welcome.

CfP: Software Technology and Software Development HICSS 2025 Minitrack
by Tim A. Majchrzak, March 19, 2024

As every year we especially encourage submissions to our HICSS minitrack from the EAPLS community.

Advances in Programming Languages Thematic Track (APL 2024) at the 19th Conference on Computer Science and Intelligence Systems (FedCSIS 2024)
by Geylani Kardas, March 19, 2024

Programming languages are programmers' most basic tools. With appropriate programming languages one can drastically reduce the cost of building new applications as well as maintaining existing ones. In the last decades there have been many advances in programming languages technology in traditional programming paradigms such as functional, logic, and object-oriented programming, as well as the development of new paradigms such as aspect-oriented programming and intermittent programming. Moreover, today the direct effects and contributions of artificial intelligence to programming paradigms and the development of software systems are also increasing. The methods and approaches for choosing, adapting and evaluating AI techniques on programming language design and implementation has become one of the important research tracks. Within this context, new advances in programming languages research also contributes to the design and implementation of autonomous and intelligent systems (e.g. under the umbrella of agent-oriented programming). The main driving force was and will be to better express programmers' ideas. Therefore, research in programming languages is an endless activity and the core of computer science. New language features, new programming paradigms, and better compile-time and run-time mechanisms can be foreseen in the future.

The aims of this Thematic Track is to provide a forum for exchange of ideas and experience in topics concerned with programming languages and systems. Original papers and implementation reports are invited in all areas of programming languages.

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

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.