Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as relevant conference reviews, are included.