[TYPES/announce] Link Correction - CFP: 8th Workshop on Advances in Programming Languages (WAPL'21)

Seyed H. HAERI (Hossein) hossein.haeri at gmail.com
Fri May 21 18:54:00 EDT 2021


The correct link for WAPL is:

https://fedcsis.org/2021/wapl

My apologies for the mistake.

On Wed, 19 May 2021 at 17:23, Seyed H. HAERI (Hossein)
<hossein.haeri at 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 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 at 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/
> --------------------------------------------------------------------------------------------------------------


More information about the Types-announce mailing list