it covers the overlap between the field of logic and that of computer science. the topic can essentially be divided into three main areas:
theoretical foundations and Analysis
use of computer technology and logicians
list of concerts from Logic for computer application