LaTeX beamer theme for UCAS students, especially for Institute of Automation of Chinese Academy of Sciences (CASIA) students.
This template is modified from THU Beamer Theme made by Jiayi Weng from Github page:
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
Oxford University Press (uploaded by LianTze Lim)