CFP - 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: March 31, 2012

Author Notification: May 15, 2012

Issue Publication: June 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@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