Advances in Programming Languages
(APL)

Kraków, Poland, 14-17 September, 2025

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 Session 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.

Topics

Major topics of interest include but are not limited to the following:

AI planning and techniques to programming language design
AI-supported programming
Automata theory and applications
Compiling techniques
Context-oriented programming languages to specify the behavior of software systems and dynamic adaptations
Domain-specific languages
Formal semantics and syntax
Generative and generic programming
Grammarware and grammar based systems
Interplay between languages and machine learning (and other branches of AI), especially for Code Repair and Code Smells
Interplay between languages and security
Knowledge engineering languages, integration of knowledge engineering and software engineering
Languages and tools for trustworthy computing
Language concepts, design and implementation
Language engineering and applications in various problem domains
Language theory and applications
Markup languages
Metamodeling and modeling languages
Model-driven engineering languages and systems
Practical experiences with programming languages
Program analysis, optimization and verification
Program generation and transformation
Programming paradigms (agent-oriented, aspect-oriented, functional, logic, object-oriented, etc.)
Programming tools and environments
Proof theory for programs
Software language engineering
Specification languages
Type systems
Virtual machines and just-in-time compilation
Visual programming languages

Thematic Session organizers

Kardas, Geylani, Ege University International Computer Institute, Turkey
Mernik, Marjan, University of Maribor, Slovenia
Rangel Henriques, Pedro, Universidade do Minho, Portugal
Slivnik, Boštjan, University of Ljubljana, Slovenia
Luković, Ivan, University of Belgrade, Serbia
Janousek, Jan, Czech Technical University, Czech Republic
Varanda Pereira, Maria Joao, Instituto Politecnico de Braganca, Portugal

Contact: apl@fedcsis.org

Submission rules

Authors should submit their papers as Postscript, PDF or MSWord files.
The total length of a paper should not exceed 12 pages IEEE style (including tables, figures and references). More pages can be added, for an additional fee. IEEE style templates are available here.
Papers will be refereed and accepted on the basis of their scientific merit and relevance to the Topical Area.
Preprints containing accepted papers will be published online.
Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database.
Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site.
Conference proceedings will be submitted for indexation according to information here.
Organizers reserve right to move accepted papers between FedCSIS Tracks.

There is a possibility of selecting extended versions of the best papers for further procedure in the journals: ComSIS, ISI IF(2022) = 1.4, and COLA, ISI IF(2022) = 2.2.