CALL FOR PAPERS
*******************************************************************************
8th Workshop on Advances in Programming Languages (WAPL'21) https://www.fedcsis.org/2021/sew-iwcps
Organized within 2021 Federated Conference on Computer Science and Intelligence Systems (FedCSIS'21; IEEE #52320)
***************************** COVID-19 Information ****************************
While we have planned the 2021 conference to take place in Sofia, Bulgaria, slow progress in fighting the global pandemic has forced us to switch to the fully online mode. Therefore, we plan to organize FedCSIS 2022 in Sofia, and hope that by that time COVID will be over, and we will be able to meet in person.
FedCSIS organizers
*******************************************************************************
FOR PAPER SUBMISSION DEADLINES SEE THE BOTTOM OF THIS MESSAGE
Programming languages (PLs) 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 PL 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 aim 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.
This year, a special attention will be given to submissions on programming research in mainstream languages. That can include, but is not limited to: • porting existing results from research languages to mainstream ones to examine their interplay with other features than those carefully cherry-picked for the targeted research. And, • gauging generality of research results by studying their obtainability using different sets of features than originally thought of.
Such submission needs to clarify the added value of performing their research in a mainstream language (over a lab one).
Topics: 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
ZDZISŁAW PAWLAK BEST PAPER AWARD
The Professor Zdzisław Pawlak Awards are given in two categories: Best Paper and Best Student Paper. Each award carries a prize of 300 EUR founded by the Mazowsze Chapter of the Polish Information Processing Society. The awards have been originally associated with the International Symposium on Advanced Artificial Intelligence in Applications (AAIA) held every year as a part of FedCSIS. Currently, all papers accepted to FedCSIS are eligible to be considered as the award winners.
This award will be awarded independently from awards given by individual FedCSIS events (Tracks and/or Technical Sessions).
Past Award winners can be found here: https://fedcsis.org/2021/zp_award
PAPER PUBLICATION:
• Authors should submit draft papers (as Postscript, PDF or MSWord file). • 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 indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar • Organizers reserve right to move accepted papers between FedCSIS technical sessions. • Extended versions of selected papers presented during the conference will be published as Special Issue(s).
IMPORTANT DATES:
+ Paper submission (strict deadline): May 24, 2021, 23:59:59 (UCT-12; there will be no extension) + Position paper submission: June 14, 2021 + Author notification: July 5, 2021 + Final paper submission and registration: July 26, 2021 + Conference date: September 2-5, 2021
Please forward this announcement to your colleagues and associates who could be interested in it.
STEERING COMMITTEE:
• Janousek, Jan, Czech Technical University, Czech Republic • Luković, Ivan, University of Novi Sad, Serbia • Mernik, Marjan, University of Maribor, Slovenia • Slivnik, Boštjan, University of Ljubljana, Slovenia • Rangel Henriques, Pedro, Universidade do Minho, Portugal • Varanda Pereira, Maria Joao, Instituto Politecnico de Braganca, Portugal
PROGRAM COMMITTEE:
• Barisic, Ankica, Université Côte d'Azur, France • Blasband, Darius, RainCode Labs, Belgium • Falcou, Joel, Univeristé Paris Sud, France • Fernandes, Joao • Horváth, Zoltán, Eötvös Loránd University, Hungary • Kardas, Geylani, Ege University, Turkey • Keir, Paul, University of the West of Scotland, United Kingdom • Kosar, Tomaz, University of Maribor, Slovenia • Mandreoli, Federica, DII - University of Modena, Italy • Milašinović, Boris, University of Zagreb, Hungary • Papaspyrou, Nikolaos S., National Technical University of Athens, Greece • Porubän, Jaroslav, Technical University of Košice, Slovakia • Ramezanian, Rasoul, Ferdowsi University of Mashhad, Iran • Saraiva, Joao, Universidade do Minho, Portugal • Sierra, Jose Luis, Universidad Complutense de Madrid, Spain • Singer, Jeremy, University of Glasgow, United Kingdom • Varanda Pereira, Maria Jo?o, Instituto Politecnico de Braganca, Portugal • Zaytsev, Vadim, Universiteit Twente, The Netherlands
TECHNICAL SESSION CHAIR:
• Seyed Hossein Haeri, IOHK and University of Bergen, Norway
Contact: hossein.haeri@gmail.com
--------------------------------------------------------------------------------------------------------------
Seyed H. HAERI (Hossein), Dr.
Software Scientist Formal Methods Team IOHK
Adjunct Associate Professor Department of Informatics University of Bergen, Norway
ACCU - Professionalism in programming - http://www.accu.org/ --------------------------------------------------------------------------------------------------------------
The correct link for WAPL is:
My apologies for the mistake.
On Wed, 19 May 2021 at 17:23, Seyed H. HAERI (Hossein) hossein.haeri@gmail.com wrote:
CALL FOR PAPERS
8th Workshop on Advances in Programming Languages (WAPL'21) https://www.fedcsis.org/2021/sew-iwcps
Organized within 2021 Federated Conference on Computer Science and Intelligence Systems (FedCSIS'21; IEEE #52320)
***************************** COVID-19 Information ****************************
While we have planned the 2021 conference to take place in Sofia, Bulgaria, slow progress in fighting the global pandemic has forced us to switch to the fully online mode. Therefore, we plan to organize FedCSIS 2022 in Sofia, and hope that by that time COVID will be over, and we will be able to meet in person.
FedCSIS organizers
FOR PAPER SUBMISSION DEADLINES SEE THE BOTTOM OF THIS MESSAGE
Programming languages (PLs) 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 PL 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 aim 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.
This year, a special attention will be given to submissions on programming research in mainstream languages. That can include, but is not limited to: • porting existing results from research languages to mainstream ones to examine their interplay with other features than those carefully cherry-picked for the targeted research. And, • gauging generality of research results by studying their obtainability using different sets of features than originally thought of.
Such submission needs to clarify the added value of performing their research in a mainstream language (over a lab one).
Topics: 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
ZDZISŁAW PAWLAK BEST PAPER AWARD
The Professor Zdzisław Pawlak Awards are given in two categories: Best Paper and Best Student Paper. Each award carries a prize of 300 EUR founded by the Mazowsze Chapter of the Polish Information Processing Society. The awards have been originally associated with the International Symposium on Advanced Artificial Intelligence in Applications (AAIA) held every year as a part of FedCSIS. Currently, all papers accepted to FedCSIS are eligible to be considered as the award winners.
This award will be awarded independently from awards given by individual FedCSIS events (Tracks and/or Technical Sessions).
Past Award winners can be found here: https://fedcsis.org/2021/zp_award
PAPER PUBLICATION:
• Authors should submit draft papers (as Postscript, PDF or MSWord file). • The total length of a paper should not exceed 10 pages IEEEstyle (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 indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar • Organizers reserve right to move accepted papers between FedCSIS technical sessions. • Extended versions of selected papers presented during the conference will be published as Special Issue(s).
IMPORTANT DATES:
- Paper submission (strict deadline): May 24, 2021, 23:59:59 (UCT-12;
there will be no extension)
- Position paper submission: June 14, 2021
- Author notification: July 5, 2021
- Final paper submission and registration: July 26, 2021
- Conference date: September 2-5, 2021
Please forward this announcement to your colleagues and associates who could be interested in it.
STEERING COMMITTEE:
• Janousek, Jan, Czech Technical University, Czech Republic • Luković, Ivan, University of Novi Sad, Serbia • Mernik, Marjan, University of Maribor, Slovenia • Slivnik, Boštjan, University of Ljubljana, Slovenia • Rangel Henriques, Pedro, Universidade do Minho, Portugal • Varanda Pereira, Maria Joao, Instituto Politecnico de Braganca, PortugalPROGRAM COMMITTEE:
• Barisic, Ankica, Université Côte d'Azur, France • Blasband, Darius, RainCode Labs, Belgium • Falcou, Joel, Univeristé Paris Sud, France • Fernandes, Joao • Horváth, Zoltán, Eötvös Loránd University, Hungary • Kardas, Geylani, Ege University, Turkey • Keir, Paul, University of the West of Scotland, United Kingdom • Kosar, Tomaz, University of Maribor, Slovenia • Mandreoli, Federica, DII - University of Modena, Italy • Milašinović, Boris, University of Zagreb, Hungary • Papaspyrou, Nikolaos S., National Technical University of Athens, Greece • Porubän, Jaroslav, Technical University of Košice, Slovakia • Ramezanian, Rasoul, Ferdowsi University of Mashhad, Iran • Saraiva, Joao, Universidade do Minho, Portugal • Sierra, Jose Luis, Universidad Complutense de Madrid, Spain • Singer, Jeremy, University of Glasgow, United Kingdom • Varanda Pereira, Maria Jo?o, Instituto Politecnico de Braganca, Portugal • Zaytsev, Vadim, Universiteit Twente, The NetherlandsTECHNICAL SESSION CHAIR:
• Seyed Hossein Haeri, IOHK and University of Bergen, NorwayContact: hossein.haeri@gmail.com
Seyed H. HAERI (Hossein), Dr.
Software Scientist Formal Methods Team IOHK
Adjunct Associate Professor Department of Informatics University of Bergen, Norway
ACCU - Professionalism in programming - http://www.accu.org/
finite-model-theory@lists.rwth-aachen.de
-
Seyed H. HAERI (Hossein)