posted by organizer: KarolinaH || 1210 views || tracked by 1 users: [display]

TI/OCS/De Gruyter 2018 : Topical Issue on Type Error Diagnosis and Closely Related Fields / Open Computer Science (ESCI, Scopus) / DE GRUYTER

FacebookTwitterLinkedInGoogle

Link: https://www.degruyter.com/page/1669
 
When N/A
Where N/A
Submission Deadline Jun 30, 2018
 

Call For Papers

------------------------------------------------------------------------------------------------------------------------------
Topical Issue on Type Error Diagnosis and Closely Related Fields
https://www.degruyter.com/page/1669

Guest Editors:
Jurriaan Hage, Utrecht University, Netherlands
Sheng Chen, University of Louisiana at Lafayette, USA
------------------------------------------------------------------------------------------------------------------------------
Open Computer Science is now indexed in SCOPUS and Web of Science Core Collection (Emerging Sources Citation Index). There are NO submission and publication FEES.
More information about the journal can be found at: https://www.degruyter.com/view/j/comp


DESCRIPTION

Type error diagnosis addresses the problem of communicating to the programmers of statically typed languages why a given program is considered to be type incorrect and therefore cannot be compiled. Ultimately, the aim of the field is to increase the usability of compiler tools for statically typed languages. Traditionally, the field of type error diagnosis has centered on functional languages. However, we are explicitly looking for papers within the field irrespective of the programming language of programming paradigm, including but not restricted to imperative, object-oriented, functional, logical, and multi-paradigm languages. Papers may be of a fundamental and/or application-oriented nature. For example, they may discuss a general framework for implementing type error diagnosing techniques, study type error diagnosing facilities implemented in compilers, or report on a user study. Submitted papers should make a case why the paper should be of interest to anyone interested in type error diagnosis.

Authors are requested to submit their full revised version of papers to the Topical Issue complying the general scope of the journal. The submitted papers will undergo the standard peer-review process before they can be accepted. Notification of acceptance will be communicated as we progress with the review process.

HOW TO SUBMIT

Before submission authors should carefully read the Instruction for Authors: https://www.degruyter.com/view/supplement/s22991093_Instruction_for_Authors.pdf
All submissions to the Topical Issue must be made electronically via online submission system Editorial Manager: http://www.editorialmanager.com/opencs/
All manuscripts will undergo the standard peer-review process (single blind, at least two independent reviewers). When entering your submission via online submission system please choose the option “TI on Type error diagnosis and closely related fields”.

Contributors to the Topical Issue will benefit from:
+ Fair and constructive peer review provided by experts in the field
+ No space constraints
+ NO submission and publication FEES
+ Convenient, web-based paper submission and tracking system – Editorial Manager
+ Free language assistance for authors from non-English speaking regions
+ Fast online publication of articles (continuous publication model)
+ Open Access to your article for all interested readers
+ Indexation in Web of Science (Emerging Sources Citation Index) and SCOPUS
+ Long-time preservation (articles archived in Portico)
+ Extensive post-publication promotion

We are looking forward to your submission.
If you have any question, please contact us at Justyna.Zuk@degruyteropen.com (Dr. Justyna Zuk, Managing Editor of Open Computer Science).

Related Resources

MICAD 2025   The 6th International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2025)
HLLMICDT 2025   Harnessing Large Language Models for Innovations in Cancer Diagnosis and Treatment
S3E 2025   FedCSIS 2025 - Topical Area 5: Software, System and Service Engineering
AIRCAD 2025   International Workshop on Artificial Intelligence and Radiomics in Computer-Aided Diagnosis
Topical collection Springer 2025   CFP: Sense-Making and Collective Virtues among AI Innovators. Aligning Shared Concepts and Common Goals
Collection_DependXAIdata 2025   Topical Collection on Dependable and Reliable Datasets for Explainable Artificial Intelligence and Cyber Security Research
PAWR 2026   IEEE Topical Conference on RF/Microwave Power Amplifiers for Radio and Wireless Applications 2026
VADH 2025   First Workshop on Vision-Based AI for Digital Health: From Pixels to Practice
AIiH 2025   Special Session- AI Innovations in Autism Diagnosis
ICCAD 2025   2025 9th IEEE/IFAC/DBLP International Conference on Control, Automation and Diagnosis