Advances in Programming Languages

(APL)

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

Programming languages are the most fundamental tools for programmers. With the right programming languages, one can significantly reduce the cost of building new applications and maintaining existing ones. Over the last few decades, there have been substantial advances in programming language technology within traditional paradigms such as functional, logic, object-oriented, and aspect-oriented programming. Today the growing influence of artificial intelligence on programming paradigms and the development of software systems is rapidly reshaping the field. Above all, programming tools based on generative artificial intelligence have become a standard, transforming programming practices in both academia and industry. The methods and approaches for selecting, adapting, and evaluating AI techniques for programming language design and implementation have become a critical area of research. Within this context, new advances in programming language research are also contributing to the design and implementation of autonomous and intelligent systems, such as those developed under the umbrella of agent-oriented programming. The primary motivation has always been, and will continue to be, to enable a more effective formulation of programmers' ideas. As a result, research in programming languages remains a perpetual activity and lies at the core of computer science. Hence, new language features and programming paradigms—particularly those enhanced by AI techniques - as well as improved compile-time and run-time mechanisms, can be anticipated in the near future.

The aims of this Thematic Session are to provide a forum for the exchange of ideas and experiences in topics related to 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

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

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.

History

hrule

Important dates

  • Thematic Session proposal submission: 26.11.2025
  • Paper submission (no extensions): 25.05.2025
  • Position paper submission: 10.06.2025
  • Author notification: 1.07.2025
  • Final paper submission, registration: 15.07.2025
  • Early registration discount: TBA
  • Conference date: September 14-17.09.2025