This area has a great tradition in computer science. Logic continues to play an important role in computer science and has permeated several of its areas, including artificial intelligence, computational complexity, database systems, and programming languages. Both theoretical and applied papers are sought.
Submissions showing novel use of logic in computer science are especially welcome.
The following areas are currently covered by the members of the Editorial Board. They may change as the field evolves. In particular, submissions on the semantic aspects of the mentioned topics are welcome.