cfp.english.upenn.edu

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 (http://www.cscjournals.org/csc/journals/IJLP/description.php?JCode=IJLP).

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