International Journal of Logic and Computation (IJLP)
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.
IJLP List of Topics
The realm of International Journal of Logic and Computation (IJLP) extends, but not limited, to the following:
Applications of Logic in Hardware and VLSI
Challenges in Natural Language and Reasoning
Classical and Non-Classical Logic
Computer Logical Reasoning
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
Programming Reasoning Test Collection
Semantic Representation in Logic Programming
Paper Submission: March 31, 2010
Author Notification: April 30, 2010
Journal Publication: May 2010
CALL FOR EDITORIAL BOARD MEMBERS
CSC Journals invites the interested professionals to contribute into CSC research network by joining us as a part of editorial board members for its scientific peer-reviewed journals. All journals uses an online, electronic submission process. The Editor is responsible for the timely and substantive output of the journal, including the solicitation of manuscripts, supervision of the peer review process and the final selection of articles for publication. Duties also include implementing the Journal's editorial policies, maintaining high professional standards for published content, ensuring the integrity of the Journal, guiding manuscripts through the review process, overseeing revisions, and planning special issues along with the editorial team. The new editors will begin to receive manuscripts starting from February 2010.
Interested applicants may contact CSC Journals Editorial Office (firstname.lastname@example.org) for additional information regarding the responsibilities and benefits. Applicants must submit a detailed CV along with a brief statement of contribution for the journal.
APPOINTMENTS WILL BE MADE IN MARCH 2010.
Please remember that it is through the effort of volunteers such as yourself that CSC Journals continues to grow and flourish. Your help with reviewing the issues would be very much appreciated.