CFP for Journal IJLP 2010

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

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

Volume: 1 Issue: 1

Paper Submission: July 31 2010

Author Notification: September 01, 2010

Issue Publication: September / October