8th Workshop on Advances in Programming Languages(WAPL’23)
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. 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 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.
Major topics of interest include but are not limited to the following:
- Software language engineering
- Interplay between languages and machine learning (and other branches of AI), especially for Code Repair and Code Smells
- Interplay between languages and security
- 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
- Knowledge engineering languages, integration of knowledge engineering and software engineering
- Languages and tools for trustworthy computing
- Language theory and applications
- Language concepts, design and implementation
- Markup languages (XML)
- 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 (aspect-oriented, functional, logic, object-oriented, etc.)
- Programming tools and environments
- Proof theory for programs
- Specification languages
- Type systems
- Virtual machines and just-in-time compilation
- Visual programming languages
- Authors should submit their papers as Postscript, PDF or MSWord files.
- The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here.
- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
- Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants.
- 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 technical sessions.
There is a possibility of selecting extended versions of the best papers presented during the conference for further procedure in the journals: ComSIS, ISI IF(2021) = 1.170, and COLA, ISI IF(2021) = 1.778.
Technical sessions proposal submission: November 14, 2022 Paper submission (no extensions): May 23, 2023 Position paper submission: June 7, 2023
- Author notification: July 11, 2023
- Final paper submission, registration: July 31, 2023
- Discounted payment: August 15, 2023
- Conference date: September 17–20, 2023