[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