J. Stewart cfp at cscjournals.org
Tue May 22 00:29:12 CEST 2012

ISSN:  2180-1290

Volume 3, Issue 1

Info. at http://www.cscjournals.org/csc/journals/IJLP/journal_cfp.php?JCode=IJLP

Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their scientific research papers in an International Journal of Logic and Computation (IJLP) Volume 3, Issue 1.


The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI.


CSC Journals anticipate and invite papers on any of the following topics:



      Applications of Logic in Hardware and VLSI
     Modal Logic

      Categorical Logic

      Natural Language

      Challenges in Natural Language and Reasoning

      Non-Monotonic Reasoning

      Classical and Non-Classical Logic

      Programming Expressiveness

      Computer Logical Reasoning

      Programming Reasoning Test Collection

      Constructive Logic

      Reasoning Systems

      Knowledge-Based Systems and Automated Reasoning Pr

      Semantic Representation in Logic Programming

      Logic Representation Techniques

      Soft Computing Techniques

      Logical Issues in Logic Programming

      State-Based Semantics

      Logical Programming Issues in Knowledge Representa

      Type Theory

      Logics and Semantics of Programming

Important Dates - IJLP CFP - Volume 3, Issue 1.

Paper Submission: May 31, 2012 

Author Notification: July 15, 2012 

Issue Publication: August 2012 

For complete details about IJLP archives publications, abstracting/indexing, editorial board and other important information, please refer to IJLP homepage.


We look forward to receive your valuable papers. If you have further questions please do not hesitate to contact us at cscpress at cscjournals.org. Our team is committed to provide a quick and supportive service throughout the publication process.

A complete list of journals can be found at http://www.cscjournals.org/csc/bysubject.php

J. Stewart
Computer Science Journals (CSC Journals)
B-5-8 Plaza Mont Kiara, Mont Kiara
50480, Kuala Lumpur, Malaysia
Tel: + 603 6207 1607, + 603 2782 6991
Fax:+ 603 6207 1697
Url: http://www.cscjournals.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20120521/e0d0ef2a/attachment.html>

More information about the dl mailing list