[robotics-worldwide] [journals] CfP: Topical Issue on Type Error Diagnosis and Closely Related Fields (Part II) / Open Computer Science (WoS (ESCI), Scopus) / DE GRUYTER

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[robotics-worldwide] [journals] CfP: Topical Issue on Type Error Diagnosis and Closely Related Fields (Part II) / Open Computer Science (WoS (ESCI), Scopus) / DE GRUYTER

Justyna Żuk / De Gruyter Open
************************************
Call for Papers
(apologies for multiple postings)
************************************

We are pleased to inform you that, considering the relevance of the topic, we decided to continue the Topical Issue on Type Error Diagnosis and Closely Related Fields<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_page_1669&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=zud-r5zIbREU9iuJGBwol1CwOZlcaNtFnfqNtIig7Vo&e=> in the next volume of Open Computer Science<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_view_j_comp&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=V6F4dXiyybQ8A_r6KYrFFpyDP68DHJQ7cEqA9suzdrM&e=> at DE GRUYTER<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=aRP4Sdma_mgfZKdL_-lIuqmwHNrXlpibauslWFI5pY0&e=>.

The deadline for submission to the TI Part II is 25th February 2019, but individual papers will be reviewed and published online on an ongoing basis.

Open Computer Science is listed inter alia by Clarivate Analytics (Web of Science Core Collection (ESCI)) and SCOPUS. There are NO submission and publication FEES.
More information about the journal can be found at: https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_view_j_comp&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=V6F4dXiyybQ8A_r6KYrFFpyDP68DHJQ7cEqA9suzdrM&e=

_____________________________________________________________________________

Topical Issue on Type Error Diagnosis and Closely Related Fields (Part II)
https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_page_1669&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=zud-r5zIbREU9iuJGBwol1CwOZlcaNtFnfqNtIig7Vo&e=

Guest Editor: Sheng Chen, University of Louisiana at Lafayette, USA
Advisory Editor: Jurriaan Hage, Utrecht University, Netherlands


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 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://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_view_supplement_s20814836-5FInstructions-5Ffor-5FAuthors.pdf&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=L8GGJiJxAx3KRGjv_KCpwaHl4nqsN5WOUEFcL2q9Zuc&e=>: https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_view_supplement_s22991093-5FInstruction-5Ffor-5FAuthors.pdf&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=1X6wXs9gcikzG8jr8p8VC_vsDMPxWYYvjksiXWl44sE&e=

Manuscripts can be written in TeX, LaTeX (strongly recommended) - the journal's LATEX template<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.degruyter.com_view_supplement_s22991093-5FLaTex-5FTemplate.zip&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=MNFsVw7aG-71kJ2ftLC1EZbcOKSw588buR-BdKXg0wI&e=>. Please note that we do not accept papers in Plain TEX format. Text files can be also submitted as standard DOCUMENT (.DOC) which is acceptable if the submission in LATEX is not possible. For an initial submission, the authors are strongly advised to upload their entire manuscript, including tables and figures, as a single PDF file.

All submissions to the Topical Issue must be made electronically via online submission system Editorial Manager<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.editorialmanager.com_paladyn_&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=g5BOacdvIgPW0THYPW-feEUJbywm5vqaUxQOS9shagQ&e=>: https://urldefense.proofpoint.com/v2/url?u=http-3A__www.editorialmanager.com_opencs_&d=DwIFBA&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=kR6C7ku4NlsyhlOW4gLpjaYpv9KE0o-abYAXQucJQ2g&s=yjTRLyJZ7DfFD5OLisZ2i1WSuGDDY3icaXpttB4x0Uc&e=
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:

  + indexation in Web of Science (Emerging Sources Citation Index) and SCOPUS
  + NO submission and publication FEES
  + fair and constructive peer review provided by experts in the field
  + no space constraints
  + convenient, web-based paper submission and tracking system - Editorial Manager
  + free language assistance for authors from non-English speaking regions
  + fast online publication upon completing the publishing process (continuous publication model)
  + better visibility due to Open Access
  + long-term preservation of the content (all articles archived in Portico)

In case of any question or problem with online system please contact Dr. Justyna Żuk, Managing Editor, [hidden email]<mailto:[hidden email]>.
_______________________________________________
robotics-worldwide mailing list
[hidden email]
http://duerer.usc.edu/mailman/listinfo.cgi/robotics-worldwide