CFP for Journal IJLP 2010

full name / name of organization: 
International Journal of Logic and Computation (IJLP)

International Journal of Logic and Computation (IJLP)

The realm of International Journal of Logic and Computation (IJLP) extends, but not limited, to the following:

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
State-Based Semantics
Type Theory

CFP SCHEDULE
Volume: 1 Issue: 1

Paper Submission: July 31 2010

Author Notification: September 01, 2010

Issue Publication: September / October

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