The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.
The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
For more information about the journal, see http://pasj.oxfordjournals.org/.
A Latex template for the preparation of IAU Symposia Proceedings downloaded from
The package contains: Class File (iau.cls), Instructions, a Sample PDF and a Sample TeX file