IJLP 2012 - CFP - International Journal of Logic and Computation (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


Categorical Logic


Challenges in Natural Language and Reasoning


Classical and Non-Classical Logic


Computer Logical Reasoning


Constructive Logic


Knowledge-Based Systems and Automated Reasoning Pr


Logic Representation Techniques


Logical Issues in Logic Programming


Logical Programming Issues in Knowledge Representa


Logics and Semantics of Programming


Modal Logic


Natural Language


Non-Monotonic Reasoning


Programming Expressiveness


Programming Reasoning Test Collection


Reasoning Systems


Semantic Representation in Logic Programming


Soft Computing Techniques


State-Based Semantics


Type Theory

Important Dates - IJLP CFP - Volume 3, Issue 1.
Paper Submission: November 30, 2011
Author Notification: January 01, 2012
Issue Publication: February 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.